Графический

 способ задания автомата (с помощью ориентированного графа) состоит в следующем. Вершины - это состояния автомата. Из вершины a1 выходит ребро с концом в a2, если существует x ∈ X такой, что a2=a1 ∘ x. Это ребро обозначается парой (x,b), где  b - выходной символ, равный b=a1∗ x.


» Терминология