Изменения

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

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

50 байт добавлено, 09:42, 17 января 2012
На радость Роме
*[[Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний]]
*[[Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n))]]
*[[Прямое произведение ДКА]]
*[[Замкнутость регулярных языков относительно различных операций]]
*[[Анализ свойств регулярных языков (пустота, совпадение, включение, конечность, подсчет числа слов)]]

Навигация