2.:Applications to Recognizability and Decidability / Michel Rigo
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: | RIGO, Michel |
| Titolo: | 2.:Applications to Recognizability and Decidability / Michel Rigo |
| Pubblicazione: | London, : ISTE |
| Hoboken, : Wiley, 2014 | |
| Descrizione fisica: | Testo elettronico (PDF) (XIX, 245 p.) |
| Disciplina: | 001.642 |
| Soggetto topico: | Computer programming |
| Formal languages | |
| Machine theory | |
| Sommario/riassunto: | 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. |
| ISBN: | 9781119042853 |
| Formato: | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996451649603316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Networks and telecommunications series.
Fa parte di:
Formal languages, automata and numeration systems