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

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

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

Примеры

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

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

Примечания

Литература

• Джон Хопкрофт , Раджив Мотвани, Джеффри Ульман. Введение в теорию автоматов, языков и вычислений = Introduction to Automata Theory, Languages, and Computation. — М. : , 2002. — 528 с. — ISBN 0-201-44124-1 .

См. также

• ДРАКОН