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