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