Sciweavers

DLT
1993

Rewriting Extended Regular Expressions

13 years 5 months ago
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.
Valentin M. Antimirov, Peter D. Mosses
Added 02 Nov 2010
Updated 02 Nov 2010
Type Conference
Year 1993
Where DLT
Authors Valentin M. Antimirov, Peter D. Mosses
Comments (0)