Languages of boundedly-ambiguous vector addition systems with states
From MaRDI portal
Cites work
- A note on undecidable properties of formal languages
- A superpolynomial lower bound for the size of non-deterministic complement of an unambiguous automaton
- Ambiguity in context free languages
- An Approach to Regular Separability in Vector Addition Systems
- Bidimensional linear recursive sequences and universality of unambiguous register automata
- Computing the linear hull: deciding deterministic? And unambiguous? For weighted automata over fields
- Decidability of weak simulation on one-counter nets
- Determinization of one-counter nets
- Finite state machines for strings over infinite alphabets
- Finiteness of the odd perfect and primitive abundant numbers with \(n\) distinct prime factors.
- History-deterministic vector addition systems
- Language inclusion for boundedly-ambiguous vector addition systems is decidable
- Language inclusion for boundedly-ambiguous vector addition systems is decidable
- Lossy counter machines decidability cheat sheet
- Lower bounds for unambiguous automata via communication complexity
- New techniques for universality in unambiguous register automata
- On history-deterministic one-counter nets
- On path equivalence of nondeterministic finite automata
- On the Equivalence and Containment Problems for Unambiguous Regular Expressions, Regular Grammars and Finite Automata
- On the separability problem of VASS reachability languages
- Orbit-finite-dimensional vector spaces and weighted register automata
- Parallel program schemata
- Petri nets and regular languages
- Regular separability of one counter automata
- Regular separability of well-structured transition systems
- Some decision problems related to the reachability problem for Petri nets
- The containment problem for unambiguous register automata
- Unambiguity in automata theory
- Undecidable problems in unreliable computations.
- Universality Problem for Unambiguous VASS
This page was built for publication: Languages of boundedly-ambiguous vector addition systems with states
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7310284)
