Automaty skończone, znane również jako automaty stanów lub FSM (maszyny o skończonym stanie ), są matematycznym modelem obliczeniowym stosowanym w projektowaniu programów komputerowych i sekwencyjnych układów logicznych. Nie są one rzeczywistymi maszynami, ale abstrakcyjnymi maszynami, które mogą znajdować się w dowolnej z ograniczonej liczby stanów jednocześnie.

Mówiąc prościej, automat skończony (liczba pojedyncza) jest maszyną, która może przechodzić z jednego stanu do drugiego; reaguje z góry określoną sekwencją zachowań, gdy napotyka określone zdarzenie. Na przykład prosty automat skończony byłby kołowrotem stacji metra: po przesunięciu taryfy zmienia się ona ze stanu zablokowanego na stan odblokowany, a następnie można przez nią przejść.

Warunki elektroniczne, logika, model, maszyny Turinga