Abstract
In this paper, we introduce graph-based reaction systems as a generalization of set-based reaction systems, a novel and well-investigated model of interactive computation. Graph-based reaction systems allow us to introduce a novel methodology for graph transformation, which is not based on the traditional “cut, add, and paste” approach, but rather on moving within a “universe” graph B (surfing on B) from a subgraph of B to a subgraph of B, creating subgraph trajectories within B. We illustrate this approach by small case studies: simulating finite state automata, implementing a shortest paths algorithm, and simulating cellular automata.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Abdessaied, N., Drechsler, R.: Reversible and Quantum Circuits: Optimization and Complexity Analysis. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-31937-7
Bottoni, P., Labella, A., Rozenberg, G.: Networks of reaction systems. Int. J. Found. Comput. Sci. (2018, to appear)
Brijder, R., Ehrenfeucht, A., Main, M.G., Rozenberg, G.: A tour of reaction systems. Int. J. Found. Comput. Sci. 22(7), 1499–1517 (2011)
Drewes, F., Habel, A., Kreowski, H.-J.: Hyperedge replacement graph grammars (Chap. 2). In: Rozenberg, G. (ed.) Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, vol. 1, pp. 95–162. World Scientific Publishing Co., Singapore (1997)
Ehrenfeucht, A., Main, M.G., Rozenberg, G.: Combinatorics of life and death for reaction systems. Int. J. Found. Comput. Sci. 21(3), 345–356 (2010)
Ehrenfeucht, A., Main, M.G., Rozenberg, G.: Functions defined by reaction systems. Int. J. Found. Comput. Sci. 22(1), 167–178 (2011)
Ehrenfeucht, A., Petre, I., Rozenberg, G.: Reaction systems: a model of computation inspired by the functioning of the living cell. In: Konstantinidis, S., Moreira, N., Reis, R., Shallit, J. (eds.) The Role of Theory in Computing, pp. 11–32. World Scientific Publishing Co., Singapore (2017)
Ehrenfeucht, A., Rozenberg, G.: Events and modules in reaction systems. Theoret. Comput. Sci. 376(1–2), 3–16 (2007)
Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundamenta Informaticae 75(1–4), 263–280 (2007)
Ehrenfeucht, A., Rozenberg, G.: Introducing time in reaction systems. Theoret. Comput. Sci. 410(4–5), 310–322 (2009)
Ehrenfeucht, A., Rozenberg, G.: Zoom structures and reaction systems yield exploration systems. Int. J. Found. Comput. Sci. 25(4–5), 275–305 (2014)
Ehrig, H.: Introduction to the algebraic theory of graph grammars (a survey). In: Claus, V., Ehrig, H., Rozenberg, G. (eds.) Graph Grammars 1978. LNCS, vol. 73, pp. 1–69. Springer, Heidelberg (1979). https://doi.org/10.1007/BFb0025714
Ehrig, H., Kreowski, H.-J., Montanari, U., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation: Concurrency, Parallelism, and Distribution, vol. 3. World Scientific Publishing Co., Singapore (1999)
Formenti, E., Manzoni, L., Porreca, A.E.: Fixed points and attractors of reaction systems. In: Beckmann, A., Csuhaj-Varjú, E., Meer, K. (eds.) CiE 2014. LNCS, vol. 8493, pp. 194–203. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-08019-2_20
Grünbaum, B., Shephard, G.C.: Tilings and Patterns. W. H. Freeman, New York (1987)
Janssens, D., Rozenberg, G.: Graph grammars with neighbourhood-controlled embedding. Theoret. Comput. Sci. 21, 55–74 (1982)
Kari, J.: Theory of cellular automata: a survey. Theoret. Comput. Sci. 334(1–3), 3–33 (2005)
von Neumann, J.: The general and logical theory of automata. In: Jeffress, L. (ed.) Cerebral Mechanisms in Behavior - The Hixon Symposium. Wiley, New York (1951)
Peitgen, H., Jürgens, H., Saupe, D.: Chaos and Fractals: New Frontiers of Science. Springer, Berlin (2004). https://doi.org/10.1007/b97624
Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, vol. 1. World Scientific Publishing Co., Singapore (1997)
Salomaa, A.: Functions and sequences generated by reaction systems. Int. J. Found. Comput. Sci. 466(4–5), 87–96 (2012)
Salomaa, A.: On state sequences defined by reaction systems. In: Constable, R.L., Silva, A. (eds.) Logic and Program Semantics. LNCS, vol. 7230, pp. 271–282. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-29485-3_17
Acknowledgement
We are grateful to the anonymous reviewers for their helpful comments.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Kreowski, HJ., Rozenberg, G. (2018). Graph Surfing by Reaction Systems. In: Lambers, L., Weber, J. (eds) Graph Transformation. ICGT 2018. Lecture Notes in Computer Science(), vol 10887. Springer, Cham. https://doi.org/10.1007/978-3-319-92991-0_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-92991-0_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-92990-3
Online ISBN: 978-3-319-92991-0
eBook Packages: Computer ScienceComputer Science (R0)