A Membrane Turing Machine

Abstract

Membrane Computing (MC) (or P System theory) is a recent area of Natural Computing, the field of computer science that deals with computational techniques is inspired by the structure and functioning of living cells. P systems are massively parallel and distributed model of computation. Membrane Computing investigates models of computation inspired by the structure and functions of biological cells. There are some simulations models that have been developed but do not usually allow parallelism. Turing Machine (TM) and membrane computing are computation models; one of the main differences between them is the behavior of each other, since TM is algorithmic behavior while on the other hand Transition P Systems are Interactive computing behavior. This research investigates a Turing machine model of a special class of P system under a condition which is the rules are applied in a predefined order (which is applying rules priority). From this point of view, the P Systems could assume the same behavior of Turing machine in its sequential behavior. A single membrane can be considered as a machine (membrane devices) in the membrane structure of transition P Systems; hence the whole system of membrane structure consists of several machines that interact with each other. The interaction can be in the form of data passing. The aim of this research is designing a TM to simulate the behavior of a Transition P System. Also the research will show how Turing Machine can be partitioned into sub machines as well as the design of membrane machines can be partitioned into sub machines or sub modules.