The first program, SemigroupCA_deterministic_solutions.py, "experimentally" verifies correctness of deterministic solution formulae for any of the 18 ternary CA rules induced by semigroups.

The second program, SemigroupCA_probabilistic_solutions.py,produces graphs of probabilities of occurrences of symbols 0,1,2 from experiment and theoretical formula for any of the 18 ternary CA rules induced by semigroups.

Instructions are at the beginning of each program.