Omega-regular algebras axiomatise the equational theory of omega-regular expressions as induced by omega-regular language identity. Wagner presented an omega-regular algebra which requires recursively defined side conditions in some of its axioms. We introduce a first-order Horn axiomatisation for which such conditions can be avoided because additive and multiplicative units are absent. We prove its completeness relative to Wagner's result using categorical constructions for adjoining additive and multiplicative units. © 2012 Springer-Verlag.
CITATION STYLE
Laurence, M. R., & Struth, G. (2012). On Completeness of Omega-Regular Algebras. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7560 LNCS, pp. 179–194). https://doi.org/10.1007/978-3-642-33314-9_12
Mendeley helps you to discover research relevant for your work.