Xavier Le Breton

Learn More
In 1980, Christol, Kamae, Mendès France and Rauzy stated in [3] an important theorem in automata theory. This theorem links sequences recognized by automata and algebraic formal power series. In 1994, Bruyère, Hansel, Michaux and Villemaire extended this theorem with a logical link in [2]. With theses two articles, we can translate the property for a formal(More)
  • 1