Rewriting Extended Regular Expressions
DOI:
https://doi.org/10.7146/dpb.v22i461.6934Abstract
We consider an extended 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 axiomatization of the algebra and develop some term-rewriting techniques for constructing logical inferences of valid equations.Downloads
Published
1993-11-01
How to Cite
Antimirov, V. M., & Mosses, P. D. (1993). Rewriting Extended Regular Expressions. DAIMI Report Series, 22(461). https://doi.org/10.7146/dpb.v22i461.6934
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.