Теория формальных языков

Материал из Викиконспекты
Версия от 14:13, 14 января 2014; 213.21.32.116 (обсуждение) (Автоматы и регулярные языки)
Перейти к: навигация, поиск

Автоматы и регулярные языки

Контекстно-свободные грамматики

Нормальные формы КС-грамматик

Алгоритмы разбора

Опровержение контекстно-свободности языка

МП-автоматы

Теория вычислимости

Разрешимые и перечислимые языки

Вычислительные формализмы

Примеры неразрешимых задач