Partial derivatives of an extended regular expression
From MaRDI portal
Recommendations
- Partial derivatives of regular expressions and finite automaton constructions
- From regular expressions to deterministic automata
- Partial derivatives of regular expressions and finite automata constructions
- Canonical derivatives, partial derivatives and finite automaton constructions.
- On the state complexity of partial derivative automata for regular expressions with intersection
Cited in
(34)- Derivatives of rational expressions with multiplicity
- Derivatives and partial derivatives for regular shuffle expressions
- From Mirkin's prebases to Antimirov's word partial derivatives
- From \(\omega\)-regular expressions to Büchi automata via partial derivatives
- Two-sided derivatives for regular expressions and for hairpin expressions
- Position automaton construction for regular expressions with intersection
- POSIX Lexing with Derivatives of Regular Expressions (Proof Pearl)
- On the state complexity of partial derivative automata for regular expressions with intersection
- Derived-term automata of multitape rational expressions
- Derivatives for Enhanced Regular Expressions
- Approximate regular expressions and their derivatives
- Partial derivatives for context-free languages. From -regular expressions to pushdown automata
- Derived-term automata for extended weighted rational expressions
- Hedge Pattern Partial Derivative
- Constrained expressions and their derivatives
- Partial derivatives of regular expressions and finite automata constructions
- On the average complexity of partial derivative automata for semi-extended expressions
- Two-sided derivatives for regular expressions and for hairpin expressions
- Derivatives of regular expressions with cuts
- Bottom-Up derivatives of tree expressions
- scientific article; zbMATH DE number 223334 (Why is no real title available?)
- Verified decision procedures for MSO on words based on derivatives of regular expressions
- Position automata for semi-extended expressions
- Reordering Derivatives of Trace Closures of Regular Languages.
- Partial derivatives of regular expressions over alphabet-invariant and user-defined labels
- POSIX lexing with derivatives of regular expressions
- Algorithms for checking intersection non-emptiness of regular expressions
- Translation of semi-extended regular expressions using derivatives
- Partial derivatives of regular expressions and finite automaton constructions
- Constrained multi-tildes: derived term and position automata
- Incremental algorithms for solving regular expression intersection non-emptiness
- Translation of semi-extended regular expressions using linear forms
- Finiteness of symbolic derivatives in Lean
- Simplified parsing expression derivatives
This page was built for publication: Partial derivatives of an extended regular expression
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3004578)
