Definability by weakly deterministic regular expressions with counters is decidable
From MaRDI portal
Recommendations
- Deciding definability by deterministic regular expressions
- Regular Expressions with Counting: Weak versus Strong Determinism
- Regular expressions with counting: weak versus strong determinism
- Deciding definability by deterministic regular expressions
- Descriptional complexity of deterministic regular expressions
Cites work
- Checking determinism of regular expressions with counting
- Closure properties and descriptional complexity of deterministic regular expressions
- Deciding definability by deterministic regular expressions
- Descriptional complexity of deterministic regular expressions
- One-unambiguity of regular expressions with numeric occurrence indicators
- One-unambiguous regular languages
- Regular Expressions with Numerical Constraints and Automata with Counters
- Regular expressions into finite automata
- Regular expressions with counting: weak versus strong determinism
- The membership problem for regular expressions with unordered concatenation and numerical constraints
Cited in
(9)- Closure properties and descriptional complexity of deterministic regular expressions
- Regular Expressions with Counting: Weak versus Strong Determinism
- Regular expressions with counting: weak versus strong determinism
- Deciding determinism of unary languages
- Efficient testing and matching of deterministic regular expressions
- Complexity of decision problems for XML schemas and chain regular expressions
- Deciding definability by deterministic regular expressions
- The complexity of SORE-definability problems
- Deterministic regular expressions with back-references
This page was built for publication: Definability by weakly deterministic regular expressions with counters is decidable
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2946353)