A Software Simulation of Transition P Systems in Haskell

Arroyo, Fernando; Luengo, Carmen; Baranda, Angel V.; López, Luis Fernando de Mingo

doi:10.1007/3-540-36490-0_2

Cited by 19 publications

(18 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Each membrane determines a region that encloses a multiset of objects and evolution rules. There are some published deals with parallel implementation of membrane systems ( [7], [8], [9]) and Hardware implementations ( [10], [11]), and software simulations ( [12], [13]). These systems perform its computations through transformation between two consecutive configurations (same as Turing machines model).…”

Section: P Systems Theorymentioning

confidence: 99%

A Membrane Turing Machine

Abdelaziz¹,

Badr²,

Farag³

2013

IJAIS

View full text Add to dashboard Cite

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.

show abstract

Section: P Systems Theorymentioning

confidence: 99%

A Membrane Turing Machine

Abdelaziz¹,

Badr²,

Farag³

2013

IJAIS

View full text Add to dashboard Cite

show abstract

“…According to this, the investigations are based on the idea of the imitation of the procedures that take place in Nature, and their application to machines, can lead to discover and to develop new computation models which will give place to a new generation of intelligent computers. There are many papers about software tools implementing different Psystem variants [4], [5] and [6]. However, they are very interesting in order to define hardware implementation of these kinds of systems.…”

Section: Theoretical Preliminaries On P-systemsmentioning

confidence: 99%

Circuit FPGA for Active Rules Selection in a Transition P System Region

Martínez

Gutiérrez

López

2009

Advances in Neuro-Information Processing

View full text Add to dashboard Cite

Abstract. P systems or Membrane Computing are a type of a distributed, massively parallel and non deterministic system based on biological membranes. These systems perform a computation through transition between two consecutive configurations. As it is well known in membrane computing, a configuration consists in a ra-tuple of multisets present at any moment in the existing m regions of the system at that moment time. Transitions between two configurations are performed by using evolution rules which are in each región of the system in a non-deterministic maximally parallel manner. This article shows the development of a hardware circuit of selection of active rules in a membrane of a transition P-system. This development has been researched by using the Quartus II tool of Altera Semiconductors. In the first place, the initial specifications are defined in orfer to outline the synthesis of the circuit of active rules selection. Later on the design and synthesis of the circuit will be shown, as well as, the operation tests required to present the obtained results.

show abstract

“…* 2 The Prolog simulator provides the facilities to build automatically the initial configuration and the set of rules for any instance of the SAT problem. Used rules in the step 0: [1] In this step only the first rule has been applied. We follow the evolution.…”

Section: The Prolog Representation Of This Initial Configuration Ismentioning

confidence: 99%

“…p1 :: e1 ec 0 at [] with [d6, d6, d6, d6] at_time 9 p1 :: e2 ec 1 at [1] with [r1_4, r2_4, r1_4, c1] at_time 9 p1 :: e2 ec 1 at [2] with [r1_4, c1] at_time 9 p1 :: e2 ec 1 at [3] with [r2_4, c1] at_time 9 p1 :: e2 ec 1 at [4] with [r1_4, r2_4, r2_4, c1] at_time 9 The synchronization stage has ended. In the next step the checking stage begins; it ends at time 13 (that is, 5n − 1 + 2m) when the element d10 appears in the skin region.…”

Section: The Prolog Representation Of This Initial Configuration Ismentioning

confidence: 99%

See 1 more Smart Citation

A Prolog simulator for deterministic P systems with active membranes

et al. 2004

View full text Add to dashboard Cite

In this paper we propose a new way to represent P systems with active membranes based on Logic Programming techniques. This representation allows us to express the set of rules and the configuration of the P system in each step of the evolution as literals of an appropriate language of first order logic. We provide a Prolog program to simulate the evolution of these P systems and present some auxiliary tools to simulate the evolution of a P system with active membranes using 2-division which solves the SAT problem following the techniques presented in 10). KeywordsLogic programming, Membrane computing, Simulation, Prolog, SAT-problem §1 IntroductionIn 5) , a new model of computation within the framework of Natural Computing was introduced, called P Systems.It is based upon the notion of membrane structure that is used to enclose computing cells in order to make them independent computing units. Also, a membrane serves as a communication channel between a given cell and other cells "adjacent" to it. This model comes from the observation that the processes

show abstract

A Software Simulation of Transition P Systems in Haskell

Cited by 19 publications

References 1 publication

A Membrane Turing Machine

A Membrane Turing Machine

Circuit FPGA for Active Rules Selection in a Transition P System Region

A Prolog simulator for deterministic P systems with active membranes

Contact Info

Product

Resources

About