13 Feb 2003 00:45:42 -0500

Related articles |
---|

What is the full algebraic form of the following operator(rewrite) tab tkorna@wp.pl (Tomasz Kornacki) (2003-02-13) |

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.