Изменения
→Проверка через BFS
''boolean'' '''function''' $\mathtt{bfsEquivalenceCheck}$($aut1$, $aut2$)
$\mathtt{insert} \langle s_1, s_2 \rangle$ $in Q $
$\mathtt{used1[0s_1]} \leftarrow $ ''true'' $\mathtt{used2[0s_2]} \leftarrow $ ''true''
'''while''' $Q \ne \varnothing $
$u \leftarrow Q.front.first$
