Re: Grammars with semantics

haberg@matematik.su.se (Hans Aberg)
6 May 2003 01:03:06 -0400

          From comp.compilers
Related articles
Grammars with semantics haberg@matematik.su.se (2003-04-20)
Re: Grammars with semantics rda@lemma-one.com (Rob Arthan) (2003-04-27)
Re: Grammars with semantics haberg@matematik.su.se (2003-04-27)
Re: Grammars with semantics haberg@matematik.su.se (2003-05-06)
| List of all articles for this month |
From: haberg@matematik.su.se (Hans Aberg)
Newsgroups: comp.compilers
Date: 6 May 2003 01:03:06 -0400
Organization: Mathematics
References: 03-04-067 03-04-100 03-04-108
Keywords: parse, semantics
Posted-Date: 06 May 2003 01:03:06 EDT

I realized that the "universal semantics" attached to a derivation
with respect to a grammar that I asked for is just the parse tree, as
if one preserves just the way the action functions are combined,
throwing away the functions themselves, there remains only a graph
which is just the parse tree.


In other words, grammars with a universal semantics is already studied in
the form of parse trees. It is an interesting viewpoint of language theory
that seems to somewhat hidden in the books I have looked into.


    Hans Aberg * Anti-spam: remove "remove." from email address.
                                    * Email: Hans Aberg <remove.haberg@member.ams.org>
                                    * Home Page: <http://www.math.su.se/~haberg/>
                                    * AMS member listing: <http://www.ams.org/cml/>

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.