|Grammars with semantics email@example.com (2003-04-20)|
|Re: Grammars with semantics firstname.lastname@example.org (Rob Arthan) (2003-04-27)|
|Re: Grammars with semantics email@example.com (2003-04-27)|
|Re: Grammars with semantics firstname.lastname@example.org (2003-05-06)|
|From:||email@example.com (Hans Aberg)|
|Date:||6 May 2003 01:03:06 -0400|
|References:||03-04-067 03-04-100 03-04-108|
|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 <firstname.lastname@example.org>
* Home Page: <http://www.math.su.se/~haberg/>
* AMS member listing: <http://www.ams.org/cml/>
Return to the
Search the comp.compilers archives again.