N. van Vugt. Leiden University, Leiden, The Netherlands, (1996)
Abstract
We consider several language generating formalisms from the literature,
such as string-valued attribute grammars with only s-attributes,
parallel multiple context-free grammars, relational grammars and
top-down tree-to-string transducers, of which we have chosen the
OnlyS string-valued attribute grammars to be our vantage point. We
prove that OnlyS string-valued attribute grammars, parallel multiple
context-free grammars and relational grammars generate the same class
of languages, and we prove that every language accepted by an OnlyS
string-valued attribute grammar is the image of a top-down tree-to-string
transducer. The main result of this thesis is the proof of equivalence
of the special string-valued attribute grammars, the multiple context-free
grammar, the special relational grammar and the finite copying top-down
tree-to-string transducer. In order to prove these equivalences,
definitions of some of these formalisms have been slightly modified,
and normal forms have been (re)defined and proven
%0 Thesis
%1 Vugt96
%A van Vugt, N.
%C Leiden, The Netherlands
%D 1996
%K transducers tree vari.TT
%T Generalized Context-Free Grammars
%U ftp://ftp.wi.leidenuniv.nl/pub/CS/MScTheses/vvugt.96.ps.gz
%X We consider several language generating formalisms from the literature,
such as string-valued attribute grammars with only s-attributes,
parallel multiple context-free grammars, relational grammars and
top-down tree-to-string transducers, of which we have chosen the
OnlyS string-valued attribute grammars to be our vantage point. We
prove that OnlyS string-valued attribute grammars, parallel multiple
context-free grammars and relational grammars generate the same class
of languages, and we prove that every language accepted by an OnlyS
string-valued attribute grammar is the image of a top-down tree-to-string
transducer. The main result of this thesis is the proof of equivalence
of the special string-valued attribute grammars, the multiple context-free
grammar, the special relational grammar and the finite copying top-down
tree-to-string transducer. In order to prove these equivalences,
definitions of some of these formalisms have been slightly modified,
and normal forms have been (re)defined and proven
@phdthesis{Vugt96,
abstract = {We consider several language generating formalisms from the literature,
such as string-valued attribute grammars with only s-attributes,
parallel multiple context-free grammars, relational grammars and
top-down tree-to-string transducers, of which we have chosen the
OnlyS string-valued attribute grammars to be our vantage point. We
prove that OnlyS string-valued attribute grammars, parallel multiple
context-free grammars and relational grammars generate the same class
of languages, and we prove that every language accepted by an OnlyS
string-valued attribute grammar is the image of a top-down tree-to-string
transducer. The main result of this thesis is the proof of equivalence
of the special string-valued attribute grammars, the multiple context-free
grammar, the special relational grammar and the finite copying top-down
tree-to-string transducer. In order to prove these equivalences,
definitions of some of these formalisms have been slightly modified,
and normal forms have been (re)defined and proven},
added-at = {2009-05-10T18:36:57.000+0200},
address = {Leiden, The Netherlands},
author = {van Vugt, N.},
biburl = {https://www.bibsonomy.org/bibtex/253660aa3511e8a94c8aca9ea3322cabb/dparigot},
description = {Attribute Grammar},
interhash = {a73a7c3fc38f29f0a5da2ebd2591586c},
intrahash = {53660aa3511e8a94c8aca9ea3322cabb},
keywords = {transducers tree vari.TT},
school = {Leiden University},
timestamp = {2009-05-10T18:37:09.000+0200},
title = {Generalized Context-Free Grammars},
url = {ftp://ftp.wi.leidenuniv.nl/pub/CS/MScTheses/vvugt.96.ps.gz},
year = 1996
}