Self-verifying Cellular Automata

DOI10.1007/978-3-319-99813-8_31MaRDI QIDQ6108530zbMATH OpenOpenAlexFDO

Authors Martin Kutrib, Thomas Worsch

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/

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Recommendations

• Self-verifying cellular automata
• Iterative arrays with self-verifying communication cell
• Self-verifying pushdown and queue automata
• Computational complexity of decision problems on self-verifying finite automata
• Self-verifying finite automata and descriptional complexity

Cites work

• scientific article; zbMATH DE number 3872685 (Why is no real title available?)
• scientific article; zbMATH DE number 2068878 (Why is no real title available?)
• scientific article; zbMATH DE number 1886323 (Why is no real title available?)
• Deterministic one-way simulation of two-way real-time cellular automata and its related problems
• Encyclopedia of Complexity and Systems Science
• Las Vegas versus determinism for one-way communication complexity, finite automata, and polynomial-time computations
• Non-deterministic cellular automata and languages
• Nondeterministic Communication with a Limited Number of Advice Bits
• On real-time cellular automata and trellis automata
• On the power of Las Vegas for one-way communication complexity, OBDDs, and finite automata
• On time computability of functions in one-way cellular automata
• One-way bounded cellular automata
• One-way stack automata
• Optimal simulation of self-verifying automata by deterministic automata
• Real-time computations with restricted nondeterminism
• Real-time language recognition by one-dimensional cellular automata
• Sequential Machine Characterizations of Trellis and Cellular Automata and Applications

Cited in

(3)

• Iterative arrays with self-verifying communication cell
• Self-verifying cellular automata
• Iterative arrays with self-verifying communication cell

This page was built for publication: Self-verifying Cellular Automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6108530)