Изменения

<li> ''fixed'' [[МП-автоматы, допуск по пустому стеку и по допускающему состоянию, эквивалентность]] (0.5) </li># Добавить источники информации# Категория<li> ''fixed'' [[Совпадение множества языков МП-автоматов и контекстно-свободных языков]] (3) </li># Ссылки и литературу оформить правильно# Оформить доказательство красиво# Расписать подробней алгоритм# Категория

<li> ''fixed'' [[Несовпадение класса языков, распознаваемых ДМП автоматами и произвольными МП автоматами]] (2) </li># Как-то в кучу всё в теореме. Лучше разделить совпадение по пустому стеку и по состоянию для ДМП и сравнить отдельно МП и ДМП# Добавить источники информации# Категория# См. также