| Property |
Value |
| dbo:abstract
|
- Le théorème de Cobham est un théorème de combinatoire des mots qui a des connexions importantes avec la théorie des nombres, et notamment des nombres transcendants, et avec la théorie des automates. Le théorème stipule que si les écritures, en deux bases multiplicativement indépendantes, d'un ensemble d'entiers naturels S sont des langages rationnels, alors l'ensemble S est une union finie de progressions arithmétiques. Le théorème a été prouvé par Alan Cobham en 1969. Depuis, il a donné lieu à de nombreuses extensions et généralisations. (fr)
- Le théorème de Cobham est un théorème de combinatoire des mots qui a des connexions importantes avec la théorie des nombres, et notamment des nombres transcendants, et avec la théorie des automates. Le théorème stipule que si les écritures, en deux bases multiplicativement indépendantes, d'un ensemble d'entiers naturels S sont des langages rationnels, alors l'ensemble S est une union finie de progressions arithmétiques. Le théorème a été prouvé par Alan Cobham en 1969. Depuis, il a donné lieu à de nombreuses extensions et généralisations. (fr)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 16255 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 1969 (xsd:integer)
- 1972 (xsd:integer)
- 1977 (xsd:integer)
- 2003 (xsd:integer)
- 2010 (xsd:integer)
- 2011 (xsd:integer)
- 2019 (xsd:integer)
- 2021 (xsd:integer)
|
| prop-fr:arxiv
|
- 1010.400900 (xsd:double)
- 1801.067040 (xsd:double)
- 1809.006790 (xsd:double)
|
| prop-fr:auteur
| |
| prop-fr:auteurOuvrage
|
- J.-É. Pin (fr)
- J.-É. Pin (fr)
|
| prop-fr:consultéLe
| |
| prop-fr:doi
|
- 10.100700 (xsd:double)
- 10.114200 (xsd:double)
- 10.417100 (xsd:double)
|
| prop-fr:isbn
| |
| prop-fr:issn
| |
| prop-fr:journal
|
- Journal of the European Mathematical Society (fr)
- Mathematical Systems Theory (fr)
- International Journal of Foundations of Computer Science (fr)
- Theoret. Comput. Sci. (fr)
- Sib. Mat. Zh. (fr)
- Journal of the European Mathematical Society (fr)
- Mathematical Systems Theory (fr)
- International Journal of Foundations of Computer Science (fr)
- Theoret. Comput. Sci. (fr)
- Sib. Mat. Zh. (fr)
|
| prop-fr:langue
|
- en (fr)
- ru (fr)
- en (fr)
- ru (fr)
|
| prop-fr:libellé
|
- 1969 (xsd:integer)
- 1972 (xsd:integer)
|
| prop-fr:lieu
|
- Cambridge (fr)
- Cambridge (fr)
|
| prop-fr:mathReviews
|
- 250789 (xsd:integer)
- 450050 (xsd:integer)
- 457011 (xsd:integer)
- 1937730 (xsd:integer)
|
| prop-fr:nom
|
- Bell (fr)
- Durand (fr)
- Cobham (fr)
- Mol (fr)
- Rampersad (fr)
- Krebs (fr)
- Shallit (fr)
- Muchnik (fr)
- Semenov (fr)
- Rigo (fr)
- Adamczewski (fr)
- Stipulanti (fr)
- Bell (fr)
- Durand (fr)
- Cobham (fr)
- Mol (fr)
- Rampersad (fr)
- Krebs (fr)
- Shallit (fr)
- Muchnik (fr)
- Semenov (fr)
- Rigo (fr)
- Adamczewski (fr)
- Stipulanti (fr)
|
| prop-fr:numéro
|
- 1 (xsd:integer)
- 2 (xsd:integer)
- 3 (xsd:integer)
- 6 (xsd:integer)
- 8 (xsd:integer)
|
| prop-fr:pages
|
- 164 (xsd:integer)
- 186 (xsd:integer)
- 403 (xsd:integer)
- 1363 (xsd:integer)
- 1433 (xsd:integer)
- 1797 (xsd:integer)
- 203207 (xsd:integer)
|
| prop-fr:pagesTotales
| |
| prop-fr:prénom
|
- Alan (fr)
- Jason (fr)
- Jeffrey (fr)
- Lucas (fr)
- Michel (fr)
- Boris (fr)
- Fabien (fr)
- Manon (fr)
- Alexei Lvovich (fr)
- Andrej A. (fr)
- Narad (fr)
- Thijmen J. P. (fr)
- Alan (fr)
- Jason (fr)
- Jeffrey (fr)
- Lucas (fr)
- Michel (fr)
- Boris (fr)
- Fabien (fr)
- Manon (fr)
- Alexei Lvovich (fr)
- Andrej A. (fr)
- Narad (fr)
- Thijmen J. P. (fr)
|
| prop-fr:sousTitre
|
- theory, applications, generalizations (fr)
- theory, applications, generalizations (fr)
|
| prop-fr:titre
|
- Around Cobham's theorem and some of its extensions (fr)
- Cobham's theorem for substitutions (fr)
- Uniform tag sequences (fr)
- On the base-dependence of sets of numbers recognizable by finite automata (fr)
- Automatic Sequences (fr)
- Predicates regular in two number systems are Presburger (fr)
- A More Reasonable Proof of Cobham’s Theorem (fr)
- Automata in number theory (fr)
- Cobham’s Theorem and Automaticity (fr)
- On Cobham’s Theorem (fr)
- The definable criterion for definability in Presburger arithmetic and its applications (fr)
- Around Cobham's theorem and some of its extensions (fr)
- Cobham's theorem for substitutions (fr)
- Uniform tag sequences (fr)
- On the base-dependence of sets of numbers recognizable by finite automata (fr)
- Automatic Sequences (fr)
- Predicates regular in two number systems are Presburger (fr)
- A More Reasonable Proof of Cobham’s Theorem (fr)
- Automata in number theory (fr)
- Cobham’s Theorem and Automaticity (fr)
- On Cobham’s Theorem (fr)
- The definable criterion for definability in Presburger arithmetic and its applications (fr)
|
| prop-fr:titreOuvrage
|
- Automata: from Mathematics to Applications (fr)
- Automata: from Mathematics to Applications (fr)
|
| prop-fr:url
| |
| prop-fr:volume
|
- 3 (xsd:integer)
- 6 (xsd:integer)
- 13 (xsd:integer)
- 18 (xsd:integer)
- 30 (xsd:integer)
- 32 (xsd:integer)
- 290 (xsd:integer)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:zbl
|
- 369.020230 (xsd:double)
- 1052.680790 (xsd:double)
|
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- Le théorème de Cobham est un théorème de combinatoire des mots qui a des connexions importantes avec la théorie des nombres, et notamment des nombres transcendants, et avec la théorie des automates. Le théorème stipule que si les écritures, en deux bases multiplicativement indépendantes, d'un ensemble d'entiers naturels S sont des langages rationnels, alors l'ensemble S est une union finie de progressions arithmétiques. Le théorème a été prouvé par Alan Cobham en 1969. Depuis, il a donné lieu à de nombreuses extensions et généralisations. (fr)
- Le théorème de Cobham est un théorème de combinatoire des mots qui a des connexions importantes avec la théorie des nombres, et notamment des nombres transcendants, et avec la théorie des automates. Le théorème stipule que si les écritures, en deux bases multiplicativement indépendantes, d'un ensemble d'entiers naturels S sont des langages rationnels, alors l'ensemble S est une union finie de progressions arithmétiques. Le théorème a été prouvé par Alan Cobham en 1969. Depuis, il a donné lieu à de nombreuses extensions et généralisations. (fr)
|
| rdfs:label
|
- Théorème de Cobham (fr)
- Théorème de Cobham (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
