Druckansicht der Internetadresse:

Faculty for Biology, Chemistry, and Earth Sciences

Department of Ecological Modelling - Prof. Dr. Michael Hauhs

print page
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.
This site makes use of cookies More information