Изменения

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

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

18 байт добавлено, 12:40, 18 октября 2014

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

Псевдокод:

~~bfs~~bfs_equivalence_check()

queue.push( <0, 0> );

used1[0] = used2[0] = true;

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

Источник — «http://neerc.ifmo.ru/wiki/index.php?title=Служебная:Сравнение_версий/40405»