Von neumann regularity, split epicness and elementary cellular automata

Publisher's PDF
OASIcs-AUTOMATA-2021-11.pdf - 575.52 KB
Lataukset74

Verkkojulkaisu

Tiivistelmä

We show that a cellular automaton on a mixing subshift of finite type is a von Neumann regular element in the semigroup of cellular automata if and only if it is split epic onto its image in the category of sofic shifts and block maps. It follows from [S.-Törmä, 2015] that von Neumann regularity is decidable condition, and we decide it for all elementary CA.

Sarja

Open access series in informatics

item.page.okmtext