Showing 1–6 of 6 results for author: Béal, M

Recognizability in S-adic shifts

Authors: Marie-Pierre Béal, Dominique Perrin, Antonio Restivo, Wolfgang Steiner

Abstract: We investigate questions related to the notion of recognizability of sequences of morphisms, a generalization of Moss{é}'s Theorem. We consider the most general class of morphisms including ones with erasable letters. The main result states that a sequence of morphisms with finite alphabet rank is eventually recognizable for aperiodic points, improving and simplifying a result of Berth{é} et al. (… ▽ More We investigate questions related to the notion of recognizability of sequences of morphisms, a generalization of Moss{é}'s Theorem. We consider the most general class of morphisms including ones with erasable letters. The main result states that a sequence of morphisms with finite alphabet rank is eventually recognizable for aperiodic points, improving and simplifying a result of Berth{é} et al. (2019). This also provides a new simple proof for the recognizability of a single morphism on its shift space. The main ingredient of the proof are elementary morphisms. △ Less

Submitted 13 December, 2023; v1 submitted 13 February, 2023; originally announced February 2023.

A note on one-sided recognizable morphisms

Authors: Marie-Pierre Béal, Valérie Berthé, Dominique Perrin, Antonio Restivo

Abstract: We revisit the notion of one-sided recognizability of morphisms and its relation to two-sided recognizability. We revisit the notion of one-sided recognizability of morphisms and its relation to two-sided recognizability. △ Less

Submitted 12 April, 2022; v1 submitted 8 April, 2022; originally announced April 2022.

Decidable problems in substitution shifts

Authors: Marie-Pierre Béal, Dominique Perrin, Antonio Restivo

Abstract: In this paper, we investigate the structure of the most general kind of substitution shifts, including non-minimal ones, and allowing erasing morphisms. We prove the decidability of many properties of these morphisms with respect to the shift space generated by iteration, such as aperiodicity, recognizability and (under an additional assumption) irreducibility, or minimality. In this paper, we investigate the structure of the most general kind of substitution shifts, including non-minimal ones, and allowing erasing morphisms. We prove the decidability of many properties of these morphisms with respect to the shift space generated by iteration, such as aperiodicity, recognizability and (under an additional assumption) irreducibility, or minimality. △ Less

Submitted 2 April, 2024; v1 submitted 29 December, 2021; originally announced December 2021.

Recognizability of morphisms

Authors: Marie-Pierre Béal, Dominique Perrin, Antonio Restivo

Abstract: We investigate several questions related to the notion of recognizable morphism. The main result is a new proof of Mossé's theorem and actually of a generalization to non primitive morphisms due to Berthé et al. We actually prove the result of Berthé et al. for the most general class of morphisms, including ones with erasable letters. It is derived from a result concerning elementary morphisms for… ▽ More We investigate several questions related to the notion of recognizable morphism. The main result is a new proof of Mossé's theorem and actually of a generalization to non primitive morphisms due to Berthé et al. We actually prove the result of Berthé et al. for the most general class of morphisms, including ones with erasable letters. It is derived from a result concerning elementary morphisms for which we also provide a new proof. We also show how to decide whether an injective morphism is recognizable on the full shift for aperiodic points. △ Less

Submitted 15 October, 2022; v1 submitted 19 October, 2021; originally announced October 2021.

Unambiguously coded shifts

Authors: Marie-Pierre Béal, Dominique Perrin, Antonio Restivo

Abstract: We study the coded systems introduced by Blanchard and Hansel. We give several constructions which allow one to represent a coded system as a strongly unambiguous one. We study the coded systems introduced by Blanchard and Hansel. We give several constructions which allow one to represent a coded system as a strongly unambiguous one. △ Less

Submitted 31 March, 2022; v1 submitted 1 March, 2021; originally announced March 2021.

Symbolic dynamics

Authors: Marie-Pierre Béal, Jean Berstel, Søren Eilers, Dominique Perrin

Abstract: This chapter presents some of the links between automata theory and symbolic dynamics. The emphasis is on two particular points. The first one is the interplay between some particular classes of automata, such as local automata and results on embeddings of shifts of finite type. The second one is the connection between syntactic semigroups and the classification of sofic shifts up to conjugacy. This chapter presents some of the links between automata theory and symbolic dynamics. The emphasis is on two particular points. The first one is the interplay between some particular classes of automata, such as local automata and results on embeddings of shifts of finite type. The second one is the connection between syntactic semigroups and the classification of sofic shifts up to conjugacy. △ Less

Submitted 6 February, 2011; v1 submitted 7 June, 2010; originally announced June 2010.

Comments: This text is part of a "Handbook on Automata" edited by Jean-Eric Pin, to be published by European Mathematical Society