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

Материал из Викиконспекты
Версия от 22:56, 3 января 2015; 188.227.78.184 (обсуждение) (Разрешимые и перечислимые языки)
Перейти к: навигация, поиск

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

Регулярные языки и ДКА

НКА

Минимизация ДКА

Другие свойства конечных автоматов

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

Базовые понятия о грамматиках

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

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

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

МП-автоматы

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

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

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

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