×

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.

MSC:

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