JUCS - Journal of Universal Computer Science 6(1): 178-193, doi: 10.3217/jucs-006-01-0178
Simulating H Systems by P Systems
expand article infoGheorghe Paun, Takashi Yokomori§
‡ Institute of Mathematics of the Romanian Academy, Bucharest, Romania§ Department of Mathematics, School of Education, Waseda University, Tokyo, Japan
Open Access
Abstract
H systems are DNA computing models, based on the operation of splicing. P systems are membrane computing models, where objects can evolve in parallel in a hierarchical membrane structure. In particular, the objects can be strings and the evolution rules can be based on splicing. Both H systems with certain controls on the use of splicing rules and P systems of various types are known to be computationally universal, that is, they characterize the recursively ennumerable languages. So, they are equivalent as the generative power. The present paper presents a direct simulation of some controlled H systems by splicing P systems. We achieve this goal for three basic regulation mechanisms: H systems with permitting contexts, H systems with forbidding contexts, and communicating distributed H systems. We can say that in this way we get a uniform implementation of the three types of H systems in the form of a computing cell. 1 C.S.Calude and G.Stefanescu (eds.). Automata, Logic, and Computability. Special issue dedicated to Professor Sergiu Rudeanu Festschrift.
Keywords
H systems, splicing rule, universal models of computation