Модель станів і переходів

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук

Модель станів і переходівабстрактний автомат, використовується для дослідження обчислень. Модель складається із множини станів та переходів між станами.

Моделі станів та переходів мають декілька відмінностей від скінченних автоматів:

  • Моделі станів і переходів мають не обов'язково скінченну або зліченну кількість станів
  • Моделі станів і переходів мають не обов'язково скінченну або зліченну множину переходів

Моделі станів і переходів із скінченною кількістю станів та переходів можна представити у вигляді орієнтованих графів.

Існує щонайменше два типи моделей станів і переходів: марковані та немарковані.