Scripts for the paper "On von Neumann regularity of cellular automata"

This upload contains accompanying programs for the paper "On von Neumann regularity of cellular automata" by Ville Salo.

find_weak_inverses.py is a Python program (written in version 3.9), which finds the exhaustive list of weak inverses of minimal radius, for the ECA considered.

check_weak_inverses.py is a Python program (written in version 3.9), which checks the aforementioned list of weak inverses of minimal radius, for the ECA considered. (This program is completely independent from the previous.)

check_WPP.sage is a SAGE/Python program that checks whether the weak periodic point condition holds, for the ECA considered. To run it, open this file as text, and copy it into a SAGE worksheet. The main use of SAGE is its automata theory library.