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. |
BayCEER Colloquium: |
---|
Th. 2024-04-25 now Perspectives and challenges in the restoration and conservation of two isolated habitats: gypsum and cliffs |
BayCEER Short Courses: |
Fr. 2024-04-26 Mobile Film Making Workshop (for students of BayCEER) |
Ecological-Botanical Garden: |
Fr. 2024-04-26 Aktion | Kräuterreich & regional: Backkunst im ÖBG (zus. mit HWK) |
Fr. 2024-04-26 Führung | Erdbeer-Minze und Zimmerknoblauch: Gewürzkräuter |
Su. 2024-04-28 Führung | Den Sängern auf der Spur: Vogelstimmen im ÖBG (zus. mit LBV) |