Self-verifying Cellular Automata
From MaRDI portal
Publication:6108530
DOI10.1007/978-3-319-99813-8_31zbMath1515.68193OpenAlexW2888015909MaRDI QIDQ6108530
Publication date: 30 June 2023
Published in: Developments in Language Theory (Search for Journal in Brave)
Full work available at URL: http://geb.uni-giessen.de/geb/volltexte/2018/13522/
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Optimal simulation of self-verifying automata by deterministic automata
- On real-time cellular automata and trellis automata
- On time computability of functions in one-way cellular automata
- Deterministic one-way simulation of two-way real-time cellular automata and its related problems
- On the power of Las Vegas for one-way communication complexity, OBDDs, and finite automata
- Real-time language recognition by one-dimensional cellular automata
- Non-deterministic cellular automata and languages
- Sequential Machine Characterizations of Trellis and Cellular Automata and Applications
- One-way bounded cellular automata
- Real-time computations with restricted nondeterminism
- Nondeterministic Communication with a Limited Number of Advice Bits
- Las Vegas versus determinism for one-way communication complexity, finite automata, and polynomial-time computations
- One-way stack automata
- Encyclopedia of Complexity and Systems Science
This page was built for publication: Self-verifying Cellular Automata
