Изменения
→Псевдокод
=== Псевдокод ===
'''boolean''' dfs(Vertex u, Vertex v) { '''for'''(Transition e : u.transitions) { '''if''' ('''not''' v.transitions.contains(e)) {
'''return false'''
'''return false'''
'''boolean''' result = '''true'''
'''for'''(Transition t : u.transitions) {
Vertex t1 = u.transitions.get(t)
Vertex t2 = v.transitions.get(t)
result = result '''and''' dfs(t1, t2)
'''return''' result
