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

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

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

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

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

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

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

Эта статья слишком короткая. Пожалуйста, дополните её ещё хотя бы несколькими предложениями и уберите это сообщение. Если статья останется недописанной, она может быть выставлена к удалению. Для указания на продолжающуюся работу над статьёй используйте шаблон {{subst:Редактирую}}. (9 марта 2023)

• ДРАКОН