418
правок
Изменения
м
→Псевдокод
Так как каждому состоянию из <tex>A_{min}</tex> эквивалентно состояние из <tex>A'</tex>, то автоматы <tex>A_{min}</tex> и <tex>A'</tex> изоморфны.
Функция для построения списка обратных ребер. '''vector'''[][] buildReverseEdges('''int''' n, '''int'''[][] <tex>\delta</tex>): '''for''' i ==Псевдокод==0 .. n - 1 '''for''' c <tex>\in</tex> <tex>\Sigma</tex> <tex>\delta^{-1}</tex>[<tex>\delta</tex>[i][c]][c].add(i)
==Асимптотики==
