Теория алгоритмов, формальных языков, грамматик и автоматов. Учебное пособие для студентов специальности 220400 - "Программное обеспечение вычислительной техники и автоматизированных систем"