Kutatási projekt

Formális nyelvek és automata elmélet


HASZNOSÍTHATÓSÁG SZINTJE

Ismeretbővítő kutatás (alap- elméleti kutatás)

KUTATÁSI PROJEKT LEÍRÁSA

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.