Po odczytaniu ostatniego znaku ciąg jest akceptowany albo nie, w zależności od stanu w jakim znajduje się maszyna.
Automat ze stosem Analogiczny do automatu skończonego, ale z dodanym stosem, na którym można zapisać dowolną liczbę elementów. Przejścia dodatkowo określają czy maszyna powinna zapisać nowy symbol na stosie albo odczytać symbol z wierzchołka stosu.
Maszyna Turinga Również podobna do automatu skończonego, ale z dodaną nieskończoną taśmą, na której maszyna może zapisywać i odczytywać symbole, przemieszczając się po niej w dowolną stronę. Maszyna Turinga jest prawdopodobnie najbardziej istotnym modelem obliczeń, ponieważ w prosty sposób modeluje wszystkie komputery niezależnie od ich mocy obliczeniowej.
Siła poszczególnych modeli Dysponując matematycznymi modelami obliczeń, możemy określić jakie są ich ograniczenia – czyli jakie języki mogą one rozpoznawać.
Siła automatów skończonych Języki rozpoznawane przez automaty skończone nazywane są językami regularnymi. Ponieważ liczba stanów automatu jest skończona, nie może on rozpoznawać języków, które wymagają nieograniczonej liczby stanów.