# Discrete Mathematics & Theoretical Computer Science

## Volume 5 n° 1 (2002), pp. 227-262

author: | Frédéric Saubion and Igor Stéphan |
---|---|

title: | A Unified Framework to Compute over Tree Synchronized Grammars and Primal Grammars |

keywords: | Tree Grammars ; Proof Systems ; Prolog Implementation |

abstract: | 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. If your browser does not display the abstract correctly (because of the different mathematical symbols) you can look it up in the PostScript or PDF files. |

reference: | Frédéric Saubion and Igor Stéphan (2002),
A Unified Framework to Compute over Tree Synchronized Grammars and Primal Grammars,
Discrete Mathematics and Theoretical Computer Science 5, pp. 227-262 |

bibtex: | For a corresponding BibTeX entry, please consider our BibTeX-file. |

ps.gz-source: | dm050115.ps.gz (87 K) |

ps-source: | dm050115.ps (268 K) |

pdf-source: | dm050115.pdf (220 K) |

The first *source* gives you the `gzipped' PostScript, the second the plain
PostScript and the third the format for the Adobe accrobat
reader. Depending on the installation of your web browser, at least
one of these should (after some amount of time) pop up a window for
you that shows the full article. If this is not the case, you should
contact your system administrator to install your browser correctly.

Due to limitations of your local software, the two formats may show up differently on your screen. If eg you use xpdf to visualize pdf, some of the graphics in the file may not come across. On the other hand, pdf has a capacity of giving links to sections, bibliography and external references that will not appear with PostScript.

Automatically produced on mer dc 11 11:27:39 CET 2002 by gustedt