Конечно-автоматная (автоматная) диаграмма

Конечно-автоматная (автоматная) диаграмма (State transition diagram) - представление конечного автомата в виде помеченного орграфа, вершинами которого являются состояния автомата, а дуги помечены входными символами, переводящими автомат из одного состояния в другое.