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

Ошибка скрипта: Модуля «hatnote» не существует.{{#if: | }} Диагра́мма состоя́ний — ориентированный граф для конечного автомата, в котором

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

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