Rewriting Extended Regular Expressions

We concider an extened algebra of regular events (languages) with intersection besides the usual operations. This algebra has the structure of a distributive lattice with monotonic operations; the latter property is crucial for some applications. We give a new complete Horn equational axiomatiztion of the algebra and develop some termrewriting techniques for constructing logical inferences of valid equations. A shorter version of this paper is to appear in the proceedings of Developments in Language Theory, Univ. of Turku, July 1993, published by World Scientific. The present version has been submitted for publication elsewhere.

• Type: Conference
• Year: 1993
• Where: DLT
• Authors: Valentin M. Antimirov, Peter D. Mosses
• Keywords: Algebra, DLT 1993, DLT 2007, Extened Algebra, Horn Equational Axiomatiztion