Self-verifying cellular automata

MaRDI QIDQ5010359zbMATH OpenFDO

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/

zbMATH Keywords

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

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
• Optimal simulation of self-verifying automata by deterministic automata
• Self-verifying finite automata and descriptional complexity

Cited in

(3)

• Iterative arrays with self-verifying communication cell
• Iterative arrays with self-verifying communication cell
• Self-verifying Cellular Automata

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)