Abstract
A commutative complemented Kleene algebra of sets of (positive) real numbers is introduced. For the subalgebra generated by finite unions of rational intervals a normal form is found. These are then applied to the complementation problem for real-time automata.
Cite
CITATION STYLE
APA
Dima, C. (2000). Real-time automata and the Kleene algebra of sets of real numbers. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1770, pp. 279–289). Springer Verlag. https://doi.org/10.1007/3-540-46541-3_23
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free