Idempotent semiring endowed with a closure operator
This article is about the Kleene algebra with a closure operation—a generalization of regular expressions. For the Kleene algebra with involution—a generalization of Kleene's ternary logic—, see
Kleene algebra (with involution).
In mathematics, a Kleene algebra ( KLAY-nee; named after Stephen Cole Kleene) is an idempotent (and thus partially ordered) semiring endowed with a closure operator.[1] It generalizes the operations known from regular expressions.
- ^ Marc Pouly; Jürg Kohlas (2011). Generic Inference: A Unifying Theory for Automated Reasoning. John Wiley & Sons. p. 246. ISBN 978-1-118-01086-0.