A MzScheme implementation of transition P systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2597, Issue , 2003, Pages 58-73

  Balbontín Noval, Delia ^a   Pérez Jiménez, Mario J ^a   Sancho Caparrini, Fernando ^a  

^a UNIVERSITY OF SEVILLE   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

BIOINFORMATICS;

COMPUTATION TREES; P SYSTEMS; TRANSITION P SYSTEM;

FORMAL LANGUAGES;

EID: 5044246623     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36490-0_5     Document Type: Article

References (6)

1. Gh. Pǎun, Computing with membranes, Journal of Computer and System Sciences, 61, 1 (2000), 108-143,
2. and Turku Center for Computer Science-TUCS Report No 208, 1998 (www.tucs.fi).
3. Gh. Pǎun, G. Rozenberg, A guide to membrane computing, Theoretical Computer Science, 287, 1 (2002), 73-100.
4. M. J. Pérez-Jiménez, F. Sancho-Caparrini. A formalization of transition P systems. Fundamenta Informaticae, 49, 1-3 (2002), 261-272.
5. M. J. Pérez-Jiménez, F. Sancho-Caparrini. Verifying a P system generating squares. Romanian Journal of Information Science and Technology, 5, 2-3 (2002), 181-191.
6. MzScheme Home Page. http://www.cs.rice.edu/CS/PLT/packages/mzscheme/