(maszyna skonczenie stanowa, finite-state machine)
uporzadkowana piatka (Q, q0, A, Σ, δ), w której Q jest skonczonym zbiorem s t a n ó w a u t o m a t u, q0 - s t a n e m p o c z a t- k o w y m, A - podzbiorem Q nazywanym zbiorem s t a n ó w a k c e p t u j a- c y c h, Σ - a l f a b e t e m w e j s c i o- w y m, a δ - f u n k c j a p r z e j s c a.s., czyli odwzorowaniem Q ) Σ Q. Po rozpoczeciu dzialania w stanie q0 a.s. czyta kolejne symbole z wejscia, zmieniajac stan w zaleznosci od ogladanego symbolu i stanu biezacego. Jesli biezacy stan nalezy do A, to a.s. a k c e p t u j e dotychczas przeczytany ciag symboli. W przeciwnym razie ciag symboli jest przez automat "odrzucany".
- teoria automatów, ( automata theory )