Математическая теория контекстно-свободных языков
Лекции по теории формальных языков, автоматов и сложности вычислений
Может ли машина мыслить?
Вычисления и автоматы
Конечные автоматы: эквивалентность и поведение