Изменения

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

Теория формальных языков

1 байт добавлено, 23:02, 23 сентября 2011
м
Автоматы и регулярные языки
*[[Построение по НКА эквивалентного ДКА, алгоритм Томпсона]]
*[[Автоматы с eps-переходами. Eps-замыкание]]
*[[Теорема Клини (совпадение классов автоматных и регулярных языков)]]
*[[Эквивалентность состояний ДКА]]
*[[Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний]]

Навигация