Изменения
→Проверка через BFS
used1[automata1[u][i]] = used2[automata2[v][i]] = true;
return true;
Замечание: в данной реализации оба автомата обязательно должны иметь [[Детерминированные_конечные_автоматы#допускает||дьявольские состояния]].
