Simulation of Turing machines by a left-linear rewrite rule. (1989)

by M DAUCHET
Venue:In Proceedings of the 3rd Conference on Rewriting Techniques an Applications