LEADER 01563nlm2 22003613  450 
001 996451649603316
005 20220114111659.0
010   $a9781119042853
100   $a20140926h2014----  uy             0
101 0 $aeng
102   $aUK
135   $adrcnu
200 1 $a<<2.:>>Applications to Recognizability and Decidability$fMichel Rigo
210 1 $aLondon$cISTE$aHoboken$cWiley$d2014
215   $aTesto elettronico (PDF) (XIX, 245 p.)
225 2 $aNetworks and Telecommunications Series
230   $aBase dati testuale
330   $aL' 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.
410  0$aNetworks and telecommunications series.
461   $1001996451649703316$aFormal languages, automata and numeration systems
461   $1001996451649703316$aFormal languages, automata and numeration systems
606 0 $aComputer programming$2BNCF
606 0 $aFormal languages$2BNCF
606 0 $aMachine theory$2BNCF
676   $a001.642
700  1$aRIGO,$bMichel
801  0$bcba$aIT$bcba$gREICAT
801  1$bcba$aIT$bcba$gREICAT
801  2$bcba$aIT$bcba$gREICAT
912   $a996451649603316
959   $aEB
969   $aER
997   $aUNISA