748
правок
Изменения
→МП-автоматы
=== Опровержение контекстно-свободности языка ===
</li><li>[[Лемма о разрастании для КС-грамматик]]
</li><li>[[Лемма Огдена]]0.5# В названиях раздела цифры в тех</li><li>[[Существенно неоднозначные языки]]0.5# Добавить см. также
</li><li>[[Теорема Парика]]<tex> ^\star </tex>
</li>
=== МП-автоматы ===
<li>[[Автоматы с магазинной памятью]]
</li><li>[[МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность]]0.5# Добавить см. также</li><li>[[Совпадение множества языков МП-автоматов и контекстно-свободных языков]]0.5# Поправить тех</li><li>[[Детерминированные автоматы с магазинной памятью]]</li><li>[[Детерминированные автоматы с магазинной памятью, допуск по пустому стеку]]0.5# Добавить см. также
</li><li>[[Нормальная форма ДМП-автомата]]<tex> ^\star </tex>
</li><li>[[Эквивалентность ДМП-автоматов]]<tex> ^\star </tex>
