A seminal paper published in 2012 by Berstel et al. in the Journal of Algebra initiated the systematic study of intersections of recurrent languages and complete bifix codes. One of the main results of this line of research, obtained in 2015 by Berthé et al., states that if $F$ is a uniformly recurrent dendric language (for example, a Sturmian language), then every complete bifix decoding of $F$ is also uniformly recurrent dendric. A delicate part of the proof is showing that the decoding is indeed uniformly recurrent. We introduce a method, relying on the free profinite monoid, giving a new proof of that part, and in fact a significant generalization based on the notion of $F$-charged bifix code.
Date and Venue
Online Zoom meeting
Alfredo Costa-5May2022.pdf410.21 KB
Semigroups, Automata and Languages