Czyli zaczynamy od stanu i po przeczytaniu każdej cyfry przechodzimy ze stanu do stanu Jeśli po przeczytaniu całego słowa jesteśmy w stanie oznacza to, że reszta z dzielenia słowa przez 5 wynosi 0, a więc słowo jest podzielne przez 5:
right|360px
stan startowy – stany akceptujące – tylko
Formalna definicja Deterministyczny automat skończony może zostać jednoznacznie opisany przez piątkę gdzie jest skończonym alfabetem wejściowym. jest skończonym zbiorem stanów. jest wyróżnionym stanem początkowym należącym do jest zbiorem stanów akceptujących (końcowych), będącym podzbiorem jest funkcją przejścia, przypisującą parze nowy stan w którym znajdzie się automat po przeczytaniu symbolu w stanie
Funkcja może być częściowo określona. To znaczy mogą istnieć takie pary dla których nie jest określony nowy stan.
W powyższym przykładzie mamy:
Minimalizacja Do każdego deterministycznego automatu skończonego istnieje jednoznaczny automat minimalny, który akceptuje ten sam język.