Brzozowski derivative construction
E1676484
UNEXPLORED
The Brzozowski derivative construction is a method in formal language theory for converting regular expressions into deterministic finite automata by repeatedly computing derivatives of the expressions with respect to input symbols.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Brzozowski derivative construction canonical | 1 |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.