A Pumping Lemma for Output Languages of Macro Tree Transducers

The concept of macro tree transducer is a formal model for studying properties of syntax-directed translations. In this paper, for output languages of producing, nondeleting, and noncopying macro tree transducers, we introduce a pumping lemma. We apply the pumping lemma to gain the following result: there is no producing and nondeleting macro tree transducer which computes the set of all monadic trees with double exponential height as output.

[1]  Joost Engelfriet,et al.  SOME OPEN QUESTIONS AND RECENT RESULTS ON TREE TRANSDUCERS AND TREE LANGUAGES , 1980 .

[2]  Joost Engelfriet,et al.  Macro Tree Transducers , 1985, J. Comput. Syst. Sci..

[3]  Ronald V. Book,et al.  Formal language theory : perspectives and open problems , 1980 .

[4]  C. Raymond Perrault.  Intercalation Lemmas for Tree Transducer Languages , 1976, J. Comput. Syst. Sci..

[5]  Edgar T. Irons,et al.  A syntax directed compiler for ALGOL 60 , 1961, CACM.

[6]  Bruno Courcelle,et al.  Attribute Grammars and Recursive Program Schemes I , 1982, Theoretical Computer Science.

[7]  Zoltán Ésik,et al.  Decidability results concerning tree transducers II , 1983, Acta Cybern..

[8]  Heiko Vogler,et al.  A Pumping Lemma for Output Languages of Attributed Tree Transducers , 1994, Acta Cybern..

[9]  Sándor Vágvölgyi,et al.  Tree Transducers with External Functions , 1993, Theor. Comput. Sci..

[10]  Joost Engelfriet,et al.  Tree transducers, L systems and two-way machines (Extended Abstract) , 1978, J. Comput. Syst. Sci..

[11]  Heiko Vogler,et al.  Synthesized and inherited functions - a new computational model for syntax-directed semantics , 1994 .

[12]  Bruno Courcelle,et al.  Attribute Grammars and Recursive Program Schemes II , 1982, Theor. Comput. Sci..

[13]  Alfred V. Aho,et al.  Translations on a Context-Free Grammar , 1971, Inf. Control..

[14]  Zoltán Fülöp.  On attributed tree transducers , 1981, Acta Cybern..

[15]  Joost Engelfriet,et al.  Modular Tree Transducers , 1991, Theor. Comput. Sci..

[16]  Zoltán Ésik,et al.  Decidability results concerning tree transducers I , 1980, Acta Cybern..

[17]  James W. Thatcher,et al.  Generalized Sequential Machine Maps , 1970, J. Comput. Syst. Sci..