Изменения

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

908 байт добавлено, 00:19, 5 октября 2010

Нет описания правки

*[[Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)]]

*[[Контексты и синтаксические моноиды]]

== Лекция 4 ==

*[[Формальные грамматики]]

*[[Иерархия Хомского формальных грамматик]]

*[[Неукорачивающие и контекстно-зависимые грамматики, эквивалентность]]

*[[Правоконтекстные грамматики, эквивалентность автоматам]]

*[[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора]]

*[[Удаление бесполезных символов из грамматики]]

*[[Удаление eps-правил из грамматики]]

*[[Удаление цепных правил из грамматики]]

*[[Удаление длинных правил из грамматики]]

*[[Нормальная форма Хомского]]

142

правки