Литература

 
  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, в которой я рекомендую зерегистрироваться.