Non Sequential Recursive Pair Substitution: Some Rigorous Results

We present rigorous results on some open questions on NSRPS, non sequential recursive pairs substitution method (see Grassberger in \cite{G}). In particular, starting from the action of NSRPS on finite strings we define a corresponding natural action on measures and we prove that the iterated measure becomes asymptotically Markov. This certify the effectiveness of NSRPS as a tool for data compression and entropy estimation.