Skip to Main content Skip to Navigation
Conference papers

Sequentialization and Procedural Complexity in Automata Networks

Abstract : In this article we consider finite automata networks (ANs) with two kinds of update schedules: the parallel one (all automata are updated all together) and the sequential ones (the automata are updated periodically one at a time according to a total order w). The cost of sequentialization of a given AN h is the number of additional automata required to simulate h by a sequential AN with the same alphabet. We construct, for any n and q, an AN h of size n and alphabet size q whose cost of sequentialization is at least n/3. We also show that, if q ≥ 4, we can find one whose cost is at least n/2 − log q (n). We prove that n/2 + log q (n/2 + 1) is an upper bound for the cost of sequentialization of any AN h of size n and alphabet size q. Finally, we exhibit the exact relation between the cost of sequentialization of h and its procedural complexity with unlimited memory and prove that its cost of sequentialization is less than or equal to the pathwidth of its interaction graph.
Document type :
Conference papers
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download
Contributor : Florian Bridoux <>
Submitted on : Tuesday, February 27, 2018 - 2:40:33 PM
Last modification on : Tuesday, March 3, 2020 - 1:23:06 AM
Document(s) archivé(s) le : Monday, May 28, 2018 - 4:09:11 PM


Files produced by the author(s)


  • HAL Id : hal-01718527, version 1
  • ARXIV : 1803.00438



Florian Bridoux. Sequentialization and Procedural Complexity in Automata Networks. MFCS2018, Aug 2018, Liverpool, France. ⟨hal-01718527⟩



Record views


Files downloads