The Equivalence of Tree Adjoining Grammars and Monadic Linear Context-free Tree Grammars
β Scribed by Stephan Kepser; Jim Rogers
- Publisher
- Springer Netherlands
- Year
- 2011
- Tongue
- English
- Weight
- 430 KB
- Volume
- 20
- Category
- Article
- ISSN
- 0925-8531
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Besides this introduction the paper contains four sections. I n section 1 we describe three equivalent axiomatizations of NLP. the third one playing important role in what follows. I n section 2 we deal with a system AC: (the Ajdukiewicz calculus with product) and prove the equivalence of AC-grammar
The recognizable sets of value trees (pseudoterms) are shown to be exactly projections of sets of derivation trees of (extended) context-free grammars.
Two well-known formalisms for the specification and computation of tree transductions are compared: the mso graph transducer and the attributed tree transducer with look-ahead, respectively. The mso graph transducer, restricted to trees, uses monadic second order logic to define the output tree in t