Bounded Regular Sets
From MaRDI portal
Cites work
Cited in
(60)- On the open problem of Ginsburg concerning semilinear sets and related problems
- Regular languages and partial commutations
- The star problem and the finite power property in trace monoids: Reductions beyond C4
- On equality of multiplicity sets of regular languages
- Separating the words of a language by counting factors
- Shuffle on trajectories: Syntactic constraints
- On the separability of sparse context-free languages and of bounded rational relations
- An algorithm to decide whether a rational subset of \({\mathbb{N}}^ k\) is recognizable
- Regularity conditions for iterated shuffle on commutative regular languages
- Automata-theoretical regularity characterizations for the iterated shuffle on commutative regular languages
- How to Tackle Integer Weighted Automata Positivity
- The monoids of the patience sorting algorithm
- Two techniques in the area of the star problem in trace monoids
- Some trace monoids where both the star problem and the finite power property problem are decidable (extended abstract)
- On the regularity of languages generated by context-free evolutionary grammars
- The algebraic theory of Parikh automata
- Synchronization languages
- Substitution and bounded languages
- On the equivalence, containment, and covering problems for the regular and context-free languages
- Rational subsets of Baumslag-Solitar groups
- A Characterization of Semilinear Sets
- Computational complexity of synchronization under sparse regular constraints
- Syntactic operators on full semiAFLs
- Descriptional complexity of bounded regular languages
- Sparse and slender subsets of monoids.
- An efficient quantifier elimination procedure for Presburger arithmetic
- When is an automatic set an additive basis?
- Scattered deletion and commutativity
- A word reconstruction problem for polynomial regular languages
- Automata for the commutative closure of regular languages
- Quantitative estimates for the size of an intersection of sparse automatic sets
- A logic for document spanners
- Decidability of right one-way jumping finite automata
- Unboundedness problems for languages of vector addition systems
- Three theorems concerning principal AFLs
- Finding the Growth Rate of a Regular of Context-Free Language in Polynomial Time
- Regularity Conditions for Iterated Shuffle on Commutative Regular Languages
- Deciding whether a relation defined in Presburger logic can be defined in weaker logics
- State complexity bounds for projection, shuffle, up- and downward closure and interior on commutative regular languages
- Ramsey quantifiers over automatic structures: complexity and applications to verification
- Finitely distinguishable erasing pattern languages
- Hierarchies of one-way multihead automata languages
- Ideal separation and general theorems for constrained synchronization and their application to small constraint automata
- Computing the closure of sets of words under partial commutations
- \(F\)-sets and finite automata
- Decidability of the star problem in \(A^*\times{}\{ b\}^*\)
- A characterization of algebraic multivariate power series with sparse support
- String and graph grammar characterizations of bounded regular languages
- scientific article; zbMATH DE number 3293675 (Why is no real title available?)
- Single-tape reset machines
- Decidability of trajectory-based equations
- Operations and language generating devices suggested by the genome evolution
- The decidability of a mapping problem for generalized sequential machines with final states
- The commutative closure of shuffle languages over group languages is regular
- scientific article; zbMATH DE number 3578341 (Why is no real title available?)
- Star-free sets of integers
- Proving containment of bounded AFL
- Support of an algebraic series as the range of a recursive sequence
- A refinement of Christol's theorem for algebraic power series
- AFL with the semilinear property
This page was built for publication: Bounded Regular Sets
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5525345)
