418
правок
Изменения
м
'''queue''' Q '''boolean'''[][] marked = buildTable(n, isTerminal, <tex>\delta^{-1}</tex>, Q, marked)
→Псевдокод
== Псевдокод ==
Функция для построения таблицы неэквивалентности.
'''function''' buildTable('''int''' n, '''boolean'''[] isTerminal, '''vector'''[][] <tex>\delta^{-1}</tex>, ): '''queue''' Q, '''boolean'''[][] marked):
<font color="green">// Шаг 3</font>
'''for''' i = 0 .. n - 1
checkReachability(1, reachable) <font color="green">// Cтроим таблицу достижимости состояний.</font>
<font color="green">// Шаги 3 и 4</font>
computeTable(n, <tex>\delta^{-1}</tex>, Q, marked)
<font color="green">// Шаг 5</font>
