Discrete Mathematics & Theoretical Computer Science

DMTCS

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 déc 11 11:27:39 CET 2002 by gustedt