8 citations · 8 across the 3 of their papers we have counts for
3 papers
Recognizable Picture Languages: Separating UREC from coUREC via Communication Complexity
Antonin Callard, Andrei Romashchenko, Véronique Terrier +1
We introduce communication-complexity lifting techniques into the study of recognizable picture languages. As an application, we resolve a long-standing open problem of Anselmo et…
Linear functional classes over cellular automata
Anaël Grandjean, Gaétan Richard, Véronique Terrier
Cellular automata are a discrete dynamical system which models massively parallel computation. Much attention is devoted to computations with small time complexity for which the pa…
Signals for Cellular Automata in dimension 2 or higher
Jean-Christophe Dubacq, Veronique Terrier
We investigate how increasing the dimension of the array can help to draw signals on cellular automata.We show the existence of a gap of constructible signals in any dimension. We…