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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск
У этого термина существуют и другие значения, см. Диаграмма состояний.

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

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

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

Содержание

[править] Примеры

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

DFAexample.svg

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

Mealymachine jaredwf.png

[править] Примечания

  1. ↑ State Diagram in UML

[править] Литература

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


Wiki letter w.svg
 Для улучшения этой статьи по информационным технологиям желательно?:

[править] См. также

п·о·р
Unified Modeling Language
Акторы
Прочее
Концепции
ОО
Структура
Поведение
Отношения
Растяжимость
Диаграммы
Структурные
Поведения
Взаимодействия
Источник — «http://ru.wikipedia.org/w/index.php?title=%D0%94%D0%B8%D0%B0%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B0_%D1%81%D0%BE%D1%81%D1%82%D0%BE%D1%8F%D0%BD%D0%B8%D0%B9_(%D1%82%D0%B5%D0%BE%D1%80%D0%B8%D1%8F_%D0%B0%D0%B2%D1%82%D0%BE%D0%BC%D0%B0%D1%82%D0%BE%D0%B2)&oldid=36701168»
Личные инструменты
Пространства имён

Варианты
Действия
Навигация
Участие
Печать/экспорт
Инструменты
На других языках