Galīgie automāti, kas pazīstami arī kā valsts mašīnas vai FSM ( galīgā stāvokļa mašīnas ), ir skaitļošanas matemātisks modelis, ko izmanto datorprogrammu un secīgu loģisko shēmu projektēšanā. Tās nav faktiskas mašīnas, bet abstrakti mašīnas, kas vienā reizē var būt kādā no ierobežotam valstu skaitam.

Skaidrāk, ka galīgais automāts (vienskaitlis) ir mašīna, kas var pāriet no vienas valsts uz citu; tā reaģē ar iepriekš noteiktu darbību secību, kad tā sastopas ar noteiktu notikumu. Piemēram, vienkāršs galīgais automāts būtu metro stacijas turnikets: kad jūs velaties savu biļeti, tas mainās no bloķēta stāvokļa uz atbloķētu valsti, un tad jūs varat iet pa to.

Elektronikas termini, loģika, modelis, Turingu mašīnas