1992 | OriginalPaper | Chapter
More on Kleene Algebra
Author : Dexter C. Kozen
Published in: The Design and Analysis of Algorithms
Publisher: Springer New York
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.