Confluence in Cellular Automata
Confluence in Cellular Automata
[ Jonathan claims there are non-trivial confluent CAs in 2D ]
Findable using FindCriticalPairs etc. ??
MultiwaySystem[CellularAutomaton[30]
In[]:=
CellularAutomaton[30]/@Tuples[{1,0},3]
Out[]=
{{0,0,0},{1,0,0},{0,0,1},{1,1,1},{0,1,0},{1,1,1},{1,1,1},{0,0,0}}