Kas yra baigtinė automatika?

Galutinės automatikos, taip pat žinomos kaip valstybinės mašinos arba FMV ( baigtinės būsenos mašinos ), yra skaičiavimo matematinis modelis, naudojamas projektuojant kompiuterines programas ir nuosekliąsias logines grandines. Jie nėra tikri įrenginiai, bet abstrakčios mašinos, kurios vienu metu gali būti bet kuriame iš kai kurių ribotų valstybių.

Aiškiau, baigtinis automatas (vienaskaita) yra mašina, kuri gali pereiti iš vienos valstybės į kitą; jis reaguoja su iš anksto nustatyta elgesio seka, kai susiduria su tam tikru įvykiu. Pvz., Paprastas baigtinis automatas būtų metro stoties turniketas: braukdami bilietą, jis keičiasi iš užrakintos būsenos į atrakintą būseną, o tada galite eiti per jį.

Elektronikos terminai, logika, modelis, Turingo mašinos