Automat skończony
Automat skończony (ang. finite state machine) lub maszyna stanów to koncepcja, w której obiekt (maszyna) może się znajdować jedynie w określonych stanach. Najczęściej definiujemy także możliwe przejścia między konkretnymi stanami oraz to, który ze stanów jest początkowy, a który końcowy.