Structural Operational Semantics for Cellular Automata

  • Baltasar Trancón y. Widemann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7495)


The structural operational semantics approach to the dynamic meaning of formal models has been immensely influential as a foundation of both theoretical calculi and practical programming languages, and is a viable alternative to automata-oriented approaches. We report on an effort to apply the approach to cellular automata, in particular of the two-dimensional, regular finite grid kind that underlies many agent-based simulation models. We summarize previous, intensively category-theoretic work in more general terms, and discuss how various interesting properties are made (more) explicit by the semantical analysis of cellular automata in terms of novel mathematical structures.


Cellular Automaton Category Theory Operational Semantic Structural Operational Semantic Moore Automaton 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Capobianco, S., Uustalu, T.: A categorical outlook on cellular automata. In: Kari, J. (ed.) Proceedings 2nd Symposium on Cellular Automata (JAC 2010), pp. 88–99. Turku Center for Computer Science (2010)Google Scholar
  2. 2.
    Jaskelioff, M., Ghani, N., Hutton, G.: Modularity and implementation of mathematical operational semantics. Electronic Notes in Theoretical Computer Science 229(5), 75–95 (2011)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Klin, B.: Bialgebras for structural operational semantics: an introduction. Theoretical Computer Science 412(38), 5043–5069 (2011)MathSciNetMATHCrossRefGoogle Scholar
  4. 4.
    Moggi, E.: Notions of computation and monads. Information and Computation 93(1), 55–92 (1991)MathSciNetMATHCrossRefGoogle Scholar
  5. 5.
    Plotkin, G.D.: A structural approach to operational semantics. Tech. Rep. DAIMI FN-19, Computer Science, Aarhus University, Denmark (1981)Google Scholar
  6. 6.
    Plotkin, G.D.: The origins of structural operational semantics. J. Log. Algebr. Program, 60–61, 3–15 (2004)Google Scholar
  7. 7.
    Rutten, J.: Universal coalgebra: a theory of systems. Theoretical Computer Science 249(1), 3–80 (2000)MathSciNetMATHCrossRefGoogle Scholar
  8. 8.
    Trancón y Widemann, B., Hauhs, M.: Distributive-Law Semantics for Cellular Automata and Agent-Based Models. In: Corradini, A., Klin, B., Cîrstea, C. (eds.) CALCO 2011. LNCS, vol. 6859, pp. 344–358. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  9. 9.
    Turi, D., Plotkin, G.D.: Towards a mathematical operational semantics. In: Proceedings 12th International Conference on Logic in Computer Science (LICS 1997), pp. 280–291. IEEE (1997)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Baltasar Trancón y. Widemann
    • 1
  1. 1.Computer Science & Ecological ModellingUniversity of BayreuthGermany

Personalised recommendations