Модель состояний и переходов - абстрактный автомат, используется для исследования вычислений. Модель состоит из множества состояний и переходов между состояниями.
Модели состояний и переходов имеют несколько отличий от конечных автоматов:
- Модели состояний и переходов имеют не обязательно конечное или зличенну количество состояний.
- Модели состояний и переходов имеют не обязательно конечное или зличенну множество переходов.
Модели состояний и переходов с конечным числом состояний и переходов можно представить в виде ориентированных графов.
Существует как минимум два типа моделей состояний и переходов: маркированные и немаркированные.
