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