N-block presentations and decidability of direct conjugacy between Subshifts of Finite Type

Abstract

We consider the problem of inverting the transformation which consists in replacing a word by the sequence of its blocks of length N, i.e. its so-called N-block presentation. It was previously shown that among all the possible preimages of an N-block presentation, there exists a particular one which is maximal in the sense that all the other preimages can be obtained from it by letter to letter applications. We give here a combinatorial characterization of the maximal preimages of N-block presentations. Using this characterization, we show that, being given two subshifts of finite type X and Y, the existence of two numbers N and M such that the N-block presentation of X is similar to the M-block presentation of Y, which implies that X and Y are conjugate, is decidable.