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

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

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

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

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

Содержание

Примеры

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

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

Примечания

  1. State Diagram in UML

Литература

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


См. также

  Unified Modeling Language
Акторы
Прочее
Концепции
Структура
Поведение
Отношения
Растяжимость
Диаграммы
Структурные
Поведения
Взаимодействия

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

© 2021–2023 sud-mal.ru, Россия, Барнаул, ул. Денисова 68, +7 (3852) 74-95-52