Abstract
The informal notion of constructive dynamical space, inspired by biochemical systems, gives the perspective from which a transformation semigroup can be considered as a programming language. This perspective complements a longer-term mathematical investigation into different understandings of the nature of computation that we see as fundamentally important for the realization of a formal framework for interaction computing based on algebraic concepts and inspired by cell metabolism. The interaction computing perspective generalizes further the individual transformation semigroup or automaton as a constructive dynamical space driven by programming language constructs, to a constructive dynamical ‘meta-space’ of interacting sequential machines that can be combined to realize various types of interaction structures. This view is motivated by the desire to map the selforganizing abilities of biological systems to abstract computational systems by importing the algebraic properties of cellular processes into computer science formalisms. After explaining how semigroups can be seen as constructive dynamical spaces we show how John Rhodes’s formalism can be used to define an Interaction Machine and provide a conceptual discussion of its possible architecture based on Rhodes’s analysis of cell metabolism. We close the paper with preliminary results from the holonomy decomposition of the semigroups associated with two automata derived from the same p53-mdm2 regulatory pathway being investigated in other papers at this same conference, at two different levels of discretization.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Ashby, W.R.: An Introduction to Cybernetics. Chapman & Hall Ltd., London (1956), http://pespmci.vub.ac.be/books/IntroCyb.pdf
Banzhaf, W.: Artificial chemistries towards constructive dynamical systems. Solid State Phenomena, 97–98, 43–50 (2004)
Borges, J.L.: La biblioteca de Babel (The Library of Babel). El Jardin de senderos que se bifurcan. Editorial Sur. (1941)
Briscoe, G., Dini, P.: Towards Autopoietic Computing. In: Proceedings of the 3rd OPAALS International Conference, Aracaju, Sergipe, Brazil, March 22-23 (2010)
Dini, P., Briscoe, G., Van Leeuwen, I., Munro, A.J., Lain, S.: D1.3: Biological Design Patterns of Autopoietic Behaviour in Digital Ecosystems. OPAALS Deliverable, European Commission (2009), http://files.opaals.org/OPAALS/Year_3_Deliverables/WP01/
Dini, P., Horvath, G., Schreckling, D., Pfeffer, H.: D2.2.9: Mathematical Framework for Interaction Computing with Applications to Security and Service Choreography. BIONETS Deliverable, European Commission (2009), http://www.bionets.eu
Dini, P., Schreckling, D.: A Research Framework for Interaction Computing. In: Proceedings of the 3rd OPAALS International Conference, Aracaju, Sergipe, Brazil, March 22-23 (2010)
Dini, P., Schreckling, D., Yamamoto, L.: D2.2.4: Evolution and Gene Expression in BIONETS: A Mathematical and Experimental Framework. BIONETS Deliverable, European Commission (2008), http://www.bionets.eu
Egri-Nagy, A., Nehaniv, C.L., Rhodes, J.L., Schilstra, M.J.: Automatic Analysis of Computation in BioChemical Reactions. BioSystems 94(1-2), 126–134 (2008)
Egri-Nagy, A., Nehaniv, C.L., Schilstra, M.J.: Symmetry groups in biological networks. In: Information Processing in Cells and Tissues, IPCAT’09 Conference, April 5-9 (2009) (Journal preprint )
Egri-Nagy, A., Nehaniv, C.L.: Algebraic properties of automata associated to petri nets and applications to computation in biological systems. BioSystems 94(1-2), 135–144 (2008)
Egri-Nagy, A., Nehaniv, C.L.: SgpDec - software package for hierarchical coordi-natization of groups and semigroups, implemented in the GAP computer algebra system (2008), http://sgpdec.sf.net
Golding, D., Wegner, P.: The Church-Turing thesis: Breaking the myth. In: Computability in Europe (CiE) conference series (2005)
Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 2nd edn. Addison-Wesley Longman Publishing Co., Inc., Amsterdam (2001)
Horvath, G.: Functions and Polynomials over Finite Groups from the Computational Perspective. The University of Hertfordshire, PhD Dissertation (2008)
Horvath, G., Dini, P.: Lie Group Analysis of p53-mdm3 Pathway. In: Proceedings of the 3rd OPAALS International Conference, Aracaju, Sergipe, Brazil, March 22-23 (2010)
Krohn, K., Maurer, W.D., Rhodes, J.: Realizing complex boolean functions with simple groups. Information and Control 9(2), 190–195 (1966)
Krohn, K., Rhodes, J.: Algebraic theory of machines. I. Prime decomposition theorem for finite semigroups and machines. Transactions of the American Mathematical Society 116, 450–464 (1965)
Krohn, K., Rhodes, J.L., Tilson, B.R.: The prime decomposition theorem of the algebraic theory of machines. In: Arbib, M.A. (ed.) Algebraic Theory of Machines, Languages, and Semigroups, ch. 5, pp. 81–125. Academic Press, London (1968)
Lahti, J., Huusko, J., Miorandi, D., Bassbouss, L., Pfeffer, H., Dini, P., Horvath, G., Elaluf-Calderwood, S., Schreckling, D., Yamamoto, L.: D3.2.7: Autonomic Services within the BIONETS SerWorks Architecture. BIONETS Deliverable, European Commission (2009), http://www.bionets.eu
Rhodes, J.L.: Applications of Automata Theory and Algebra via the Mathematical Theory of Complexity to Biology, Physics, Psychology, Philosophy, and Games. World Scientific Press, Singapore (2009); foreword by Hirsch, M.W. edited by Nehaniv, C.L. (Original version: University of California at Berkeley, Mathematics Library, 1971)
Turing, A.: On Computable Numbers, with an Application to the Entschei-dungsproblem. Proceedings of the London Mathematical Society 42(2), 230–265 (1936); a correction. ibid 43, 544–546 (1937)
Van Leeuwen, I., Munro, A.J., Sanders, I., Staples, O., Lain, S.: Numerical and Experimental Analysis of the p53-mdm2 Regulatory Pathway. In: Proceedings of the 3rd OPAALS International Conference, Aracaju, Sergipe, Brazil, March 22-23 (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 ICST Institute for Computer Science, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
Egri-Nagy, A., Dini, P., Nehaniv, C.L., Schilstra, M.J. (2010). Transformation Semigroups as Constructive Dynamical Spaces. In: Antonio Basile Colugnati, F., Lopes, L.C.R., Barretto, S.F.A. (eds) Digital Ecosystems. OPAALS 2010. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 67. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-14859-0_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-14859-0_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-14858-3
Online ISBN: 978-3-642-14859-0
eBook Packages: Computer ScienceComputer Science (R0)