olemus
(1) = lõplik automaat

(2) lõpliku automaadi üldistus, olekute arvu kitsenduseta
= a generalization of a finite automaton, without restriction on the number of states

ISO/IEC/IEEE 24765, lõplik automaat:
andmetöötlusmudel, mis koosneb lõplikust arvust olekutest ja nendevahelistest siiretest, koos võimalike kaasnevate toimingutega
= computational model consisting of a finite number of states and transitions between those states, possibly with accompanying actions

ülevaateid
https://brilliant.org/wiki/finite-state-machines/

https://www.elprocus.com/finite-state-machine-mealy-state-machine-and-moore-state-machine/

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

http://www.pld.ttu.ee/baranov/Ch4_1.pdf

https://ptolemy.berkeley.edu/projects/chess/eecs124/reading/LeeAndVaraiya3_4.pdf

https://formal.kastel.kit.edu/~beckert/teaching/Spezifikation-SS04/10StateCharts.pdf

vt ka
- olekuskeem