Structural Operational Semantics for Cellular Automata
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.
KeywordsCellular Automaton Category Theory Operational Semantic Structural Operational Semantic Moore Automaton
Unable to display preview. Download preview PDF.
- 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
- 5.Plotkin, G.D.: A structural approach to operational semantics. Tech. Rep. DAIMI FN-19, Computer Science, Aarhus University, Denmark (1981)Google Scholar
- 6.Plotkin, G.D.: The origins of structural operational semantics. J. Log. Algebr. Program, 60–61, 3–15 (2004)Google Scholar
- 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