Lõplikud automaatid, tuntud ka kui riiklikud masinad või FSM ( lõpliku olekuga masinad ), on arvutiprogrammide ja järjestikuste loogiliste ahelate projekteerimisel kasutatava arvuti matemaatiline mudel. Need ei ole tegelikud masinad, vaid abstraktsed masinad, mis võivad korraga olla ükskõik millises piiratud arvu riikide olekus.

Selgemini on lõplik automaat (ainsus) masin, mis võib ühest riigist teise liikuda; see reageerib teatud sündmusega kohtumisel eelnevalt määratletud käitumisjärjestusega. Näiteks oleks lihtne lõplik automaat metroojaama pöördvärav: kui te piletite oma piletit, muutub see lukustatud olekust lukustamata olekusse ja siis saate seda läbi jalutada.

Elektroonika terminid, loogika, mudel, Turingi masinad