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