418
правок
Изменения
м
'''vector''' classes <font color="green">// По позиции i будем хранить представителя i-ой компоненты эквивалентности.</font>
classes.add(i)
→Псевдокод
'''int'''[] component[n] <font color="green">// По позиции i будем хранить номер компоненты эквивалентности для i-ого состояния.</font>
fill(component, -1)
'''for''' i = 0 .. n - 1
'''if''' '''not''' marked[0][i]
components_count++
component[i] = components_count
'''for''' j = i + 1 .. n - 1
'''if''' '''not''' marked[i][j]
component[j] = components_count
<font color="green">// Шаг 6</font>
buildDFA(reachable, classes, component) <font color="green">// Строим по классам эквивалентности требуемый автомат.</font>
==Асимптотика==
