Spatially Localised Membrane Systems

• Autorzy: Csuhaj-Varjú E. , Gheorghe M. , Stannett M. , Vaszil G.

Identyfikatory

DOI

10.3233/FI-2015-1207

• Języki publikacji: EN

Abstrakty

EN

In this paper we investigate the use of general topological spaces in connection with a generalised variant of membrane systems. We provide an approach which produces a fine grain description of local operations occurring simultaneously in sets of compartments of the system by restricting the interactions between objects. This restriction is given by open sets of a topology and multisets of objects associated with them, which dynamically change during the functioning of the system and which together define a notion of vicinity for the objects taking part in the interactions.

Słowa kluczowe

EN

membrane systems; computational power; topology; open sets

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2015
• Tom: Vol. 138, nr 1/2
• Strony: 193--205
• Opis fizyczny: Bibliogr. 12 poz.

Twórcy

autor

Csuhaj-Varjú E.

• Department of Algorithms and Their Applications Faculty of Informatics, Eötvös Loránd University Pázmány Péter sétány 1/c, 1117 Budapest, Hungary

autor

Gheorghe M.

• Department of Computer Science, University of Sheffield Regent Court, 211 Portobello, Sheffield S1 4DP, United Kingdom

autor

Stannett M.

• Department of Computer Science, University of Sheffield Regent Court, 211 Portobello, Sheffield S1 4DP, United Kingdom

autor

Vaszil G.

• Department of Computer Science Faculty of Informatics, University of Debrecen Kassai ´ut 26, 4028 Debrecen, Hungary

Bibliografia

• [1] Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Pardini, G.: Simulation of spatial P system models, Theoretical Computer Science, 529, 2014, 11–45.
• [2] Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Pardini, G., Tesei, L.: Spatial P systems, Natural Computing, 10, 2011, 3–16.
• [3] Ciobanu, G., Păun, G., Pérez-Jiménez,M. J., Eds.: Applications of Membrane Computing, Natural Computing, Springer, Berlin-Heidelberg-New York, 2006.
• [4] Csuhaj-Varjú, E., Gheorghe, M., Stannett, M.: P systems controlled by general topologies, in: The 11-th International Conference on Unconventional Computation and Natural Computation, vol. 7445 of Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, 2012, 70–81.
• [5] Freund, R., Verlan, S.: A formal framework for static (tissue) P systems, in: The 8-thWorkshop onMembrane Computing, vol. 4860 of Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, 2007, 271–284.
• [6] Giavitto, J.: Topological collections, transformations and their applications to the modeling and simulation of dynamical systems, in: The 14-th International Conference on Rewriting Techniques and Applications, vol. 2706 of Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, 2003, 208–233.
• [7] Giavitto, J., Michel, O.: The topological structures of membrane computing, Fundamenta Informaticae, 49(1–3), 2002, 123–145.
• [8] Giavitto, J., Spicher, A.: Topological Rewriting and the Geometrization of Programming, Physica D, 237, 2008, 1302–1314.
• [9] Mihálydeák, T., Csajbók, Z.: Membranes with boundaries, in: The 13-th International Conference on Membrane Computing, vol. 7762 of Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, 2013, 277–294.
• [10] Nicolescu, R.: Parallel and distributed algorithms in P systems, in: The 12-th International Conference, CMC 2011, vol. 7184 of Lecture Notes in Computer Science, Springer, Berlin/Heidelberg, 2012, 35–50.
• [11] Păun, G., Rozenberg, G., Salomaa, A., Eds.: The Oxford Handbook of Membrane Computing, Oxford Handbooks in Mathematics, OUP, Oxford, 2009, ISBN 978-0-19-955667-0.
• [12] Willard, S.: General Topology, Dover Publications Inc., Mineola, NY, 2004