Meid huvitab, kuidas regulaaravaldist saab teisendada automaadiks, sest see teisendus on hea näide sellisest (induktiivsest) mõtteviisist, mis on kõige tähtsam asi üldse (usaldusväärse tarkvara arendamiseks).

Harjutame, kuidas programmi seisundit esitada selgelt määratletud olekutena.

Me joonistame automaate, kuna enamus tudengitel ei ole Java ikka veel selgeks saanud, aga vähemalt automaatide joonistamisega saadakse kuidagi katse-eksitus meetodiga hakkama.

Automaat on üks lihtne masina mudel ja erinevate arvutusmudelitest arusaamine on täpselt see, mis arendab sügavam arusaamine arvutiprogrammide ülesehitusest ja täitmisest.

Me õpetame automaate, sest nendega on hea praktilisi probleeme lahendada nagu näiteks leida kõik sõned, millel on paaris arv 'a'-sid ja paaritu arv 'b'-sid.