The ground tree transducer game with identical tree automata

• Autorzy: Apro J. , Vagvölgyi S.
• Języki publikacji: EN

Abstrakty

EN

We study that version of the ground tree transducer game where the same tree automaton appears as the first and second component of the associated ground tree transducer. We give conditions which imply that Beta has a winning strategy. Furthermore, we show the following decidability result. Given a ground tree transducer game where the underlying tree automaton A cannot evaluate some tree into a state or A is deterministic, we can decide which player has a winning strategy. Moreover, whatever player has a winning strategy, we can effectively construct a partial recursive winning strategy for him.

Słowa kluczowe

EN

game; automata; rewrite system

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2001
• Tom: Vol. 45, nr 3
• Strony: 157--172
• Opis fizyczny: bibliogr. 18 poz.

Twórcy

autor

Apro J.

autor

Vagvölgyi S.

• Department of Applied Informatics University of Szeged Szeged, Arpad tér 2, H-6720 Hungary,