P. Frisco, G. Mauri, C. Ferretti.
Simulating Turing machines through extended mH systems.
Abstract
In this article we describe a method of
translation from a deterministic Turing machine to an
extended mH splicing system. The accuracy of this
translation is proved by a theorem which shows that the
only string present in single copy is a coding of a
configuration of the simulated Turing machine. A simpler
translation from a universal Turing machine with three
tapes to an extended mH system is given too.