In search for a universal splicing system, in this paper we present a Post system universal for the class of Post systems, and we discuss its translation into an extended splicing system with multiplicity. We also discuss the complexity of the resulting universal splicing system, comparing our result with recent known results about the translation of universal Turing machines into splicing systems.
Ferretti, C., Mauri, G., Kobayashi, S., Yokomori, T. (2000). On the universality of Post and splicing systems. THEORETICAL COMPUTER SCIENCE, 231(2), 157-170 [10.1016/S0304-3975(99)00097-3].
On the universality of Post and splicing systems
FERRETTI, CLAUDIO;MAURI, GIANCARLO;
2000
Abstract
In search for a universal splicing system, in this paper we present a Post system universal for the class of Post systems, and we discuss its translation into an extended splicing system with multiplicity. We also discuss the complexity of the resulting universal splicing system, comparing our result with recent known results about the translation of universal Turing machines into splicing systems.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
