Druckansicht der Internetadresse:

Fakultät für Biologie, Chemie und Geowissenschaften

Lehrstuhl für Ökologische Modellbildung - Prof. Dr. Michael Hauhs

Seite drucken
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.
FacebookTwitterYoutube-KanalBlogKontakt aufnehmen
Diese Webseite verwendet Cookies. weitere Informationen