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