Изменения

<tex>\mathtt Transitions</tex> {{---}} множество пар <tex>\langle a</tex>, <tex>T \rangle</tex> , где <tex> a \in \Sigma</tex>, <tex>T \in Q</tex> '''boolean''' dfs('''Vertex ''' u, '''Vertex ''' v)

'''Vertex ''' t1 = u.transitions.getVertex(symbol) '''Vertex ''' t2 = v.transitions.getVertex(symbol)