Изменения

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

2 байта добавлено, 13:43, 18 октября 2014

→‎Проверка через BFS

Псевдокод:

bfs_equivalence_check(aut1, aut2)

'''insert''' <tex>\{0s1, 0s2\}</tex> in <tex>Q </tex>

used1[0] <tex> \leftarrow </tex> true;

used2[0] <tex> \leftarrow </tex> true;

Анонимный участник