Small universal Turing machines
Theoretical Computer Science - Special issue on universal machines and computations
On quasi-unilateral universal Turing machines
Theoretical Computer Science
Membrane Computing: An Introduction
Membrane Computing: An Introduction
An algorithmic analysis of DNA structure
Soft Computing - A Fusion of Foundations, Methodologies and Applications
On the Logic and Geometry of Bilinear Forms
Fundamenta Informaticae - Contagious Creativity - In Honor of the 80th Birthday of Professor Solomon Marcus
Electronic Notes in Theoretical Computer Science (ENTCS)
Logical reversibility of computation
IBM Journal of Research and Development
DNA'05 Proceedings of the 11th international conference on DNA Computing
Algorithmic applications of XPCR
Natural Computing: an international journal
| Hi-index | 5.23 |
In this paper we propose a universal rewriting system whose computational steps closely resemble the manner in which nature computes double stranded DNA molecules. The basic data structure is given by a couple of strings paired by a complementarity relation (such as the Watson-Crick one), and the rewriting rules have a biotechnological implementation as DNA computing standard procedures. The antiparallel orientation of the formal strings laying on the double structure is taken into consideration, as in [G. Franco, V. Manca, An algorithmic analysis of DNA structure, Soft Computing-A Fusion of Foundations, Methodologies and Applications 9 (10) (2005) 761-768] it was shown to be essential for some informational and computational aspects underlying the DNA autoduplication process. The universality of such a system has been proved and the biotechnological details of a possible implementation have been outlined. Moreover, the membrane system which turned out to be the natural context to describe our system in [G. Franco, M. Margenstern, Computing by Floating Strings, in: N. Busi, C. Zandron (Eds.), Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2006), July 9, S. Servolo, Venice, Italy, in: ENTCS, vol. 171(issue 2), July 2007, pp. 95-104] has been proposed here in more technical detail, and the announced extension work has been developed.