What is the full algebraic form of the following operator(rewrite) table?

"Tomasz Kornacki" <tkorna@wp.pl>
13 Feb 2003 00:45:42 -0500

          From comp.compilers
Related articles
What is the full algebraic form of the following operator(rewrite) tab tkorna@wp.pl (Tomasz Kornacki) (2003-02-13)
| List of all articles for this month |
From: "Tomasz Kornacki" <tkorna@wp.pl>
Newsgroups: comp.compilers
Date: 13 Feb 2003 00:45:42 -0500
Organization: Compilers Central
Keywords: theory, question
Posted-Date: 13 Feb 2003 00:45:42 EST

What is the full algebraic form of the following operator table (this
is just an example):
> >
* a b
a a b
b b a

Is it:

R -> {(*aa -> a) / (*ab -> b) / (*ba -> b) / (*bb -> a)} ?

where:
R - the name of the algebra (relation) based on the operator '*'
* - the operator
-> - implication (or rewrite rule)
/ - exclusive alternative.

Thank you for your kind help.

Tom

Post a followup to this message

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