Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
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
Wydawca
Czasopismo
Rocznik
Tom
Strony
261--272
Opis fizyczny
bibliogr. 6 poz.
Twórcy
autor
autor
- Dpto Ciencias de la Computacion e Inteligencia Artificial, Universidad de Sevilla, Espana, Mario.Perez,Fernando.Sancho@cs.us.es
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
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS2-0003-0115