Изменения

Перейти к: навигация, поиск

Участник:Shersh/Тикеты к 5ому терму

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

Навигация