Диаграмма состояний (теория автоматов)
Материал из Википедии — свободной энциклопедии
Для конечного автомата, диагра́мма состоя́ний это ориентированный граф, в котором
- вершины обозначают состояния
- рёбра показывают переходы между двумя состояниями
На практике вершины обычно изображаются в виде кругов и, если нужно, двойных кругов.
[править] Примеры
S1 и S2 — состояния. Дуги помечены входными данными.
S0, S1 и S2 — состояния. Дуги помечены как j/k, где j — входные данные, a k — выходные.