Pages that link to "Item:Q672142"
From MaRDI portal
The following pages link to Partial derivatives of regular expressions and finite automaton constructions (Q672142):
Displaying 50 items.
- Operads, quasiorders, and regular languages (Q256333) (← links)
- Algorithms for Kleene algebra with converse (Q299194) (← links)
- On the computation of quotients and factors of regular languages (Q351995) (← links)
- Postfix automata (Q476910) (← links)
- Extended to multi-tilde-bar regular expressions and efficient finite automata constructions (Q491616) (← links)
- Multi-tilde-bar expressions and their automata (Q715057) (← links)
- From regular expressions to smaller NFAs (Q719325) (← links)
- Compact representations of automata for regular expression matching (Q738883) (← links)
- Regular expression order-sorted unification and matching (Q741252) (← links)
- Simplifying regular expressions further (Q820947) (← links)
- Extension of Brzozowski's derivation calculus of rational expressions to series over the free partially commutative monoids (Q930924) (← links)
- Fast equation automaton computation (Q1018095) (← links)
- Follow automata. (Q1426009) (← links)
- Derivatives of rational expressions and related theorems. (Q1426157) (← links)
- Reducing NFAs by invariant equivalences. (Q1426461) (← links)
- An efficient null-free procedure for deciding regular language membership (Q1575893) (← links)
- Automata for regular expressions with shuffle (Q1706150) (← links)
- Construction of fuzzy automata from fuzzy regular expressions (Q1759725) (← links)
- Derivatives of rational expressions with multiplicity (Q1770384) (← links)
- Canonical derivatives, partial derivatives and finite automaton constructions. (Q1853522) (← links)
- Almost event-rate independent monitoring (Q2008287) (← links)
- On the size of partial derivatives and the word membership problem (Q2041687) (← links)
- Operational semantics with semicommutations (Q2043812) (← links)
- Automata and rational expressions (Q2074204) (← links)
- Descriptional complexity of regular languages (Q2074214) (← links)
- A formally verified, optimized monitor for metric first-order dynamic logic (Q2096466) (← links)
- Partial derivative automaton by compressing regular expressions (Q2096587) (← links)
- Manipulation of regular expressions using derivatives: an overview (Q2164731) (← links)
- Location based automata for expressions with shuffle (Q2232263) (← links)
- Verification and enforcement of access control policies (Q2248087) (← links)
- A mesh of automata (Q2272980) (← links)
- Deciding Kleene algebra terms equivalence in Coq (Q2347910) (← links)
- A goal-directed decision procedure for hybrid PDL (Q2351150) (← links)
- A formalisation of the Myhill-Nerode theorem based on regular expressions (Q2351151) (← links)
- On the hierarchy of generalizations of one-unambiguous regular languages (Q2357109) (← links)
- Derivatives and partial derivatives for regular shuffle expressions (Q2424692) (← links)
- Location automata for synchronised shuffle expressions (Q2693294) (← links)
- On the average complexity of partial derivative transducers (Q2699218) (← links)
- From $$\omega $$-Regular Expressions to Büchi Automata via Partial Derivatives (Q2799180) (← links)
- From Finite Automata to Regular Expressions and Back — A Summary on Descriptional Complexity (Q2800411) (← links)
- Position Automaton Construction for Regular Expressions with Intersection (Q2817375) (← links)
- On the State Complexity of Partial Derivative Automata For Regular Expressions with Intersection (Q2829969) (← links)
- Derived-Term Automata of Multitape Rational Expressions (Q2830207) (← links)
- Derivative-Based Diagnosis of Regular Expression Ambiguity (Q2830226) (← links)
- Derivatives for Enhanced Regular Expressions (Q2830228) (← links)
- Derivatives of Regular Expressions and an Application (Q2891325) (← links)
- THE COMPLEXITY OF REGULAR(-LIKE) EXPRESSIONS (Q2909093) (← links)
- ON THE AVERAGE STATE COMPLEXITY OF PARTIAL DERIVATIVE AUTOMATA: AN ANALYTIC COMBINATORICS APPROACH (Q2909097) (← links)
- Deciding Synchronous Kleene Algebra with Derivatives (Q2947408) (← links)
- A Decision Procedure for Regular Membership and Length Constraints over Unbounded Strings (Q2964458) (← links)
