L' interazione tra parole, computabilità, algebra e aritmetica ha ora dimostrato la sua rilevanza e fecondità. In effetti, l'incrocio tra logica formale e automi finiti (come quello avviato da JR Büchi) o tra combinatoria sulle parole e teoria dei numeri ha aperto la strada a recenti drammatici sviluppi, ad esempio, la trascendenza risulta per i numeri reali aventi un espansione binaria "semplice", di B. Adamczewski e Y. Bugeaud. |