olemus
(a) käitumismudel, mille komponendid on
- võimalike (igal hetkel ainult üks olek) olekute lõplik hulk,
- siirded ühest olekust teise, päästiktingimuse täitumisel
- toimingud

ISO/IEC/IEEE 24765:
arvutusmudel, mille moodustavad lõplik olekute arv, siirded nende olekute vahel ja võimalikud kaasnevad toimingud
= computational model consisting of a finite number of states and transitions between those states, possibly with accompanying actions

(b) käitumismudeli teostus
ISO/IEC 14478:
abstraktse lõpliku automaadi teostus
= implementation of an abstract finite state automaton

ülevaateid
https://www.youtube.com/watch?v=ndGKs7MEy2U

https://en.wikipedia.org/wiki/Finite-state_machine

https://embedded.eecs.berkeley.edu/research/hsc/class/ee249/lectures/l4-FSM-CFSM.pdf

http://www.cse.chalmers.se/~coquand/AUTOMATA/book.pdf

rakendusi
http://web.cs.ucdavis.edu/~rogaway/classes/120/spring13/eric-applications.pdf

https://people.cs.clemson.edu/~goddard/texts/theoryOfComputation/5.pdf

https://re-magazine.ireb.org/issues/2015-3-thinking-without-limits/a-finite-state-machine-model/

infoturbes, modelleeritakse
- ründeid
- protokolle
- turvamehhanisme
- turvapoliitikaid

vt ka
- olekuskeem