Теория и реализация языков программирования

         

Теория и реализация языков программирования

Алфавиты, цепочки и языки
Представление языков
Формальное определение грамматики

Типы грамматик и их свойства
Машины Тьюринга
Неразрешимость проблемы останова
Класс рекурсивных множеств
Связь машин Тьюринга и грамматик типа 0
Линейно-ограниченные автоматы и их связь с контекстно-зависимыми грамматиками
Содержание раздела