Turning Block-Sequential Automata Networks into Smaller Parallel Networks with Isomorphic Limit Dynamics - Laboratoire d'informatique fondamentale de Marseille Access content directly
Conference Papers Year : 2023

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

Sylvain Sené
  • Function : Author

Abstract

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
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

Cite

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⟩
44 View
10 Download

Altmetric

Share

Gmail Facebook X LinkedIn More