Изменения
→Псевдокод
=== Псевдокод ===
<tex> \mathtt Transitions </tex> {{---}} множество пар <tex>\langle a</tex>, <tex>T \rangle</tex> , где <tex> a \in \Sigma</tex>, <tex>T \in Q</tex>
'''boolean''' dfs('''Vertex''' u, '''Vertex''' v)
visited1[u] = ''true''
'''return''' ''false''
'''for''' (Transition e for (\langle c, q \rangle : u.transitions) '''char''' symbol = e.getSymbol() '''if''' ('''not''' v.transitions.existTransition(symbolc))
'''return''' ''false''
'''boolean''' result = ''true''
'''for''' (Transition t for (\langle c, q \rangle : u.transitions) '''char''' symbol = t.getSymbol() '''Vertex''' t1 = u.transitions.getVertex(symbolc) '''Vertex''' t2 = v.transitions.getVertex(symbolc)
'''if''' (visited1[t1] '''!=''' visited2[t2])
'''return''' ''false''
