Self-verifying cellular automata

zbMATH Open1467.68114MaRDI QIDQ5010359FDOQ5010359

Authors: Martin Kutrib, Thomas Worsch 

Publication date: 25 August 2021

Full work available at URL: https://www.oldcitypublishing.com/journals/jca-home/jca-issue-contents/jca-volume-15-number-3-2020/jca-15-3-p-223-242/

Recommendations

• Self-verifying Cellular Automata
• Iterative arrays with self-verifying communication cell
• Self-verifying pushdown and queue automata
• Optimal simulation of self-verifying automata by deterministic automata
• Self-verifying finite automata and descriptional complexity

zbMATH Keywords

self-verificationclosure propertiesspeed-upcomputational capacityone-way cellular automatadecidability problems

Mathematics Subject Classification ID

Cellular automata (computational aspects) (68Q80)

Cited In (3)

• Self-verifying Cellular Automata
• Iterative arrays with self-verifying communication cell
• 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 Q5010359)