Bonjour, a vous,
j'arrive pas à prouver voir différencier le langage à état et le langage reconnu par un automate dans le cours c'est bien défini qu'un langage est EF ssi il existe un automate qui le reconnait, mais pratiquement j'ai du mal à le prouver sur une démonstration et sur un automate.
plus loin sur le lemme d’itération je vois pas comment trouver le mot w pour passer à l’étape suivante.
Merci de me clarifier cette partie.