Изменения
→Псевдокод
$\mathtt{used[u][v]} \leftarrow $ ''true''
'''for''' $c \in \Sigma$
'''if''' '''not''' $\mathtt{used1used[aut1[u][c]][aut2[v][c]]}$
$Q.\mathtt{push}(\langle \mathtt{aut1}[u][c], \mathtt{aut2}[v][c] \rangle)$
'''return''' ''true''
