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

Материал из Википедии — свободной энциклопедии

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

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

На практике вершины обычно изображаются в виде окружностей и, если нужно, двойных окружностей.

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

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

S₀, S₁ и S₂ — состояния. Дуги помечены как j/k, где j — входные данные, a k — выходные.

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

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