3622
правки
Изменения
→1. Автоматы и регулярные языки
## Ещё один пример нерегулярного языка, для которого выполнена лемма о разрастании (с википедии)
## Доказательство леммы о накачке в общем виде
# '''!!!''' [[Эквивалентность состояний ДКА]]
## Добавить ссылок
## Добавить алгоритм проверки на эквивалентность не через минимизацию
# '''!!!''' [[Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний]]
## Структурно написать алгоритм
