Co to jest automat skonczony

Co to jest AUTOMAT SKONCZONY: uporzadkowana piatka (Q, q0, A, , ), gdzie 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., a więc odwzorowaniem Q ) Q. Po rozpoczeciu dzialania w stanie q0 a.s. czyta następne 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 do chwili obecnej przeczytany ciag symboli. W przeciwnym razie ciag symboli jest poprzez automat "odrzucany"