Kutatási projekt

Faautomaták, fatranszformátorok

HASZNOSÍTHATÓSÁG SZINTJE

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

KULCSSZAVAK

elméleti számítástudomány

KUTATÁSI PROJEKT LEÍRÁSA

A faautomaták és fatranszformátorok olyan számítási modellek, amelyekkel a fordítóprogramok tulajdonságai vizsgálhatók. Például össze tudjuk hasonlítani két vagy több modell számítási erejét. A modellek algebrai és logikai tulajdonságait vizsgáljuk. Az eredmények potenciális alkalmazási területe a fordítóprogramok.