Partial derivatives of regular expressions and finite automaton constructions
From MaRDI portal
(Redirected from Publication:672142)
Recommendations
- Partial derivatives of regular expressions and finite automata constructions
- Canonical derivatives, partial derivatives and finite automaton constructions.
- Partial derivatives of an extended regular expression
- From regular expressions to deterministic automata
- scientific article; zbMATH DE number 1773077
Cites work
- scientific article; zbMATH DE number 4045163 (Why is no real title available?)
- scientific article; zbMATH DE number 193480 (Why is no real title available?)
- scientific article; zbMATH DE number 3526592 (Why is no real title available?)
- scientific article; zbMATH DE number 1142316 (Why is no real title available?)
- scientific article; zbMATH DE number 3251424 (Why is no real title available?)
- scientific article; zbMATH DE number 3254905 (Why is no real title available?)
- scientific article; zbMATH DE number 3307592 (Why is no real title available?)
- scientific article; zbMATH DE number 3311755 (Why is no real title available?)
- scientific article; zbMATH DE number 3316966 (Why is no real title available?)
- scientific article; zbMATH DE number 3366846 (Why is no real title available?)
- A Procedure for Checking Equality of Regular Expressions
- A taxonomy of sublinear multiple keyword pattern matching algorithms
- Complexity of matching problems
- DIFFERENTIATION OF K-RATIONAL EXPRESSIONS
- Derivatives of Regular Expressions
- From regular expressions to DFA's using compressed NFA's
- From regular expressions to deterministic automata
- Linear Automaton Transformations
- On equations for regular languages, finite automata, and sequential networks
- Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
- Partial derivatives of regular expressions and finite automata constructions
- Programming Techniques: Regular expression search algorithm
- Regular expressions into finite automata
- Rewriting extended regular expressions
- THE ABSTRACT THEORY OF AUTOMATA
- The Invalidity of Markoff's Schema
- Undecidability of ground reducibility for word rewriting systems with variables
Cited in
(only showing first 100 items - show all)- scientific article; zbMATH DE number 7407791 (Why is no real title available?)
- Automata and rational expressions
- Descriptional complexity of regular languages
- Extension of Brzozowski's derivation calculus of rational expressions to series over the free partially commutative monoids
- Kleene theorems for product systems
- Location automata for synchronised shuffle expressions
- Fast equation automaton computation
- Translation of semi-extended regular expressions using derivatives
- Automata for regular expressions with shuffle
- ANTIMIROV AND MOSSES'S REWRITE SYSTEM REVISITED
- 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
- On the average complexity of partial derivative transducers
- On the average size of Glushkov and partial derivative automata
- Incremental dead state detection in logarithmic time
- Follow automata.
- Antimirov and Mosses’s Rewrite System Revisited
- FROM C-CONTINUATIONS TO NEW QUADRATIC ALGORITHMS FOR AUTOMATON SYNTHESIS
- Partial derivatives of an extended regular expression
- Partial derivative automaton by compressing regular expressions
- On average behaviour of regular expressions in strong star normal form
- Simplifying regular expressions further
- Operads, quasiorders, and regular languages
- The complexity of regular(-like) expressions
- Canonical derivatives, partial derivatives and finite automaton constructions.
- Inclusion Test Algorithms for One-Unambiguous Regular Expressions
- Corrigendum to our paper: How Expressions Can Code for Automata
- Left is Better Than Right for Reducing Nondeterminism of NFAs
- Computation of regular expression derivatives
- A formalisation of the Myhill-Nerode theorem based on regular expressions
- Computing with relational machines
- Multi-tilde-bar expressions and their automata
- Deciding synchronous Kleene algebra with derivatives
- On the average state complexity of partial derivative automata: an analytic combinatorics approach
- Construction of state diagram of regular expressions using derivatives
- scientific article; zbMATH DE number 1773077 (Why is no real title available?)
- A decision procedure for regular membership and length constraints over unbounded strings
- Almost event-rate independent monitoring
- Derivatives for Enhanced Regular Expressions
- Partial derivative automata formalized in Coq
- Approximate regular expressions and their derivatives
- Derivatives of rational expressions and related theorems.
- Derivatives of approximate regular expressions
- Construction of tree automata from regular expressions
- scientific article; zbMATH DE number 7649949 (Why is no real title available?)
- Tree pattern matching from regular tree expressions.
- How expressions can code for automata
- Algorithms for Kleene algebra with converse
- Reordering Derivatives of Trace Closures of Regular Languages.
- Partial derivatives of regular expressions over alphabet-invariant and user-defined labels
- On the state complexity of partial derivative automata for regular expressions with intersection
- Verification and enforcement of access control policies
- On the positive calculus of relations with transitive closure
- A Coinductive Reformulation of Milner's Proof System for Regular Expressions Modulo Bisimilarity
- Kleene Theorems for Synchronous Products with Matching
- Construction of Tree Automata from Regular Expressions
- Implementation and Application of Automata
- Space-efficient representations for Glushkov automata
- CLP(\(\mathsf{H}\)): constraint logic programming for hedges
- Hedge Pattern Partial Derivative
- On the hierarchy of generalizations of one-unambiguous regular languages
- Algorithms for checking intersection non-emptiness of regular expressions
- Equational theories of abnormal termination based on Kleene algebra
- Operational semantics with semicommutations
- Compact representations of automata for regular expression matching
- Regular expression order-sorted unification and matching
- Efficient weighted expressions conversion
- Prefix and Right-Partial Derivative Automata
- Reducing NFAs by invariant equivalences.
- Derived-term automata for extended weighted rational expressions
- The bottom-up position tree automaton and the father automaton
- Regular-expression derivatives re-examined
- Location automata for regular expressions with shuffle and intersection
- Rational and Recognisable Power Series
- On the average state complexity of partial derivative transducers
- Derivatives and finite automata of expressions in star normal form
- Construction of fuzzy automata from fuzzy regular expressions
- Derivatives of rational expressions with multiplicity
- On the size of partial derivatives and the word membership problem
- Two-sided derivatives for regular expressions and for hairpin expressions
- scientific article; zbMATH DE number 7450010 (Why is no real title available?)
- scientific article; zbMATH DE number 7456061 (Why is no real title available?)
- Partial derivative and position bisimilarity automata
- From tree automata to rational tree expressions
- Derived-term automata of multitape rational expressions
- Partial derivatives for context-free languages. From \(\mu\)-regular expressions to pushdown automata
- Partial Derivative Automaton for Regular Expressions with Shuffle
- An efficient algorithm for the construction of the equation tree automaton
- The prefix automaton
- A mesh of automata
- Average complexity of partial derivatives for synchronised shuffle expressions
- Constrained multi-tildes
- FROM REGULAR WEIGHTED EXPRESSIONS TO FINITE AUTOMATA
- Postfix automata
- Completeness theorems for Kleene algebra with tests and top
- Bottom-Up derivatives of tree expressions
- Manipulation of regular expressions using derivatives: an overview
- Verified decision procedures for MSO on words based on derivatives of regular expressions
- Location based automata for expressions with shuffle
This page was built for publication: Partial derivatives of regular expressions and finite automaton constructions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q672142)
