Изменения

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

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

20 байт убрано, 22:54, 8 июня 2016
Псевдокод
'''if''' '''not''' $\mathtt{used1[aut1}[u][c]]$ '''or''' '''not''' $\mathtt{used2[aut2}[v][c]]$
$Q.\mathtt{push}(\langle \mathtt{aut1}[u][c], \mathtt{aut2}[v][c] \rangle)$
$\mathtt{used1[aut1}[u][c]] \leftarrow $ ''true'' $\mathtt{used2[aut2}[v][c]] \leftarrow $ ''true''
'''return''' ''true''
Анонимный участник

Навигация