Geodesic
A Unified Framework to Compute over Tree Synchronized Grammars and Primal Grammars
Discrete mathematics & theoretical computer science, Tome 5 (2002).

Voir la notice de l'article provenant de la source Episciences

Tree languages are powerful tools for the representation and schematization of infinite sets of terms for various purposes (unification theory, verification and specification ...). In order to extend the regular tree language framework, more complex formalisms have been developed. In this paper, we focus on Tree Synchronized Grammars and Primal Grammars which introduce specific control structures to represent non regular sets of terms. We propose a common unified framework in order to achieve the membership test for these particular languages. Thanks to a proof system, we provide a full operational framework, that allows us to transform tree grammars into Prolog programs (as it already exists for word grammars with DCG) whose goal is to recognize terms of the corresponding language. 
@article{DMTCS_2002_5_a6,
     author = {Saubion, Fr\'ed\'eric and St\'ephan, Igor},
     title = {A {Unified} {Framework} to {Compute} over {Tree} {Synchronized} {Grammars} and {Primal} {Grammars}},
     journal = {Discrete mathematics & theoretical computer science},
     publisher = {mathdoc},
     volume = {5},
     year = {2002},
     doi = {10.46298/dmtcs.300},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.300/}
}
TY  - JOUR
AU  - Saubion, Frédéric
AU  - Stéphan, Igor
TI  - A Unified Framework to Compute over Tree Synchronized Grammars and Primal Grammars
JO  - Discrete mathematics & theoretical computer science
PY  - 2002
VL  - 5
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.300/
DO  - 10.46298/dmtcs.300
LA  - en
ID  - DMTCS_2002_5_a6
ER  - 
%0 Journal Article
%A Saubion, Frédéric
%A Stéphan, Igor
%T A Unified Framework to Compute over Tree Synchronized Grammars and Primal Grammars
%J Discrete mathematics & theoretical computer science
%D 2002
%V 5
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.300/
%R 10.46298/dmtcs.300
%G en
%F DMTCS_2002_5_a6
Saubion, Frédéric; Stéphan, Igor. A Unified Framework to Compute over Tree Synchronized Grammars and Primal Grammars. Discrete mathematics & theoretical computer science, Tome 5 (2002). doi : 10.46298/dmtcs.300. http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.300/

Cité par Sources :