Abstract-We utvecklar teorin om regelbundna kostnadsfunktioner över ändliga träd: en kvantitativ utvidgning till begreppet vanliga trädspråk: Kostnadsfunktioner kartlägger varje inmatning (träd) till ett värde i 1 + och anses Modulo en likvärdighet relation som glömmer om specifika värden, men bevarar begränsningen av funktioner på alla undergrupper av domänen. Vi introducerar icke-deterministiska och alternerande ändliga trädkostnadsautomata för att beskriva kostnadsfunktioner. Vi visar att alla dessa former av automata är effektivt likvärdiga. Vi tillhandahåller också beslutsförfaranden för dem. Slutligen, efter Büchis seminala idé, använder vi kostnadsautomatik för att tillhandahålla beslutsförfaranden för kostnadsmonadisk logik, en kvantitativ utvidgning av monadisk andra ordningslogik.
I REF, författarna utvidgar detta begrepp till regelbundna kostnadsfunktioner över träd.
Regular Cost Functions over Finite Trees
{'venue': '2010 25th Annual IEEE Symposium on Logic in Computer Science', 'journal': '2010 25th Annual IEEE Symposium on Logic in Computer Science', 'mag_field_of_study': ['Mathematics', 'Computer Science']}