Изменения
→Псевдокод
=== Псевдокод ===
<tex> \mathtt {Transitions} </tex> {{---}} множество пар <tex>\langle a</tex>, <tex>T \rangle</tex> , где <tex> a \in \Sigma</tex>, <tex>T \in Q</tex>
'''boolean''' dfs(u :'''Vertex''', v : '''Vertex''')
visited1[u] = ''true''
visited2[v] = ''true''