Partial derivatives of regular expressions and finite automata constructions
From MaRDI portal
Publication:4596644
DOI10.1007/3-540-59042-0_96zbMATH Open1379.68209OpenAlexW2008279674MaRDI QIDQ4596644FDOQ4596644
Authors: Valentin Antimirov 
Publication date: 4 December 2017
Published in: STACS 95 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-59042-0_96
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
- Partial derivative automata formalized in Coq
- A synchronous effects logic for temporal verification of pure Esterel
- 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 Derivative Automaton for Regular Expressions with Shuffle
- Partial derivatives for context-free languages. From \(\mu\)-regular expressions to pushdown automata
- From \(\omega\)-regular expressions to Büchi automata via partial derivatives
- Derivatives and partial derivatives for regular shuffle expressions
- Construction of a Deterministicω-Automaton Using Derivatives
- Partial derivatives of regular expressions over alphabet-invariant and user-defined labels
- From Regular Weighted Expressions to Finite Automata
- Derivatives of quantitative regular expressions
- Title not available (Why is that?)
- From regular expressions to deterministic automata
- A general framework for the derivation of regular expressions
- Automated verification for real-time systems. Via implicit clocks and an extended Antimirov algorithm
- Derivatives of regular expressions and an application
- From Mirkin's prebases to Antimirov's word partial derivatives
- 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)
