Trancón y Widemann, B: Structural operational semantics for cellular automata, Lecture Notes in Computer Science, 7495, 184-193 (2012), doi:10.1007/978-3-642-33350-7_19 | |
Abstract: 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. |