Диаграмма состояний (теория автоматов)

У этого термина существуют и другие значения, см. Диаграмма состояний.

Диагра́мма состоя́ний — ориентированный граф для конечного автомата, в котором

• вершины обозначают состояния
• дуги показывают переходы между двумя состояниями

На практике вершины обычно изображаются в виде окружностей и, если нужно, двойных окружностей. В нотации UML состояния изображаются прямоугольниками с закругленными углами^[1].

Примеры

S₁ и S₂ — состояния. Дуги помечены входными данными.

S₀, S₁ и S₂ — состояния. Дуги помечены как j/k, где j — входные данные, a k — выходные.