3622
правки
Изменения
м
→НКА
<li> [[Теорема Клини (совпадение классов автоматных и регулярных языков)]] (0.3) </li>
# Добавить ссылок
<li> '''!!!взяли''' [[Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)]] (5) </li>
# Написать, почему получение регулярного выражение из системы уравнений лучше, чем напрямую из теоремы Клини (привести пример)
# Неплохо бы добавить ссылку на источник доказательства
