Przykład automatu skończonego thumb Na ilustracji przedstawiono prosty automat skończony mogący przyjąć jeden z dwóch stanów – lub Automat zaczyna pracę od stanu i zachowuje się w sposób stabilny (nie zmienia stanu) tak długo, jak długo na wejściu otrzymuje liczby Każde napotkane na wejściu 0 zmienia stan układu na przeciwny. Proces ten można przedstawić również za pomocą listy przejść stan startowy –
jak i tabeli 0 1S1 S2 S1S2 S1 S2
Za pomocą tego automatu możemy badać czy liczność zer w danym ciągu jest parzysta czy też nie. Gdy na wejściu pojawi się nieparzysta liczba zer automat przyjmie stan W każdym innym wypadku automat przyjmie stan
Przykład wykonania dla ciągu wejściowego 0011010: liczba na wejściu (start) 0 0 1 1 0 1 0 stan automatu S1 S2 S1 S1 S1 S2 S2 S1
Automat zakończył pracę w stanie co oznacza parzystą liczbę 0 w ciągu wejściowym.
Przykład 2 thumb|Automat badający podzielność liczby wejściowej przez 3 Przedstawiony jako ilustracja we wstępie do artykułu automat jest w stanie badać podzielność liczby wejściowej przez Automat zaczyna pracę od stanu i po przeczytaniu każdej cyfry przechodzi do stanu (gdzie: ) stan startowy –
Proces ten można także zapisać w postaci tabeli: 0 1S0 S0 S1S1 S2 S0S2 S1 S2