=== Псевдокод ===
<tex>\mathtt Transitions</tex> {{---}} множество пар (\langle <tex>a</tex>, <tex>VertexT</tex>)\rangle , где <tex> a \in \Sigma</tex>, <tex>Vertex T \in Q</tex>
'''boolean''' dfs(Vertex u, Vertex v)
'''for''' (Transition e : u.transitions)
