Изменения
→Псевдокод
'''for''' (Transition t : u.transitions)
'''char''' symbol = t.getSymbol()
Vertex t1 = u.transitions.getgetVertex(symbol) Vertex t2 = v.transitions.getgetVertex(symbol)
result = result '''and''' dfs(t1, t2)