Изменения

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

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

2 байта добавлено, 13:43, 18 октября 2014
Проверка через BFS
Псевдокод:
bfs_equivalence_check(aut1, aut2)
'''insert''' <tex>\{s1s_1, s2s_2\}</tex> in <tex>Q </tex>
used1[0] <tex> \leftarrow </tex> true;
used2[0] <tex> \leftarrow </tex> true;
Анонимный участник

Навигация