Коначни аутомати, познати и као државни стројеви или ФСМ ( машине са коначним стањем ), су математички модел рачунања који се користи у пројектовању компјутерских програма и секвенцијалних логичких кола. То нису стварне машине, већ апстрактне машине које могу бити у било ком од ограниченог броја држава у једном тренутку.

Јасно је да је коначни аутомат (сингулар) машина која може прећи из једног стања у друго; реагује са унапред дефинисаном секвенцом понашања када наиђе на одређени догађај. На пример, једноставни коначни аутомат би био окретиште подземне железнице: када пребаците возарину, она се мења из закључаног стања у откључано стање, и онда можете проћи кроз њу.

Термини електронике, Логика, Модел, Турингове машине