Turning Block-Sequential Automata Networks into Smaller Parallel Networks with Isomorphic Limit Dynamics - Laboratoire d'informatique fondamentale de Marseille
Communication Dans Un Congrès Année : 2023

Turning Block-Sequential Automata Networks into Smaller Parallel Networks with Isomorphic Limit Dynamics

Sylvain Sené
  • Fonction : Auteur

Résumé

We state an algorithm that, given an automata network and a block-sequential update schedule, produces an automata network of the same size or smaller with the same limit dynamics under the parallel update schedule. Then, we focus on the family of automata cycles which share a unique path of automata, called tangential cycles, and show that a restriction of our algorithm allows to reduce any instance of these networks under a block-sequential update schedule into a smaller parallel network of the family and to characterize the number of reductions operated while conserving their limit dynamics. We also show that any tangential cycles reduced by our main algorithm are transformed into a network whose size is that of the largest cycle of the initial network. We end by showing that the restricted algorithm allows the direct characterization of block-sequential double cycles as parallel ones.
Fichier principal
Vignette du fichier
blocshort.pdf (340.57 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04440124 , version 1 (05-02-2024)

Identifiants

Citer

Pacôme Perrotin, Sylvain Sené. Turning Block-Sequential Automata Networks into Smaller Parallel Networks with Isomorphic Limit Dynamics. CiE 2023, Sep 2023, Ljubljana, Slovenia. pp.214-228, ⟨10.1007/978-3-031-36978-0_18⟩. ⟨hal-04440124⟩
204 Consultations
44 Téléchargements

Altmetric

Partager

More