Литература

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

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

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

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

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

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

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

4. Мартыненко Б.К.
   
   Языки и трансляции.

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

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

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

6. Шень. А. Х.

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

7. Sipser M.

   Introduction to the theory of computation
   
   

8. Вялый М., Подольский В., Рубцов А., Шварц Д., Шень А..

   Лекции по дискретной математике (черновик).
   
   

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

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

 

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