We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Ancillary-file links:

Ancillary files (details):

Current browse context:

cs.FL

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Formal Languages and Automata Theory

Title: Von Neumann regularity, split epicness and elementary cellular automata

Authors: Ville Salo
Abstract: 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.
Comments: 12 pages + appendix, 6 figures. The Python scripts for checking the rules are included as ancillary files. Fixed some typos in this version. Comments welcome!
Subjects: Formal Languages and Automata Theory (cs.FL); Dynamical Systems (math.DS); Cellular Automata and Lattice Gases (nlin.CG)
Cite as: arXiv:1804.03913 [cs.FL]
  (or arXiv:1804.03913v3 [cs.FL] for this version)

Submission history

From: Ville Salo [view email]
[v1] Wed, 11 Apr 2018 10:36:56 GMT (19kb,A)
[v2] Thu, 12 Apr 2018 09:32:53 GMT (19kb,A)
[v3] Wed, 10 Oct 2018 04:01:25 GMT (19kb,A)

Link back to: arXiv, form interface, contact.