automatteori
Automatteori, matematisk baseret teori for formelle sprog. Automatteorien har mange anvendelser, såvel praktiske som teoretiske. Blandt de vigtigste anvendelser af dens begreber og modeller kan nævnes analyse og genkendelse af naturligt sprog samt konstruktion af programmeringssprog og programmeringssystemer til computere