Self-verifying pushdown and queue automata
From MaRDI portal
Publication:5164866
Recommendations
- Self-verifying finite automata and descriptional complexity
- Computational complexity of decision problems on self-verifying finite automata
- Optimal simulation of self-verifying automata by deterministic automata
- Converting Self-verifying Automata into Deterministic Automata
- Unary Self-verifying Symmetric Difference Automata
Cites work
- scientific article; zbMATH DE number 3664335 (Why is no real title available?)
- scientific article; zbMATH DE number 3639163 (Why is no real title available?)
- scientific article; zbMATH DE number 3291134 (Why is no real title available?)
- scientific article; zbMATH DE number 3302285 (Why is no real title available?)
- scientific article; zbMATH DE number 3413820 (Why is no real title available?)
- A regularity test for pushdown machines
- Descriptional complexity -- an introductory survey
- Fundamentals of parameterized complexity
- Las Vegas versus determinism for one-way communication complexity, finite automata, and polynomial-time computations
- Nondeterministic Communication with a Limited Number of Advice Bits
- On Goedel speed-up and succinctness of language representations
- On strongly context-free languages
- On the power of Las Vegas for one-way communication complexity, OBDDs, and finite automata
- One-time nondeterministic computations
- One-way multihead writing finite automata
- Optimal simulation of self-verifying automata by deterministic automata
- Parameterized algorithms
- Pushdown automata with bounded nondeterminism and bounded ambiguity
- QRT FIFO automata, breadth-first grammars and their relations
- Queue Automata: Foundations and Developments
- Real-time computations with restricted nondeterminism
- \(L(A)=L(B)\)? decidability results from complete formal systems
Cited in
(9)- Self-verifying Cellular Automata
- Input-Driven Queue Automata with Internal Transductions
- Boolean kernels of context-free languages
- Deterministic input-driven queue automata: finite turns, decidability, and closure properties
- Iterative arrays with self-verifying communication cell
- Operations on Self-Verifying Finite Automata
- Self-verifying cellular automata
- Iterative arrays with self-verifying communication cell
- Queue Automata: Foundations and Developments
This page was built for publication: Self-verifying pushdown and queue automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5164866)
