加载中…
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"orm"a, 2015] that Von Neumann regularity is decidable condition, and we decide it for all elementary CA.

生成讲解博客的中文版本

生成AI智能校验的中文版本