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 Short Courses: |
---|
Fr. 26.04.2024 aktuell Mobile Film Making Workshop (for students of BayCEER) |
Ökologisch-Botanischer Garten: |
Fr. 26.04.2024 aktuell Aktion | Kräuterreich & regional: Backkunst im ÖBG (zus. mit HWK) |
Fr. 26.04.2024 aktuell Führung | Erdbeer-Minze und Zimmerknoblauch: Gewürzkräuter |
So. 28.04.2024 Führung | Den Sängern auf der Spur: Vogelstimmen im ÖBG (zus. mit LBV) |
So. 05.05.2024 Führung | Faszination Englische Gärten: Gestaltung und Pflanzen |