Forum de mathématiques - Bibm@th.net

totomm

Membre

Inscription : 25-08-2011

Messages : 1 093

Re : Voisins / Voisines

Re,

J'ai vu que vous aviez modifié la définition d'un Etat consistant : crochets doubles ouverts et non plus fermés
Ne devrait-il pas aussi y avoir s < t (et non plus inférieur ou égal) car un seul 0 entre des valeurs positives n'est pas inconsistant alors que 2 zéros consécutifs le sont ?

Cordialement

freddy

Membre chevronné

Lieu : Paris

Inscription : 27-03-2009

Messages : 7 457

Re : Voisins / Voisines

Bonsoir,

J'ai repris avec attention votre démonstration formelle que je trouve très bonne.
J'ai quand même un petit probème de compréhension sur ces notations :

En effet, puisque l'état terminal est consistant, on a alors deux possibliités et deux seulement :

soit [tex]E_1^* = [\![\cdots,0,0,0,1,1,1,1,\cdots,1,1,1,0,0,0,\cdots]\!][/tex]

soit [tex]E_2^* = [\![\cdots, 0,0,1,1,1,1,0,1,1,1,1,1,0,0,\cdots]\!][/tex]

Des zéros me semblent en trop pour ne pas avoir d'états inconsistants... Il ne devrait y avoir qu'un seul 0 dans les deux cas ?
Pouvez-vous éclairer cette remarque bénigne ?

Cordialement

Salut,

non, c'est simplement pour dire que ça se prolonge à droite et à gauche par une suite infinie de 0.

Dernière modification par freddy (29-09-2011 10:09:57)

freddy

Membre chevronné

Lieu : Paris

Inscription : 27-03-2009

Messages : 7 457

Re : Voisins / Voisines

Re,

J'ai vu que vous aviez modifié la définition d'un état consistant : crochets doubles ouverts et non plus fermés
Ne devrait-il pas aussi y avoir s < t (et non plus inférieur ou égal) car un seul 0 entre des valeurs positives n'est pas inconsistant alors que 2 zéros consécutifs le sont ?

Cordialement

Re,

oui, mais l'inégalité large ne mange pas de pain.