Изменения

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

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

1 байт убрано, 17:17, 8 апреля 2020
Псевдокод
$\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''
Анонимный участник

Навигация