Non-Determinism in Lindenmayer Systems and Global Transformations - Archive ouverte HAL
Communication Dans Un Congrès Année : 2022

Non-Determinism in Lindenmayer Systems and Global Transformations

Résumé

Global transformations provide a categorical framework for capturing synchronous rewriting systems, generalizing cellular automata to dynamical systems over dynamic spaces. Originally developed for addressing deterministic dynamical systems, the presented work raises the question of non-determinism. While a usual approach is to develop a general non-deterministic setting where deterministic systems can be retrieved as a specific case, we show here that by choosing the right parametrization, global transformations can already be used to handle non-determinism. Context-free Lindenmayer systems, already shown to be captured by global transformation in the deterministic case, are used to illustrate the approach. From this concrete example, the formal obstructions are exhibited, leading to a solution involving a 2-categorical monad and its associated Kleisli construction.
Fichier non déposé

Dates et versions

hal-03937324 , version 1 (13-01-2023)

Identifiants

Citer

Alexandre Fernandez, Luidnel Maignan, Antoine Spicher. Non-Determinism in Lindenmayer Systems and Global Transformations. 47th International Symposium on Mathematical Foundations of Computer Science (MFCS 2022), Stefan Szeider; Robert Ganian; Alexandra Silva, Aug 2022, Vienne, Austria. pp.49:1--49:13, ⟨10.4230/LIPIcs.MFCS.2022.49⟩. ⟨hal-03937324⟩
43 Consultations
0 Téléchargements

Altmetric

Partager

More