Kleene algebra with tests

GPTKB entity

Statements (19)
Predicate Object
gptkbp:instanceOf gptkb:algebra
gptkbp:characterizedBy addition
multiplication
Boolean tests
star operation
gptkbp:field gptkb:mathematics
theoretical computer science
gptkbp:generalizes gptkb:finite_automata
regular expressions
https://www.w3.org/2000/01/rdf-schema#label Kleene algebra with tests
gptkbp:introducedIn 1990s
gptkbp:namedAfter gptkb:Stephen_Kleene
gptkbp:relatedTo gptkb:algebra
gptkb:Kleene_algebra
gptkbp:usedIn automata theory
formal methods
program verification
gptkbp:bfsParent gptkb:Dexter_Kozen
gptkbp:bfsLayer 6