Литература
-
Хопкрофт Д., Мотвани Р., Ульман Д.
Введение в теорию автоматов, языков и вычислений
М.: Вильямс, 2002. -
Ахо А., Лам М., Сети Р., Ульман Дж.
Компиляторы. Принципы, технологии и инструментарий. 2-е издание
М.; СПб.; Киев: Вильямс, 2011.
-
Серебряков В.А., Галочкин М.П., Гончар Д.Р., Фуругян М.Г.
Теория и реализация языков программирования.М.: МЗ-пресс, 2006.
-
Мартыненко Б.К.
Языки и трансляции.М.: МЗ-пресс, 2006.
-
Ахо А., Ульман Д.
Теория синтаксического анализа, перевода и компиляции (Том 1. Синтаксический анализ)
Теория синтаксического анализа, перевода и компиляции (Том 2. Компиляция)
М.: Мир, 1978. -
Шень. А. Х.
Программирование: теоремы и задачи
М.: МЦНМО, 2004. -
Sipser M.
Introduction to the theory of computation -
Журавлёв Ю.И., Флёров Ю.А, Вялый М.Н.
Дискретный Анализ. Формальные системы и алгоритмы.
М.: МЗ-пресс, 2010.
Ссылки ведут на библиотеку http://lib.mipt.ru, в которой я рекомендую зерегистрироваться.