I suspect this proof could be greatly simplified by the use of tag systems (http...

		niederman on July 31, 2024 \| parent \| context \| favorite \| on: `find` + `mkdir` is Turing complete I suspect this proof could be greatly simplified by the use of tag systems (https://en.m.wikipedia.org/wiki/Tag_system) rather than cellular automata.