Kleene algebra

GPTKB entity

Statements (28)
Predicate Object
gptkbp:instanceOf gptkb:algebra
gptkbp:firstDefined 1956
gptkbp:generalizes regular expressions
gptkbp:hasApplication database theory
model checking
compiler construction
program analysis
gptkbp:hasAxiom associativity
distributivity
annihilation
Kleene star axioms
idempotence
https://www.w3.org/2000/01/rdf-schema#label Kleene algebra
gptkbp:namedAfter gptkb:Stephen_Cole_Kleene
gptkbp:operator gptkb:Kleene_star
addition
multiplication
zero element
one element
gptkbp:relatedTo gptkb:finite_automata
regular languages
semiring
gptkbp:usedIn automata theory
computer science
formal language theory
program verification
gptkbp:bfsParent gptkb:Stephen_Kleene
gptkbp:bfsLayer 5