Изменения

Минимизация ДКА, алгоритм за O(n^2) с построением пар различимых состояний

13 байт убрано, 23:44, 6 ноября 2011

м

→‎Определения

{{Определение

|definition =

Состояния <tex>u</tex> и <tex>v</tex> '''эквивалентны''', если они не различимы никакой строкой ~~<tex>s</tex>~~.

}}

211

правок