MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  A Pumping Lemma for Output Languages of Macro Tree Transducers

Download:
Download as a PDF | Download as a PS
by Armin K Uhnemann, Grundlagen Der Programmierung
ftp://ftp.inf.tu-dresden.de/pub/berichte/tud95-08.ps.gz
Add To MetaCart

Abstract:

The concept of macro tree transducer is a formal model for studying properties of syntax--directed translations and of functional languages which are based on primitive recursion. In this paper, for output languages of producing and nondeleting macro tree transducers, we introduce and prove a pumping lemma. We apply this pumping lemma to gain two results: (1) there is no producing and nondeleting macro tree transducer which computes the set of all monadic trees with double exponential height as output and (2) there are hierarchies of producing and nondeleting macro tree transducers with respect to their number of functions.

Citations

86 Mappings and grammars on trees – Rounds - 1970
80 Macro tree transducers – Engelfriet, Vogler - 1985
57 On formal properties of simple phrase structure grammars – Bar-Hillel, Perles, et al. - 1961
41 On attributed tree transducers – Fulop - 1981
40 Attribute grammars and recursive program schemes, Theoret – Courcelle, Franchi-Zannettacci - 1982
40 Bottom-up and top-down tree transformations — A comparison – Engelfriet - 1975
39 Generalized sequential machine maps – Thatcher - 1970
37 Some open questions and recent results on tree transducers and tree languages – Engelfriet - 1980
28 Tree transducers, L systems, and two-way machines – Engelfriet, Rozenberg, et al. - 1980
23 Translations on a context free grammar – Aho, Ullman - 1971
20 Synthesized and inherited functions --- a new computational model for syntax--directed semantics – Kuhnemann, Vogler - 1994
19 Tree transducers with external functions. Theoret – Fulop, Herrmann, et al. - 1993
15 Tree transducers and syntax directed semantics – Engelfriet - 1981
7 A pumping lemma for output languages of attributed tree transducers – Kuhnemann, Vogler - 1994
3 Intercalation lemmas for tree transducer languages – Perrault - 1976
2 Decidability results concerning tree transducers – unknown authors - 1980
View or Download | Add to My Collection | Correct Errors