Showing 1–12 of 12 results for author: Beal, 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.

Fast detection of specific fragments against a set of sequences

Authors: Marie-Pierre Béal, Maxime Crochemore

Abstract: We design alignment-free techniques for comparing a sequence or word, called a target, against a set of words, called a reference. A target-specific factor of a target $T$ against a reference $R$ is a factor $w$ of a word in $T$ which is not a factor of a word of $R$ and such that any proper factor of $w$ is a factor of a word of $R$. We first address the computation of the set of target-specific… ▽ More We design alignment-free techniques for comparing a sequence or word, called a target, against a set of words, called a reference. A target-specific factor of a target $T$ against a reference $R$ is a factor $w$ of a word in $T$ which is not a factor of a word of $R$ and such that any proper factor of $w$ is a factor of a word of $R$. We first address the computation of the set of target-specific factors of a target $T$ against a reference $R$, where $T$ and $R$ are finite sets of sequences. The result is the construction of an automaton accepting the set of all considered target-specific factors. The construction algorithm runs in linear time according to the size of $T\cup R$. The second result consists of the design of an algorithm to compute all the occurrences in a single sequence $T$ of its target-specific factors against a reference $R$. The algorithm runs in real-time on the target sequence, independently of the number of occurrences of target-specific factors. △ Less

Submitted 6 April, 2023; v1 submitted 6 August, 2022; originally announced August 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.

Checking whether a word is Hamming-isometric in linear time

Authors: Marie-Pierre Béal, Maxime Crochemore

Abstract: A finite word $f$ is Hamming-isometric if for any two word $u$ and $v$ of same length avoiding $f$, $u$ can be transformed into $v$ by changing one by one all the letters on which $u$ differs from $v$, in such a way that all of the new words obtained in this process also avoid~$f$. Words which are not Hamming-isometric have been characterized as words having a border with two mismatches. We derive… ▽ More A finite word $f$ is Hamming-isometric if for any two word $u$ and $v$ of same length avoiding $f$, $u$ can be transformed into $v$ by changing one by one all the letters on which $u$ differs from $v$, in such a way that all of the new words obtained in this process also avoid~$f$. Words which are not Hamming-isometric have been characterized as words having a border with two mismatches. We derive from this characterization a linear-time algorithm to check whether a word is Hamming-isometric. It is based on pattern matching algorithms with $k$ mismatches. Lee-isometric words over a four-letter alphabet have been characterized as words having a border with two Lee-errors. We derive from this characterization a linear-time algorithm to check whether a word over an alphabet of size four is Lee-isometric. △ Less

Submitted 8 August, 2022; v1 submitted 19 June, 2021; originally announced June 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.

$\mathbb{N}$-algebraicity of zeta functions of sofic-Dyck shifts

Authors: Marie-Pierre Béal, Cǎtǎlin Dima

Abstract: We prove that the multivariate zeta function of a sofic-Dyck shift is the commutative series of some visibly pushdown language. As a consequence the zeta function of a sofic-Dyck shift is the generating function of a visibly pushdown language and is thus an $\mathbb{N}$-algebraic series. We prove that the multivariate zeta function of a sofic-Dyck shift is the commutative series of some visibly pushdown language. As a consequence the zeta function of a sofic-Dyck shift is the generating function of a visibly pushdown language and is thus an $\mathbb{N}$-algebraic series. △ Less

Submitted 23 February, 2017; v1 submitted 23 January, 2015; originally announced January 2015.

Comments: This paper has been withdrawn by the authors due to an error in the proof of the main result

Finite-type-Dyck shift spaces

Authors: Marie-Pierre Béal, Michel Blockelet, Cǎtǎlin Dima

Abstract: We study some basic properties of sofic-Dyck shifts and finite-type-Dyck shifts. We prove that the class of sofic-Dyck shifts is stable under proper conjugacies. We prove a Decomposition Theorem of a proper conjugacy between edge-Dyck shifts into a sequence of Dyck splittings and amalgamations. We study some basic properties of sofic-Dyck shifts and finite-type-Dyck shifts. We prove that the class of sofic-Dyck shifts is stable under proper conjugacies. We prove a Decomposition Theorem of a proper conjugacy between edge-Dyck shifts into a sequence of Dyck splittings and amalgamations. △ Less

Submitted 17 November, 2013; originally announced November 2013.

Sofic-Dyck shifts

Authors: Marie-Pierre Béal, Michel Blockelet, Cǎtǎlin Dima

Abstract: We define the class of sofic-Dyck shifts which extends the class of Markov-Dyck shifts introduced by Inoue, Krieger and Matsumoto. Sofic-Dyck shifts are shifts of sequences whose finite factors form unambiguous context-free languages. We show that they correspond exactly to the class of shifts of sequences whose sets of factors are visibly pushdown languages. We give an expression of the zeta func… ▽ More We define the class of sofic-Dyck shifts which extends the class of Markov-Dyck shifts introduced by Inoue, Krieger and Matsumoto. Sofic-Dyck shifts are shifts of sequences whose finite factors form unambiguous context-free languages. We show that they correspond exactly to the class of shifts of sequences whose sets of factors are visibly pushdown languages. We give an expression of the zeta function of a sofic-Dyck shift. △ Less

Submitted 17 September, 2015; v1 submitted 31 May, 2013; originally announced May 2013.

Gene Expression Time Course Clustering with Countably Infinite Hidden Markov Models

Authors: Matthew Beal, Praveen Krishnamurthy

Abstract: Most existing approaches to clustering gene expression time course data treat the different time points as independent dimensions and are invariant to permutations, such as reversal, of the experimental time course. Approaches utilizing HMMs have been shown to be helpful in this regard, but are hampered by having to choose model architectures with appropriate complexities. Here we propose for a cl… ▽ More Most existing approaches to clustering gene expression time course data treat the different time points as independent dimensions and are invariant to permutations, such as reversal, of the experimental time course. Approaches utilizing HMMs have been shown to be helpful in this regard, but are hampered by having to choose model architectures with appropriate complexities. Here we propose for a clustering application an HMM with a countably infinite state space; inference in this model is possible by recasting it in the hierarchical Dirichlet process (HDP) framework (Teh et al. 2006), and hence we call it the HDP-HMM. We show that the infinite model outperforms model selection methods over finite models, and traditional time-independent methods, as measured by a variety of external and internal indices for clustering on two large publicly available data sets. Moreover, we show that the infinite models utilize more hidden states and employ richer architectures (e.g. state-to-state transitions) without the damaging effects of overfitting. △ Less

Submitted 27 June, 2012; originally announced June 2012.

Comments: Appears in Proceedings of the Twenty-Second Conference on Uncertainty in Artificial Intelligence (UAI2006)

Report number: UAI-P-2006-PG-23-30

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

A quadratic algorithm for road coloring

Authors: Marie-Pierre Béal, Dominique Perrin

Abstract: The Road Coloring Theorem states that every aperiodic directed graph with constant out-degree has a synchronized coloring. This theorem had been conjectured during many years as the Road Coloring Problem before being settled by A. Trahtman. Trahtman's proof leads to an algorithm that finds a synchronized labeling with a cubic worst-case time complexity. We show a variant of his construction with a… ▽ More The Road Coloring Theorem states that every aperiodic directed graph with constant out-degree has a synchronized coloring. This theorem had been conjectured during many years as the Road Coloring Problem before being settled by A. Trahtman. Trahtman's proof leads to an algorithm that finds a synchronized labeling with a cubic worst-case time complexity. We show a variant of his construction with a worst-case complexity which is quadratic in time and linear in space. We also extend the Road Coloring Theorem to the periodic case. △ Less

Submitted 30 May, 2013; v1 submitted 5 March, 2008; originally announced March 2008.

ACM Class: F.2.2; G.2.2