Partial derivatives of regular expressions and finite automata constructions
From MaRDI portal
Publication:4596644
Recommendations
- Partial derivatives of regular expressions and finite automaton constructions
- Derivatives of regular expressions and an application
- Partial derivatives of an extended regular expression
- Canonical derivatives, partial derivatives and finite automaton constructions.
- scientific article; zbMATH DE number 1773077
Cited in
(32)- Rewriting regular inequalities
- Computation of regular expression derivatives
- Partial derivatives of regular expressions and finite automaton constructions
- Analysis of an efficient reduction algorithm for random regular expressions based on universality detection
- Construction of state diagram of regular expressions using derivatives
- A synchronous effects logic for temporal verification of pure Esterel
- Partial derivative automata formalized in Coq
- Approximate regular expressions and their derivatives
- Construction of tree automata from regular expressions
- Partial derivatives of regular expressions over alphabet-invariant and user-defined labels
- Implementation and Application of Automata
- Hedge Pattern Partial Derivative
- Automated temporal verification for algebraic effects
- Prefix and Right-Partial Derivative Automata
- Regular-expression derivatives re-examined
- On the size of partial derivatives and the word membership problem
- Partial derivative and position bisimilarity automata
- Partial derivatives for context-free languages. From \(\mu\)-regular expressions to pushdown automata
- Partial Derivative Automaton for Regular Expressions with Shuffle
- From \(\omega\)-regular expressions to Büchi automata via partial derivatives
- Derivatives and partial derivatives for regular shuffle expressions
- From Regular Weighted Expressions to Finite Automata
- Construction of a Deterministicω-Automaton Using Derivatives
- Partial derivatives of regular expressions over alphabet-invariant and user-defined labels
- From regular expressions to deterministic automata
- scientific article; zbMATH DE number 3870596 (Why is no real title available?)
- Derivatives of quantitative regular expressions
- A general framework for the derivation of regular expressions
- Derivatives of regular expressions and an application
- From Mirkin's prebases to Antimirov's word partial derivatives
- Automated verification for real-time systems. Via implicit clocks and an extended Antimirov algorithm
- Partial derivatives of an extended regular expression
This page was built for publication: Partial derivatives of regular expressions and finite automata constructions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4596644)
