#### Filter Results:

#### Publication Year

2009

2017

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Nathalie Aubrun, Marie-Pierre Béal
- CSR
- 2010

We introduce the notion of sofic tree-shifts which corresponds to symbolic dynamical systems of infinite trees accepted by finite tree au-tomata. We show that, contrary to shifts of infinite sequences, there is no unique minimal deterministic irreducible tree automaton accepting an irreducible sofic tree-shift, but that there is a unique synchronized one,… (More)

- Nathalie Aubrun, Marie-Pierre Béal
- ICALP
- 2009

A one-sided (resp. two-sided) shift of finite type of dimension one can be described as the set of infinite (resp. bi-infinite) sequences of consecutive edges in a finite-state automaton. While the conjugacy of shifts of finite type is decidable for one-sided shifts of finite type of dimension one, the result is unknown in the two-sided case. In this paper,… (More)

- Nathalie Aubrun, Mathieu Sablik
- ArXiv
- 2011

In this article we study how a subshift can simulate another one, where the notion of simulation is given by operations on subshifts inspired by the dynamical systems theory (factor, projective subaction...). There exists a correspondence between the notion of simulation and the set of forbidden patterns. The main result of this paper states that any… (More)

- Nathalie Aubrun, Mathieu Sablik
- STACS
- 2009

Traditionally a tiling is defined with a finite number of finite forbidden patterns. We can generalize this notion considering any set of patterns. Generalized tilings defined in this way can be studied with a dynamical point of view, leading to the notion of subshift. In this article we establish a correspondence between an order on subshifts based on… (More)

- Nathalie Aubrun, Jarkko Kari
- MCU
- 2013

We exhibit a weakly aperiodic tile set for Baumslag-Solitar groups, and prove that the domino problem is undecidable on these groups. A consequence of our construction is the existence of an arecur-sive tile set on Baumslag-Solitar groups.

- Nathalie Aubrun, Sebastián Barbieri, Mathieu Sablik
- Theor. Comput. Sci.
- 2017

We define a notion of effectiveness for subshifts on finitely generated groups. The set of effective subshifts forms a conjugacy class that contains the class of sofic subshifts. We prove that the inclusion is strict for several groups, including amenable groups and groups with more than two ends.

- Nathalie Aubrun
- 2011

- Nathalie Aubrun, Marie-Pierre Béal
- Theor. Comput. Sci.
- 2012

A one-sided (resp. two-sided) shift of finite type of dimension one can be described as the set of infinite (resp. bi-infinite) sequences of consecutive edges in a finite-state automaton. While the conjugacy of shifts of finite type is decidable for one-sided shifts of finite type of dimension one, the result is unknown in the two-sided case. In this paper,… (More)

- Nathalie Aubrun, Marie-Pierre Béal
- Theory of Computing Systems
- 2013

We introduce the notion of sofic tree-shifts which corresponds to symbolic dynamical systems of infinite ranked trees accepted by finite tree automata. We show that, contrary to shifts of infinite sequences, there is no unique reduced deterministic irreducible tree automaton accepting an irreducible sofic tree-shift, but that there is a unique synchronized… (More)

- Nathalie Aubrun, Mathieu Sablik
- ArXiv
- 2011

In this article we prove that multidimensional effective S-adic systems, obtained by applying an effective sequence of substitutions chosen among a finite set of substitutions, are sofic subshifts.