Формальные языки и автоматы: введение в теорию