Изменения

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

726 байт добавлено, 07:13, 20 октября 2010

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

*[[Устранение левой рекурсии]]

*[[Приведение грамматики к ослабленной нормальной форме Грейбах]]

*[[Лемма о разрастании для КС-грамматик]]

*[[Автоматы с магазинной памятью]]

*[[МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность]]

*[[Совпадение множества языков МП-автоматов и контекстно-свободных языков]]

*[[Детерминированные автоматы с магазинной памятью]]

*[[Детерминированные автоматы с магазинной памятью, допуск по пустому стеку]]

*[[Нормальная форма ДМП-автомата]]

57

правок