Open AccessRewriting Extended Regular Expressions
Author(s) -
Valentin M. Antimirov,
Peter D. Mosses
Publication year - 1993
Publication title -
daimi pb
Language(s) - English
Resource type - Journals
eISSN - 2245-9316
pISSN - 0105-8517
DOI - 10.7146/dpb.v22i461.6934
Subject(s) - rewriting , distributive property , intersection (aeronautics) , property (philosophy) , algebra over a field , term (time) , confluence , distributive lattice , mathematics , lattice (music) , kleene algebra , computer science , pure mathematics , discrete mathematics , programming language , physics , engineering , philosophy , epistemology , quantum mechanics , acoustics , aerospace engineering
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.