Изменения
→Псевдокод
=== Псевдокод ===
'''boolean''' dfs(Vertex u, Vertex v) {
'''for'''(Edge Transition e u.edgestransitions) { '''if''' ('''not''' v.edgestransitions.contains(e)) { '''return false''';
}
}
'''forif'''(Edge e v.edgestransitions.size '''<>''' u.transitions.size) { '''ifreturn false''' '''boolean''' result = '''true'' (' ''not'for'' '(Transition t : u.edgestransitions) { Vertex t1 = u.containstransitions.get(et) Vertex t2 = v.transitions.get(t) { result = result '''return falseand'''; }dfs(t1, t2)
}
'''return''' result
== См. также ==
