=== Псевдокод ===
Будет класс <tex>VertexTransitions</tex> {{---}} множество пар (<tex>a</tex>, в котором будем хранить все переходы из одной вершины (<tex>transitionsC</tex>), соответственно мы можем получить получить вершину на другом конце, переход (метод где <tex> geta \in \sigma</tex>)
'''boolean''' dfs(Vertex u, Vertex v)
'''for''' (Transition e : u.transitions)
