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