Bonsoir, j'ai des exos sur les automates à rendre, j'ai rédigé toutes les réponses mais comme je ne suis pas sur de certaines je sollicite vivement votre aide afin que vous m'élairiez.
Les automates considérés sont les deux ci-dessous:

automate.png

Question 1: Donnez les exécutions de A3 sur a, b et aba . Ma réponse est dans l'image ci-dessous. (le rouge pour différents mots et le vert pour différents états initiaux)

J'ai considéré qu'il y'a deux possibilités : la possibilité que l'état initial soit 1 et la possibilité que l'état initial soit 0 car 1 et 0 sont indiqués comme états initiaux par les flèches (je me trompe???).

J'ai considéré aussi que epsilon ne change rien donc on peut très bien commencer par 0 -> 1 (via epsilon) et cela ne changera rien.

Question 2 : Complétez l'automate A2 c'est-à-dire le rendre complet.
Ici, j'ai ajouté un puit tel que si l'on execute "a" à partir de 1 cela aura un sens et si l'on execute "b" à partir de 2 cela aura un sens aussi

reponse.jpg

Je me permets de poser une dernière question : on dit qu'un mot est accepté par l'automate s'il aboutit sur un état accepteur mais comment reconnaitrons-nous un état accepteur ? est-ce que ce sont les états qui sont doublement encerclés dans la première image : pour A2 ca sera 1 et pour A3 ca sera 2???

Prière de me corriger car le devoir est à rendre !
Merci infiniment !