1 citations · 2 across the 3 of their papers we have counts for
3 papers
Acceptance conditions for omega-languages and the Borel hierarchy
Julien Cervelle, Alberto Dennunzio, Enrico Formenti +1
This paper investigates acceptance conditions for finite automata recognizing omega-regular languages. As a first result, we show that, under any acceptance condition that can be d…
Non-uniform cellular automata and distributions of rules
Julien Provillard, Enrico Formenti, Alberto Dennunzio
In this paper we study -CA on one-dimensional lattice defined over a finite set of local rules. The main goal is to determine how the local rules can be mixed to ensure the prod…
Non-Uniform Cellular Automata: classes, dynamics, and decidability
Alberto Dennunzio, Enrico Formenti, Julien Provillard
The dynamical behavior of non-uniform cellular automata is compared with the one of classical cellular automata. Several differences and similarities are pointed out by a series of…