En simulant l'automate des mots finissant par « ab » sur l'entrée « aba » (q0 initial, q1, q2 acceptant), dans quel état termine-t-on, et le mot est-il accepté ?
