Изменения

Перейти к: навигация, поиск

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

908 байт добавлено, 00:19, 5 октября 2010
Нет описания правки
*[[Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)]]
*[[Контексты и синтаксические моноиды]]
 
== Лекция 4 ==
*[[Формальные грамматики]]
*[[Иерархия Хомского формальных грамматик]]
*[[Неукорачивающие и контекстно-зависимые грамматики, эквивалентность]]
*[[Правоконтекстные грамматики, эквивалентность автоматам]]
*[[Контекстно-свободные грамматики, вывод, лево- и правосторонний вывод, дерево разбора]]
*[[Удаление бесполезных символов из грамматики]]
*[[Удаление eps-правил из грамматики]]
*[[Удаление цепных правил из грамматики]]
*[[Удаление длинных правил из грамматики]]
*[[Нормальная форма Хомского]]
142
правки

Навигация