Lopulliset automaatit, joita kutsutaan myös tilakoneiksi tai FSM: ksi ( äärellisen tilan koneet ), ovat tietotekniikan matemaattinen malli, jota käytetään tietokoneohjelmien ja peräkkäisten logiikkapiirien suunnittelussa. Ne eivät ole todellisia koneita, vaan abstrakteja koneita, jotka voivat olla missä tahansa jonkin rajoitetun määrän tiloja kerralla.

Selkeämmin, äärellinen automaatti (yksikkö) on kone, joka voi siirtyä tilasta toiseen; se reagoi ennalta määritetyn käyttäytymisjärjestyksen kanssa, kun se kohtaa tietyn tapahtuman. Esimerkiksi yksinkertainen äärellinen automaatti olisi metroaseman kierros: kun pyyhkäisit hintaa, se muuttuu lukitusta tilasta lukitsemattomaan tilaan, ja voit sitten kävellä sen läpi.

Elektroniikan termit, logiikka, malli, Turingin koneet