Изменения
→Проверка через 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''
