state machine
olekumasin
olemus
(1) = lõplik automaat
(2) lõpliku automaadi üldistus,
olekute arvu kitsenduseta
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://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-01sc-introduction-to-electrical-engineering-and-computer-science-i-spring-2011/unit-1-software-engineering/state-machines/MIT6_01SCS11_chap04.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