211
правок
Изменения
м
→Алгоритм
Для реализации алгоритма нам потребуются очередь <tex>Q</tex> и таблица размером <tex>n \times n</tex>, где <tex>n</tex> — количество состояний автомата. <br />
Будем помечать в таблице пары неэквивалентных состояний и класть их в очередь. <br />
Изначально добавим в очередь <tex>Q</tex> пары состояний , различимых строкой <tex> \varepsilon </tex> , и пометим их в таблице.
Пока <tex>Q</tex> не станет пуста, будем делать следующее:
#Извлечем пару <tex> \langle u, v \rangle </tex> из <tex>Q</tex>.
