Изменения

Перейти к: навигация, поиск

Эквивалентность состояний ДКА

3 байта добавлено, 14:44, 18 октября 2014
Проверка через BFS
<font color=green>// <tex>Q</tex> {{---}} очередь из пар состояний</font>
''boolean'' '''function''' $\mathtt{bfsEquivalenceCheck}$($aut1$, $aut2$)
$\mathtt{insert} \langle s_1, s_2 \rangle $ $in Q $
$\mathtt{used1[0]} \leftarrow $ ''true''
$\mathtt{used2[0]} \leftarrow $ ''true''
Анонимный участник

Навигация