748
правок
Изменения
→Минимизация ДКА
<li>[[Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний]] 0.5</li>
# поправить тех
<li>взяли [[Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))]]
0.5</li>
# поправить тех
# заменить дефис на тире, там где это надо
<li>[[Алгоритм Бржозовского]]<tex> ^\star </tex></li>
=== Свойства конечных автоматов ===
<li>[[Доказательство нерегулярности языков: лемма о разрастании]] 0.5</li>
