Диаграмма состояний (теория автоматов)
Текущая версия страницы пока не проверялась опытными участниками и может значительно отличаться от версии, проверенной 12 марта 2013 года; проверки требуют 3 правки.
Диагра́мма состоя́ний — ориентированный граф для конечного автомата, в котором
- вершины обозначают состояния
- дуги показывают переходы между двумя состояниями
На практике вершины обычно изображаются в виде окружностей и, если нужно, двойных окружностей. В нотации UML состояния изображаются прямоугольниками с закругленными углами[1].
Примеры[править | править код]
S1 и S2 — состояния. Дуги помечены входными данными.
S0, S1 и S2 — состояния. Дуги помечены как j/k, где j — входные данные, a k — выходные.
Примечания[править | править код]
- ↑ State Diagram in UML . Дата обращения: 25 марта 2011. Архивировано 11 августа 2011 года.
Литература[править | править код]
- Джон Хопкрофт, Раджив Мотвани, Джеффри Ульман. Введение в теорию автоматов, языков и вычислений = Introduction to Automata Theory, Languages, and Computation. — М.: Вильямс, 2002. — 528 с. — ISBN 0-201-44124-1.
Эта статья слишком короткая. |