Изменения

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

Нет изменений в размере, 22:12, 1 сентября 2014

Отмена правки 39948 участника Shersh (обсуждение)

*[[Построение по НКА эквивалентного ДКА, алгоритм Томпсона]]

*[[Автоматы с eps-переходами. Eps-замыкание]]

*[[Теорема Клини (совпадение классов автоматных и регулярных языков)]]

*[[Решение уравнений в регулярных выражениях]]

*[[Теорема Клини (совпадение классов автоматных и регулярных языков)]]

*[[Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях)]]

*[[Замкнутость регулярных языков относительно различных операций]]

3622

правки