Property |
Value |
dbo:abstract
|
- En mathématique, en combinatoire des mots et en théorie des automates, une suite automatique (ou suite -automatique où est un entier) est une suite infinie de symboles qui peut être caractérisée de plusieurs manières équivalentes : par automate fini déterministe, par morphisme uniforme, par noyau ou par série formelle. Par exemple, la caractérisation par automates est la suivante : une suite est -automatique s'il existe un automate tel que le -ième terme de la suite est fonction de l'état atteint par cet automate après lecture de en base . L'exemple par excellence d'une suite 2-automatique est la suite de Prouhet-Thue-Morse. Un ensemble -reconnaissable de nombres est un ensemble S d'entiers naturels dont la suite caractéristique est k-automatique ; en d'autres termes, S est k-reconnaissable si la suite , définie par si et sinon, est k-automatique. Un nombre réel automatique (plus précisément un nombre réel -automatique) est un nombre réel dont le développement en base est une suite -automatique. Tout nombre réel automatique est soit rationnel, soit transcendant. Ce théorème fournit une large classe de nombres transcendants. Par exemple, la constante de Prouhet-Thue-Morse, dont le développement binaire est donné par la suite du même nom, est un nombre transcendant. (fr)
- En mathématique, en combinatoire des mots et en théorie des automates, une suite automatique (ou suite -automatique où est un entier) est une suite infinie de symboles qui peut être caractérisée de plusieurs manières équivalentes : par automate fini déterministe, par morphisme uniforme, par noyau ou par série formelle. Par exemple, la caractérisation par automates est la suivante : une suite est -automatique s'il existe un automate tel que le -ième terme de la suite est fonction de l'état atteint par cet automate après lecture de en base . L'exemple par excellence d'une suite 2-automatique est la suite de Prouhet-Thue-Morse. Un ensemble -reconnaissable de nombres est un ensemble S d'entiers naturels dont la suite caractéristique est k-automatique ; en d'autres termes, S est k-reconnaissable si la suite , définie par si et sinon, est k-automatique. Un nombre réel automatique (plus précisément un nombre réel -automatique) est un nombre réel dont le développement en base est une suite -automatique. Tout nombre réel automatique est soit rationnel, soit transcendant. Ce théorème fournit une large classe de nombres transcendants. Par exemple, la constante de Prouhet-Thue-Morse, dont le développement binaire est donné par la suite du même nom, est un nombre transcendant. (fr)
|
dbo:thumbnail
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 24949 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
|
- 1969 (xsd:integer)
- 1972 (xsd:integer)
- 1974 (xsd:integer)
- 1999 (xsd:integer)
- 2003 (xsd:integer)
- 2010 (xsd:integer)
- 2019 (xsd:integer)
|
prop-fr:arxiv
| |
prop-fr:auteur
| |
prop-fr:auteursOuvrage
|
- Valérie Berthé et Michel Rigo (fr)
- Valérie Berthé et Michel Rigo (fr)
|
prop-fr:collection
|
- Pure and Applied Mathematics (fr)
- Encyclopedia of Mathematics and its Applications (fr)
- The IMA volumes in mathematics and its applications (fr)
- Pure and Applied Mathematics (fr)
- Encyclopedia of Mathematics and its Applications (fr)
- The IMA volumes in mathematics and its applications (fr)
|
prop-fr:doi
|
- 10.100700 (xsd:double)
- 10.101600 (xsd:double)
|
prop-fr:id
|
- Hejhal 1999 (fr)
- Hejhal 1999 (fr)
|
prop-fr:isbn
|
- 0 (xsd:integer)
- 978 (xsd:integer)
|
prop-fr:issn
| |
prop-fr:journal
|
- Mathematical Systems Theory (fr)
- Theoretical Computer Science (fr)
- Mathematical Systems Theory (fr)
- Theoretical Computer Science (fr)
|
prop-fr:langue
|
- en (fr)
- fr (fr)
- en (fr)
- fr (fr)
|
prop-fr:lieu
|
- Cambridge (fr)
- New York (fr)
- Cambridge (fr)
- New York (fr)
|
prop-fr:mathReviews
|
- 250789 (xsd:integer)
- 457011 (xsd:integer)
|
prop-fr:mr
| |
prop-fr:nom
|
- Hu (fr)
- Cobham (fr)
- Wei-Han (fr)
- Hu (fr)
- Cobham (fr)
- Wei-Han (fr)
|
prop-fr:numéro
|
- 1 (xsd:integer)
- 2 (xsd:integer)
|
prop-fr:numéroDansCollection
|
- 58 (xsd:integer)
- 109 (xsd:integer)
- 135 (xsd:integer)
|
prop-fr:pages
|
- 154 (xsd:integer)
- 164 (xsd:integer)
- 186 (xsd:integer)
|
prop-fr:pagesTotales
|
- 571 (xsd:integer)
- xvi+451 (fr)
- xiii+689 (fr)
|
prop-fr:passage
| |
prop-fr:prénom
|
- Yining (fr)
- Alan (fr)
- Guoniu (fr)
- Yining (fr)
- Alan (fr)
- Guoniu (fr)
|
prop-fr:périodique
|
- Math. Systems Theory (fr)
- Math. Systems Theory (fr)
|
prop-fr:responsabilité
|
- éditeurs (fr)
- éditeurs (fr)
|
prop-fr:sousTitre
|
- theory, applications, generalizations (fr)
- theory, applications, generalizations (fr)
|
prop-fr:sudoc
| |
prop-fr:titre
|
- Uniform tag sequences (fr)
- On the base-dependence of sets of numbers recognizable by finite automata (fr)
- Automata, Languages and Machines, Vol. A (fr)
- Automatic Sequences (fr)
- On the automaticity of the Hankel determinants of a family of automatic sequences (fr)
- Emerging applications of number theory (fr)
- Uniform tag sequences (fr)
- On the base-dependence of sets of numbers recognizable by finite automata (fr)
- Automata, Languages and Machines, Vol. A (fr)
- Automatic Sequences (fr)
- On the automaticity of the Hankel determinants of a family of automatic sequences (fr)
- Emerging applications of number theory (fr)
|
prop-fr:titreChapitre
|
- Transcendence and Diophantine approximation (fr)
- Transcendence and Diophantine approximation (fr)
|
prop-fr:titreOuvrage
|
- Combinatorics, automata and number theory (fr)
- Combinatorics, automata and number theory (fr)
|
prop-fr:url
| |
prop-fr:volume
|
- 3 (xsd:integer)
- 6 (xsd:integer)
- 795 (xsd:integer)
|
prop-fr:wikiPageUsesTemplate
| |
prop-fr:éditeur
| |
dct:subject
| |
rdfs:comment
|
- En mathématique, en combinatoire des mots et en théorie des automates, une suite automatique (ou suite -automatique où est un entier) est une suite infinie de symboles qui peut être caractérisée de plusieurs manières équivalentes : par automate fini déterministe, par morphisme uniforme, par noyau ou par série formelle. Par exemple, la caractérisation par automates est la suivante : une suite est -automatique s'il existe un automate tel que le -ième terme de la suite est fonction de l'état atteint par cet automate après lecture de en base . L'exemple par excellence d'une suite 2-automatique est la suite de Prouhet-Thue-Morse. (fr)
- En mathématique, en combinatoire des mots et en théorie des automates, une suite automatique (ou suite -automatique où est un entier) est une suite infinie de symboles qui peut être caractérisée de plusieurs manières équivalentes : par automate fini déterministe, par morphisme uniforme, par noyau ou par série formelle. Par exemple, la caractérisation par automates est la suivante : une suite est -automatique s'il existe un automate tel que le -ième terme de la suite est fonction de l'état atteint par cet automate après lecture de en base . L'exemple par excellence d'une suite 2-automatique est la suite de Prouhet-Thue-Morse. (fr)
|
rdfs:label
|
- Automatic sequence (en)
- Sequência automática (pt)
- Suite automatique (fr)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |