Skip to main content

2015 | OriginalPaper | Buchkapitel

On the Power of Catalytic P Systems with One Catalyst

verfasst von : Rudolf Freund, Petr Sosík

Erschienen in: Membrane Computing

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

We show that catalytic P systems with one catalyst can simulate partially blind register machines and partially blind counter automata. To demonstrate their capability, we also present an example of a P automaton with one catalyst accepting a language with non-semilinear Parikh image as well as an example of a P system with one catalyst generating a non-semilinear vector set.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Alhazov, A., Freund, R.: Small P systems defining non-semilinear sets. In: Adamatzky, A. (ed.) Automata, Universality, Computation. ECC, vol. 12, pp. 185–221. Springer, Heidelberg (2015) Alhazov, A., Freund, R.: Small P systems defining non-semilinear sets. In: Adamatzky, A. (ed.) Automata, Universality, Computation. ECC, vol. 12, pp. 185–221. Springer, Heidelberg (2015)
2.
Zurück zum Zitat Alhazov, A., Freund, R.: Small catalytic P systems. In: Workshop on Membrane Computing at UCNC, Auckland (2015) Alhazov, A., Freund, R.: Small catalytic P systems. In: Workshop on Membrane Computing at UCNC, Auckland (2015)
3.
Zurück zum Zitat Alhazov, A., Freund, R.: P systems with toxic objects. In: Gheorghe, M., Rozenberg, G., Salomaa, A., Sosík, P., Zandron, C. (eds.) CMC 2014. LNCS, vol. 8961, pp. 99–125. Springer, Heidelberg (2014)CrossRef Alhazov, A., Freund, R.: P systems with toxic objects. In: Gheorghe, M., Rozenberg, G., Salomaa, A., Sosík, P., Zandron, C. (eds.) CMC 2014. LNCS, vol. 8961, pp. 99–125. Springer, Heidelberg (2014)CrossRef
4.
5.
Zurück zum Zitat Csuhaj-Varjú, E., Vaszil, Gy.: P automata or purely communicating accepting P systems. In: Paun, Gh., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) WMC 2002. LNCS, vol. 2597, pp. 219–233. Springer, Heidelberg (2003) Csuhaj-Varjú, E., Vaszil, Gy.: P automata or purely communicating accepting P systems. In: Paun, Gh., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) WMC 2002. LNCS, vol. 2597, pp. 219–233. Springer, Heidelberg (2003)
6.
Zurück zum Zitat Freund, R., Kari, L., Oswald, M., Sosík, P.: Computationally universal P systems without priorities: two catalysts are sufficient. Theor. Comput. Sci. 330(2), 251–266 (2005)MATHCrossRef Freund, R., Kari, L., Oswald, M., Sosík, P.: Computationally universal P systems without priorities: two catalysts are sufficient. Theor. Comput. Sci. 330(2), 251–266 (2005)MATHCrossRef
7.
Zurück zum Zitat Freund, R., Leporati, A., Mauri, G., Porreca, A.E., Verlan, S., Zandron, C.: Flattening in (Tissue) P systems. In: Alhazov, A., Cojocaru, S., Gheorghe, M., Rogozhin, Y., Rozenberg, G., Salomaa, A. (eds.) CMC 2013. LNCS, vol. 8340, pp. 173–188. Springer, Heidelberg (2014)CrossRef Freund, R., Leporati, A., Mauri, G., Porreca, A.E., Verlan, S., Zandron, C.: Flattening in (Tissue) P systems. In: Alhazov, A., Cojocaru, S., Gheorghe, M., Rogozhin, Y., Rozenberg, G., Salomaa, A. (eds.) CMC 2013. LNCS, vol. 8340, pp. 173–188. Springer, Heidelberg (2014)CrossRef
8.
Zurück zum Zitat Freund, R., Oswald, M.: A short note on analysing P systems. Bull. EATCS 78, 231–236 (2002)MATHMathSciNet Freund, R., Oswald, M.: A short note on analysing P systems. Bull. EATCS 78, 231–236 (2002)MATHMathSciNet
9.
Zurück zum Zitat Gheorghe, M., Rozenberg, G., Salomaa, A., Sosík, P., Zandron, C. (eds.): CMC 2014. LNCS, vol. 8961. Springer, Heidelberg (2014)MATH Gheorghe, M., Rozenberg, G., Salomaa, A., Sosík, P., Zandron, C. (eds.): CMC 2014. LNCS, vol. 8961. Springer, Heidelberg (2014)MATH
10.
Zurück zum Zitat Sheila, A.: Greibach: remarks on blind and partially blind one-way multicounter machines. Theor. Comput. Sci. 7, 311–324 (1978)CrossRef Sheila, A.: Greibach: remarks on blind and partially blind one-way multicounter machines. Theor. Comput. Sci. 7, 311–324 (1978)CrossRef
11.
Zurück zum Zitat Minsky, M.L.: Computation: Finite and Infinite Machines. Prentice Hall, Englewood Cliffs (1967)MATH Minsky, M.L.: Computation: Finite and Infinite Machines. Prentice Hall, Englewood Cliffs (1967)MATH
12.
Zurück zum Zitat Paun, Gh.: Computing with membranes. J. Comput. Syst. Sci. 61, 108–143 (2000). also see TUCS Report 208, 1998, www.tucs.fi Paun, Gh.: Computing with membranes. J. Comput. Syst. Sci. 61, 108–143 (2000). also see TUCS Report 208, 1998, www.​tucs.​fi
13.
Zurück zum Zitat Paun, Gh.: Membrane Computing. An Introduction. Springer, Heidelberg (2002) Paun, Gh.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)
14.
Zurück zum Zitat Paun, Gh., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press, New York (2010) Paun, Gh., Rozenberg, G., Salomaa, A. (eds.): The Oxford Handbook of Membrane Computing. Oxford University Press, New York (2010)
15.
Zurück zum Zitat Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, vol. 3. Springer, Heidelberg (1997)MATH Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, vol. 3. Springer, Heidelberg (1997)MATH
16.
Zurück zum Zitat Sosík, P., Matýsek, J.: Membrane computing: when communication is enough. In: Calude, C.S., Dinneen, M.J., Peper, F. (eds.) UMC 2002. LNCS, vol. 2509, pp. 264–275. Springer, Heidelberg (2002)CrossRef Sosík, P., Matýsek, J.: Membrane computing: when communication is enough. In: Calude, C.S., Dinneen, M.J., Peper, F. (eds.) UMC 2002. LNCS, vol. 2509, pp. 264–275. Springer, Heidelberg (2002)CrossRef
Metadaten
Titel
On the Power of Catalytic P Systems with One Catalyst
verfasst von
Rudolf Freund
Petr Sosík
Copyright-Jahr
2015
DOI
https://doi.org/10.1007/978-3-319-28475-0_10

Premium Partner