A completeness theorem for Kleene algebras and the algebra of regular events. (English) Zbl 0806.68082

Summary: We give a finitary axiomatization of the algebra of regular events involving only equations and equational implications. Unlike Salomaa’s axiomatizations, the axiomatization given here is sound for all interpretations over Kleene algebras.


68Q70 Algebraic theory of languages and automata
08A70 Applications of universal algebra in computer science
Full Text: DOI