Skip to main content

2017 | OriginalPaper | Buchkapitel

Purely Catalytic P Systems over Integers and Their Generative Power

verfasst von : Artiom Alhazov, Omar Belingheri, Rudolf Freund, Sergiu Ivanov, Antonio E. Porreca, Claudio Zandron

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 further investigate the computing power of the recently introduced P systems with \(\mathbb Z\)-multisets (also known as hybrid sets) as generative devices. These systems apply catalytic rules in the maximally parallel way, even consuming absent non-catalysts, thus effectively generating vectors of arbitrary (not just non-negative) integers. The rules may only be made inapplicable by dissolution rules. However, this releases the catalysts into the immediately outer region, where new rules might become applicable to them. We discuss the generative power of this model. Finally, we consider the variant with mobile catalysts.

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., Aman, B., Freund, R., Păun, G.: Matter and anti-matter in membrane systems. In: Jürgensen, H., Karhumäki, J., Okhotin, A. (eds.) DCFS 2014. LNCS, vol. 8614, pp. 65–76. Springer, Heidelberg (2014). doi:10.1007/978-3-319-09704-6_7 Alhazov, A., Aman, B., Freund, R., Păun, G.: Matter and anti-matter in membrane systems. In: Jürgensen, H., Karhumäki, J., Okhotin, A. (eds.) DCFS 2014. LNCS, vol. 8614, pp. 65–76. Springer, Heidelberg (2014). doi:10.​1007/​978-3-319-09704-6_​7
2.
Zurück zum Zitat Alhazov, A., Belingheri, O., Freund, R., Ivanov, S., Porreca, A.E., Zandron, C.: Semilinear sets, register machines, and integer vector addition (P) systems. In: Leporati, A., Zandron, C. (eds.) Proceedings of the Seventeenth International Conference on Membrane Computing (CMC17), 25–29 July 2016, Milan, Italy, pp. 39–56. Università degli Studi di Milano-Bicocca (2016) Alhazov, A., Belingheri, O., Freund, R., Ivanov, S., Porreca, A.E., Zandron, C.: Semilinear sets, register machines, and integer vector addition (P) systems. In: Leporati, A., Zandron, C. (eds.) Proceedings of the Seventeenth International Conference on Membrane Computing (CMC17), 25–29 July 2016, Milan, Italy, pp. 39–56. Università degli Studi di Milano-Bicocca (2016)
3.
Zurück zum Zitat Belingheri, O., Porreca, A.E., Zandron, C.: P systems with hybrid sets. In: Gheorghe, M., Konur, S. (eds.) Proceedings of the Workshop on Membrane Computing WMC 2016, Manchester (UK), 11–15 July 2016. School of Electrical Engineering and Computer Science, University of Bradford, Bradford, BD7 1DP, UK. Technical Report UB-20160819-1, pp. 34–41. University of Bradford (2016) Belingheri, O., Porreca, A.E., Zandron, C.: P systems with hybrid sets. In: Gheorghe, M., Konur, S. (eds.) Proceedings of the Workshop on Membrane Computing WMC 2016, Manchester (UK), 11–15 July 2016. School of Electrical Engineering and Computer Science, University of Bradford, Bradford, BD7 1DP, UK. Technical Report UB-20160819-1, pp. 34–41. University of Bradford (2016)
4.
Zurück zum Zitat Carette, J., Sexton, A.P., Sorge, V., Watt, S.M.: Symbolic domain decomposition. In: Autexier, S., Calmet, J., Delahaye, D., Ion, P.D.F., Rideau, L., Rioboo, R., Sexton, A.P. (eds.) CICM 2010. LNCS (LNAI), vol. 6167, pp. 172–188. Springer, Heidelberg (2010). doi:10.1007/978-3-642-14128-7_16 CrossRef Carette, J., Sexton, A.P., Sorge, V., Watt, S.M.: Symbolic domain decomposition. In: Autexier, S., Calmet, J., Delahaye, D., Ion, P.D.F., Rideau, L., Rioboo, R., Sexton, A.P. (eds.) CICM 2010. LNCS (LNAI), vol. 6167, pp. 172–188. Springer, Heidelberg (2010). doi:10.​1007/​978-3-642-14128-7_​16 CrossRef
5.
Zurück zum Zitat Freund, R., Ibarra, O., Păun, G., Yen, H.C.: Matrix languages, register machines, vector addition systems. In: Naranjo, M.A.G., Riscos-Núñez, A., Romero-Campero, F.J., Sburlan, D. (eds.) Third Brainstorming Week on Membrane Computing, pp. 155–167. Fénix Editora, Sevilla, España (2005) Freund, R., Ibarra, O., Păun, G., Yen, H.C.: Matrix languages, register machines, vector addition systems. In: Naranjo, M.A.G., Riscos-Núñez, A., Romero-Campero, F.J., Sburlan, D. (eds.) Third Brainstorming Week on Membrane Computing, pp. 155–167. Fénix Editora, Sevilla, España (2005)
6.
Zurück zum Zitat Freund, R., Ivanov, S., Verlan, S.: P systems with generalized multisets over totally ordered abelian groups. In: Rozenberg, G., Salomaa, A., Sempere, J.M., Zandron, C. (eds.) CMC 2015. LNCS, vol. 9504, pp. 117–136. Springer, Heidelberg (2015). doi:10.1007/978-3-319-28475-0_9 CrossRef Freund, R., Ivanov, S., Verlan, S.: P systems with generalized multisets over totally ordered abelian groups. In: Rozenberg, G., Salomaa, A., Sempere, J.M., Zandron, C. (eds.) CMC 2015. LNCS, vol. 9504, pp. 117–136. Springer, Heidelberg (2015). doi:10.​1007/​978-3-319-28475-0_​9 CrossRef
7.
Zurück zum Zitat Greibach, S.A.: Remarks on blind and partially blind one-way multicounter machines. Theoret. Comput. Sci. 7(3), 311–324 (1978)MathSciNetCrossRefMATH Greibach, S.A.: Remarks on blind and partially blind one-way multicounter machines. Theoret. Comput. Sci. 7(3), 311–324 (1978)MathSciNetCrossRefMATH
8.
Zurück zum Zitat Haase, C., Halfon, S.: Integer vector addition systems with states. In: Ouaknine, J., Potapov, I., Worrell, J. (eds.) RP 2014. LNCS, vol. 8762, pp. 112–124. Springer, Heidelberg (2014). doi:10.1007/978-3-319-11439-2_9 Haase, C., Halfon, S.: Integer vector addition systems with states. In: Ouaknine, J., Potapov, I., Worrell, J. (eds.) RP 2014. LNCS, vol. 8762, pp. 112–124. Springer, Heidelberg (2014). doi:10.​1007/​978-3-319-11439-2_​9
9.
Zurück zum Zitat Hopcroft, J., Pansiot, J.J.: On the reachability problem for 5-dimensional vector addition systems. Theoret. Comput. Sci. 8(2), 135–159 (1979)MathSciNetCrossRefMATH Hopcroft, J., Pansiot, J.J.: On the reachability problem for 5-dimensional vector addition systems. Theoret. Comput. Sci. 8(2), 135–159 (1979)MathSciNetCrossRefMATH
10.
Zurück zum Zitat Krishna, S.N., Păun, A.: Results on catalytic and evolution-communication P systems. New Gener. Comput. 22(4), 377–394 (2004)CrossRefMATH Krishna, S.N., Păun, A.: Results on catalytic and evolution-communication P systems. New Gener. Comput. 22(4), 377–394 (2004)CrossRefMATH
13.
Zurück zum Zitat Păun, G., Rozenberg, G., Salomaa, A.: The Oxford Handbook of Membrane Computing. Oxford University Press Inc., New York (2010)CrossRefMATH Păun, G., Rozenberg, G., Salomaa, A.: The Oxford Handbook of Membrane Computing. Oxford University Press Inc., New York (2010)CrossRefMATH
Metadaten
Titel
Purely Catalytic P Systems over Integers and Their Generative Power
verfasst von
Artiom Alhazov
Omar Belingheri
Rudolf Freund
Sergiu Ivanov
Antonio E. Porreca
Claudio Zandron
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-54072-6_5

Premium Partner