Литература

1. Хопкрофт Д., Мотвани Р., Ульман Д.

   Введение в теорию автоматов, языков и вычислений
   
   М.: Вильямс, 2002.
   
   

2. Ахо А., Лам М., Сети Р., Ульман Дж.
   

   Компиляторы. Принципы, технологии и инструментарий. 2-е издание
   

   М.; СПб.; Киев: Вильямс, 2011.
    

3. Серебряков В.А., Галочкин М.П., Гончар Д.Р., Фуругян М.Г.
   
   Теория и реализация языков программирования.

   М.: МЗ-пресс, 2006.
   
   

4. Ахо А., Ульман Д.

   Теория синтаксического анализа, перевода и компиляции (Том 1. Синтаксический анализ)
   Теория синтаксического анализа, перевода и компиляции (Том 2. Компиляция)
   
   М.: Мир, 1978.
   
   

5. Шень. А. Х.

   Программирование: теоремы и задачи
   
   М.: МЦНМО, 2004.
   
   

6. Sipser M.

   Introduction to the theory of computation
   
   

7. Журавлёв Ю.И., Флёров Ю.А, Вялый М.Н.

   Дискретный Анализ. Формальные системы и алгоритмы.
   
   М.: МЗ-пресс, 2010.

 

Ссылки ведут на библиотеку http://lib.mipt.ru, в которой я рекомендую зерегистрироваться.