ett program som beskriver de tillstånd som en anordning eller en process kan ha. Programmet innehåller också reglerna för övergång från ett tillstånd till ett annat. – En tillståndsmaskin kan bara vara i ett tillstånd åt gången. Att klarlägga vilka tillstånd en företeelse har och hur de övergår till varandra är ett viktigt led i programmering, maskinkonstruktion och fastställande av affärsprocesser. – Att man säger finit eller ändlig tillståndsmaskin beror på att en tillståndsmaskin, utom i rent teoretiska resonemang, bara kan ha ett ändligt antal tillstånd. Så förledet finit är ofta onödigt. – Finita tillståndsmaskiner kan realiseras som körbara datorprogram. De har stora likheter med Turingmaskiner: den viktigaste skillnaden är att en Turingmaskin i teorin har obegränsat minne. – Finita tillståndsmaskiner kallas också för finita automater eller ändliga automater. – På engelska: finite state machine, förkortat FSM.
[datorvetenskap] [programmering] [ändrad 18 februari 2018]