Курс читается для студентов 3го курса факультета ПМ-ПУ, СПбГУ, специальность «Информационные технологии».
Лектор: Иванов Владимир Витальевич
Mailing list: apmath_theory_of_computation
1 Регулярные языки [слайды]
1 Контекстно-свободные языки (CFL) [слайды, p.1-119]
1 Синтаксический анализ [слайды, p.119-174]
1 Нетипизированное λ-исчисление [слайды, article]
1 λ-исчисление с простой типизацией ($ \lambda^{\rightarrow} $) [слайды, article]
1 Hopcroft, Motwani, Ullman "Introduction to Automata Theory,
Languages, and Computation"
Хопкрофт, Мотвани, Ульман "Введение в теорию автоматов, языков и
вычислений"
1 Sipser, "Introduction to the Theory of Computation"
1 Hofstadter, "Gödel, Escher, Bach: An Eternal Golden Braid"
Хофштадтер "Гедель, Эшер, Бах. Эта бесконечная гирлянда"