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


         

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

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

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

Линейно-ограниченные автоматы и их связь с контекстно-зависимыми грамматиками - 3
Линейно-ограниченные автоматы и их связь с контекстно-зависимыми грамматиками - 4
Линейно-ограниченные автоматы и их связь с контекстно-зависимыми грамматиками - 5
Содержание