Using well-structured transition systems to decide divergence for catalytic P systems

Theoretical Computer Science

Volumn 372, Issue 2-3, 2007, Pages 125-135

  Busi, Nadia ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Catalytic P system; Decidability; Membrane computing; Well structured transition system

Indexed keywords

CELL MEMBRANES; COMPUTABILITY AND DECIDABILITY; MATHEMATICAL MODELS; MEDICAL COMPUTING; PROBLEM SOLVING;

CATALYTIC P SYSTEMS; DIVERGENCE PROBLEMS; INFINITE COMPUTATION; MEMBRANE COMPUTING; WELL STRUCTURED TRANSITION SYSTEMS;

CATALYSTS;

EID: 33847143168     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2006.11.021     Document Type: Article

References (16)

1. Calude C.S., and Pǎun G. Computing with Cells and Atoms (2001), Taylor & Francis, London
2. Dassow J., and Pǎun G. On the power of membrane computing. Journal of University of Computer Science 5 2 (1999)
3. Finkel A., and Schnoebelen Ph. Well-structured transition systems everywhere!. Theoretical Computer Science 256 (2001) 63-92
4. Freund R., Kari L., Oswald M., and Sosik P. Computationally universal P systems without priorities: Two catalysts are sufficient. Theoretical Computer Science 330 (2005)
5. R. Freund, M. Oswald, P. Sosik, Reducing the number of catalysts needed in computationally universal systems without priorities, in: Proc. Fifth International Workshop on Descriptional Complexity of Formal Systems, Budapest, 2003
6. R. Freund, G. Pǎun, On deterministic P systems, manuscript, 2003. See the Milano webpage [16]
7. Ibarra O.H., and Yen H.-C. On deterministic catalytic P systems. Proc. 10th International Conference on Implementation and Application of Automata. CIAA2205. LNCS vol. 3845 (2005), Springer
8. Ibarra O.H., and Yen H.-C. Deterministic catalytic systems are not universal. Theoretical Computer Science 363 2 (2006) 149-161
9. Minsky M.L. Computation: Finite and Infinite Machines (1967), Prentice-Hall, Englewood Cliffs
10. Pǎun G. Computing with membranes: An introduction. Bulletin of the European Association for Theoretical Computer Science 67 (1999)
11. Pǎun G. Computing with membranes. Journal of Computer and System Sciences 61 1 (2000) 108-143
12. Pǎun G. Membrane Computing. An Introduction (2002), Springer
13. G. Pǎun, Further twenty-six open Problems in Membrane Computing, in: Proc. Third Brainstorming Week on Membrane Computing, Sevilla, 2005
14. Sosik P. The power of catalysts and priorities in membrane systems. Grammars 1 6 (2003)
15. Sosik P., and Freund R. P Systems without priorities are computationally universal. Proc. Membrane Computing. International Workshop. WMC-CdeA 2002. LNCS vol. 2597 (2003), Springer
16. P Systems webpage, http://pbsystems.disco.unimib.it