3622
правки
Изменения
→НКА
<li value="5"> [[Недетерминированные конечные автоматы]] </li>
<li> [[Построение по НКА эквивалентного ДКА, алгоритм Томпсона]] </li>
<li> ''fixed'' [[Автоматы с eps-переходами. Eps-замыкание]] (1) </li># Англоязычные термины правильно# Добавить источники информации, см. также# Написать, где используется алгоритм eps-замыкания# Пофиксить знаки неравенств# Определение жирным# Многоточия на \ldots<li> ''fixed'' [[Теорема Клини (совпадение классов автоматных и регулярных языков)]] (0.5) </li># Добавить ссылок# Поправить форматирование конспекта<li> '''взяли!!!''' [[Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)]] (5) </li>
# Написать, почему получение регулярного выражение из системы уравнений лучше, чем напрямую из теоремы Клини (привести пример)
# Неплохо бы добавить ссылку на источник доказательства
# Исправить форматирование
</ol>
