Source author record

Laurent Boyer

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Discrete Mathematics nlin.CG Formal Languages and Automata Theory

Catalog footprint

Research overview

3works

3topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2015arXiv

$μ$ -Limit Sets of Cellular Automata from a Computational Complexity Perspective

This paper concerns $μ$ -limit sets of cellular automata: sets of configurations made of words whose probability to appear does not vanish with time, starting from an initial $μ$ -random configuration. More precisely, we investigate the computational complexity of these sets and of related decision problems. Main results: first, $μ$ -limit sets can have a $Σ\_3^0$ -hard language, second, they can contain only $α$ -complex configurations, third, any non-trivial property concerning them is at least $Π\_3^0$ -hard. We prove complexity upper bounds, study restrictions of these questions to particular classes of CA, and different types of (non-)convergence of the measure of a word during the evolution.

preprint2010arXiv

Construction of $μ$ -Limit Sets

The $μ$ -limit set of a cellular automaton is a subshift whose forbidden patterns are exactly those, whose probabilities tend to zero as time tends to in- finity. In this article, for a given subshift in a large class of subshifts, we propose the construction of a cellular automaton which realizes this subshift as $μ$ -limit set where $μ$ is the uniform Bernoulli measure.

preprint2010arXiv

On Factor Universality in Symbolic Spaces

The study of factoring relations between subshifts or cellular automata is central in symbolic dynamics. Besides, a notion of intrinsic universality for cellular automata based on an operation of rescaling is receiving more and more attention in the literature. In this paper, we propose to study the factoring relation up to rescalings, and ask for the existence of universal objects for that simulation relation. In classical simulations of a system S by a system T, the simulation takes place on a specific subset of configurations of T depending on S (this is the case for intrinsic universality). Our setting, however, asks for every configurations of T to have a meaningful interpretation in S. Despite this strong requirement, we show that there exists a cellular automaton able to simulate any other in a large class containing arbitrarily complex ones. We also consider the case of subshifts and, using arguments from recursion theory, we give negative results about the existence of universal objects in some classes.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Laurent Boyer

Research overview

Is this your work?

3 publications

$μ$ -Limit Sets of Cellular Automata from a Computational Complexity Perspective

Construction of $μ$ -Limit Sets

On Factor Universality in Symbolic Spaces

See the researcher in context

Building this map preview

Laurent Boyer

Research overview

Is this your work?

3 publications

μμμ-Limit Sets of Cellular Automata from a Computational Complexity Perspective

Construction of μμμ-Limit Sets

On Factor Universality in Symbolic Spaces

See the researcher in context

Building this map preview

$μ$ -Limit Sets of Cellular Automata from a Computational Complexity Perspective

Construction of $μ$ -Limit Sets