Brzozowski derivative

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:appliesTo regular expressions
gptkbp:defines Given a regular expression E and a symbol a, the Brzozowski derivative D_a(E) is a new regular expression representing the set of strings that, when prefixed by a, are in the language of E.
gptkbp:field formal language theory
https://www.w3.org/2000/01/rdf-schema#label Brzozowski derivative
gptkbp:introducedIn 1964
gptkbp:namedAfter gptkb:Janusz_Brzozowski
gptkbp:publishedIn gptkb:Mathematical_Theory_of_Automata_(1964)
gptkbp:relatedTo gptkb:deterministic_finite_automaton
gptkb:nondeterministic_finite_automaton
regular languages
gptkbp:usedFor regular expression matching
automata construction
gptkbp:bfsParent gptkb:Wawrzyniec_Brzozowski
gptkbp:bfsLayer 6