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

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

Перейти к: навигация, поиск

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

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

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

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

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

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

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

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