Модель станів і переходів
 | Ця стаття не містить посилань на джерела. (березень 2017) |
Модель станів і переходів — абстрактний автомат, використовується для дослідження обчислень. Модель складається із множини станів та переходів між станами.
Моделі станів та переходів мають декілька відмінностей від скінченних автоматів:
- Моделі станів і переходів мають не обов'язково скінченну або зліченну кількість станів
- Моделі станів і переходів мають не обов'язково скінченну або зліченну множину переходів
Моделі станів і переходів із скінченною кількістю станів та переходів можна представити у вигляді орієнтованих графів.
Існує щонайменше два типи моделей станів і переходів: марковані та немарковані.
|
Це незавершена стаття з інформатики. Ви можете допомогти проєкту, виправивши або дописавши її. |