A Formalization of Transition P Systems

• Autorzy: Jiménez M.J. , Sancho-Caparrini F.
• Języki publikacji: EN

Abstrakty

EN

In this paper we give a complete formalization of a new computability model of a distributed parallel type which is inspired by some basic features of living cells: transition P systems as they were given in [3], addressed with completely different techniques than in [1] and [2]. For this, we present a formal syntax and semantic of the transition P systems capturing the synchronized work of P systems, and the nondeterministic and maximally parallel manner in which the rules of these systems can be applied.

Słowa kluczowe

EN

natural computing; P systems; formal verification

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2002
• Tom: Vol. 49, nr 1-3
• Strony: 261--272
• Opis fizyczny: bibliogr. 6 poz.

Twórcy

autor

Jiménez M.J.

autor

Sancho-Caparrini F.

• Dpto Ciencias de la Computacion e Inteligencia Artificial, Universidad de Sevilla, Espana,

Bibliografia

• [1] A. V. Baranda, J. Castellanos, F. Arroyo, R. Gonzalo, Towards an electronic implementation of membrane computing : A formal description of nondeterministic evolution in transition P systems, Proc. 7th Intern. Meeting on D NA Based Computers (N. Jonoska, N .C. Seeman, eds.), Tampa, Florida, USA, 2001,273-282.
• [2] A. Obtulowicz, Membrane computing and one-way functions, Intern. J. Found. Com puter Sci., 12 ,4 (2001), 551-5 58.
• [3] Gh. Paun, Computing with membranes, Journal of Computer and System Sciences, 61, 1 (2000), 108-143, and Turku Center for Computer Science-TUCS Report No 208, 1998 (www.tuc s.fi).
• [4] Gh. Paun, G. Rozenberg, A guide to membrane computing. Theoretical Computer Science, to appear.
• [5] Gh. Paun, Further research topics about P systems, Pre-Proceedings of Workshop on Membrane Computing, Curtea de Arge§, Romania, August 2001, Technical Report 17/01 of Research Group on Mathematical Linguistics, Rovira i Virgili University, Tarragona, Spain, 2001,243-250.
• [6] h t t p : //bioinformatics.bio.disco.unimib.it/psystems