01563nlm2 22003613 450 99645164960331620220114111659.0978111904285320140926h2014---- uy 0engUKdrcnu<<2.:>>Applications to Recognizability and DecidabilityMichel RigoLondonISTEHobokenWiley2014Testo elettronico (PDF) (XIX, 245 p.)Networks and Telecommunications SeriesBase dati testualeL' 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.Networks and telecommunications series.001996451649703316Formal languages, automata and numeration systems001996451649703316Formal languages, automata and numeration systemsComputer programmingBNCFFormal languagesBNCFMachine theoryBNCF001.642RIGO,MichelcbaITcbaREICATcbaITcbaREICATcbaITcbaREICAT996451649603316EBERUNISA