Abstract
In this lecture we will see how Kleene algebra can be used in a variety of situations involving *-like operations. The key result that allows these applications is that the n x n matrices over a Kleene algebra again form a Kleene algebra. Along the way we will establish a central lemma that establishes the importance of the regular sets Reg Σ over the finite alphabet Σ in reasoning about Kleene algebras in general.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1992 Springer-Verlag New York, Inc.
About this chapter
Cite this chapter
Kozen, D.C. (1992). More on Kleene Algebra. In: The Design and Analysis of Algorithms. Texts and Monographs in Computer Science. Springer, New York, NY. https://doi.org/10.1007/978-1-4612-4400-4_7
Download citation
DOI: https://doi.org/10.1007/978-1-4612-4400-4_7
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4612-8757-5
Online ISBN: 978-1-4612-4400-4
eBook Packages: Springer Book Archive