Simulating reversible Turing machines and cyclic tag systems by one-dimensional reversible cellular automata

From MaRDI portal