Knowledge improvement (theoretical research)

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.