Den del av datavetenskapen och matematiken som studerar abstrakta maskiner och hur de kan användas för att lösa beräkningsproblem; ibland även en beskrivning av formella språk och grammatiker.
Synonymer till automatteori
Ordlistorna anger inga synonymer för automatteori.
Exempelmeningar
Hon läser automatteori på universitetet och har just lärt sig om tillståndsmaskiner.
I kursen i automatteori bevisade läraren att vissa problem inte kan lösas av någon dator.
Begreppen i automatteori används ofta när man bygger kompilatorer och andra språkverktyg.