« Approfondissement sur les suites numériques/Exercices/Récurrence affine d'ordre 2 » : différence entre les versions
Contenu supprimé Contenu ajouté
m màj |
m Annulation des modifications 674922 de Crochet.david.bot (discussion) + lien wp + rectifs vocabulaire Balise : Annulation |
||
Ligne 1 :
{{Exercice
| idfaculté = mathématiques
| numéro =
| précédent = [[../
| suivant = [[../
| niveau = 14
}}
{{Wikipédia|Automate cellulaire}}
Un automate cellulaire est un algorithme qui évolue ''pas à pas'', observant les structures qu’il a déjà produites pour effectuer l'étape suivante. Cet exercice propose d’en étudier un très simple au moyen des suites récurrentes affines d'ordre 2.
== Définition de l'automate ==
Cet automate prendra deux valeurs, d'indices ''n'' et ''n'' + 1, et retournera la valeur d'indice ''n'' + 2. On incrémente alors ''n'' et l'on recommence l'opération.
Les règles sont :
* <math>(0, 0) \mapsto 1</math> ;
* <math>(1, 0) \mapsto 0</math> ;
* <math>(0, 1) \mapsto 0</math>.
L'automate reçoit les deux premières valeurs et les complète avec ces règles. Par exemple, si l'on commence avec « 00 », alors il calculera le chiffre suivant (d'après les règles précédentes, c’est un 1). L'automate ne peut traiter que des 0 et des 1. On suppose que le cas « 11 » ne peut débuter la séquence.
== Questions ==
{{Solution|contenu=▼
:'''1.''' Mettre en équation l'automate décrit, sous la forme d'une suite récurrente affine d'ordre 2. Cette mise en équation est-elle unique ? ;
:'''2.''' Montrer que l'équation linéaire associée n'admet pas de solutions réelles ;
:'''3.''' Montrer que, quels que soient les deux premiers termes de la séquence, celle-ci est périodique et ne contient pas deux 1 consécutifs.
== Oublions les règles ==
Oublions maintenant les règles : il s'agit désormais de mathématiques pures.
:'''1.''' Le cas « 11 » n'est plus exclus : montrer que la solution est toujours périodique ;
:'''2.''' Existe-t-il une solution complexe à l'équation linéaire ? Est-elle bornée ?
On change les règles de l'automate (''x'' représente n’importe quel nombre, ce n’est pas une quantité fixe) :
▲{{Solution|contenu=
* <math>(0, 0) \mapsto 0</math> ;
* <math>(a, b) \mapsto x \leq 0</math> si <math>a \leq b</math>.
Dans ce cas :
:'''1.''' Proposer une mise en équation de cet automate. Est-elle unique ?
:'''2.''' Quelle est l'évolution d'une suite décrite par cette équation ?
{{Solution}}
{{Bas de page
| idfaculté = mathématiques
| précédent = [[../
| suivant = [[../
}}
|