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