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.