403
правки
Изменения
Нет описания правки
*[[Альтернативное доказательство теоремы Клини (через систему уравнений в регулярных выражениях) | Альтернативное доказательство теоремы Клини]]
*[[Минимизация ДКА, алгоритм Хопкрофта (сложность O(n log n)) | Алгорим Хопкрофта]]
*[[Неразрешимость задачи об эквивалентности КС-грамматик|Эквивалентность КС-грамматик]]
