Участник:Warrior — различия между версиями

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

Версия 04:16, 3 января 2014