Knowledge improvement (theoretical research)

Az automata elmélet az informatika egyik legrégebbi területei közé tartozik Az elmélet egyrészt matematikai meggondolásokon alapszik (absztrakt algebra, logika), másrészt számos fontos alkalmazási területtel bír, mint mintaillesztés, szintakszis analízis, szoftver verifikáció. Az utóbbi években újabb alkalmazási területek nyíltak az alábbi területeken: biológia, fizika, kognitív tudományok, tomográfia, nyelvészet, automaták minimalizálása, automata elmélet több dimenziós általánosításai.