Automatas, kurio būsenų skaičius baigtinis.
Labiausiai naudojami automatai (palyginti su nebaigtiniais). Egzistuoja mokslo šaka, vadinama baigtinių automatų teorija. Dažnai jų veikimas vaizduojamas diagramomis.

Automatas², kurio būsenų skaičius baigtinis.

1. Aparatas veiksmams atlikti, nedalyvaujant žmogui.
2. Skaitmeninio aparato modelis, kurio išėjimo simbolis priklauso nuo įėjimo simbolio ir nuo jo būsenos, o tolesnė būsena – nuo esamos būsenos ir įėjimo simbolio.
Matematiškai apibūdinamas kaip objektas, kurį sudaro trys aibės: 1) įėjimo simbolių, 2) išėjimo simbolių ir 3) būsenų simbolių, ir dvi dvivietės funkcijos: 1) apskaičiuojanti įėjimo simbolį, priklausantį nuo įėjimo simbolio ir būsenos simbolio, ir 2) apskaičiuojanti naują būseną, priklausančią nuo tų pačių argumentų.
Naudojamas skaitmeninei aparatinei įrangai projektuoti ir programuoti. Patogus, kai programos veiksmai priklauso nuo apdorojamų duomenų būsenos, pavyzdžiui, analizuojant ženklų eilutę galima išskirti skaičiaus būseną (kai pradėti analizuoti skaičių sudarantys skaitmenys) ir žodžio būseną (kai pradėtos analizuoti žodį sudarančios raidės).