Русская Википедия:Диаграмма состояний (теория автоматов)

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

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

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

Примеры

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

Файл:DFAexample.svg

S0, S1 и S2 — состояния. Дуги помечены как j/k, где j — входные данные, a k — выходные.

Файл:Mealymachine jaredwf.png

Примечания

Шаблон:Примечания

Литература

Шаблон:Дописать

См. также

Шаблон:UML