Discussion :

[bj303931]

Bonjour, l'automate pour le nombre de 'b' divisible par 3 est-il? : (sinon pourquoi.)

q1: pas de b
q2: 1 ou 2 b
q4: 3b

b               b  
q1----a----q2
      |q3|
        b

En faite, je n'ai pas bien compris le concept.

[Obsidian]

Bonjour,

Ta question est beaucoup trop vague (et l'automate que tu as tenté de dessiner est malheureusement illisible). Il nous faut au minimum la liste des états ET l'ensemble des transitions possibles.

L'un des exercices très répandus dans cette discipline consiste à faire un automate permettant de vérifier si un entier naturel en binaire est ou non multiple de 3, ce qui implique qu'on peut voir cela « sur la forme » et que l'on peut écrire une expression régulière pour les reconnaître, ce qui est assez bluffant la première fois. Toutefois, cela ne semble pas être exactement l'objet de l'exercice qui t'intéresse ici.

Si tu examines des mots formés uniquement à partir de « a » ou « b » (aaaa, bbbb, ababbbaa, bbbaabba…) et que tu cherches à savoir si le mot en question contient un nombre de lettres « b » qui soit en soi multiple de 3, alors c'est trivial : il suffit d'écrire un automate à trois états, d'ignorer tous les « a », et de passer à l'état suivant chaque fois que l'on rencontre un « b ». L'état initial étant alors également l'état final.