Bonjour,
je suis en train de faire un exo, je pense avoir compris intuitivement comment ca marche, mais je n'ai aucune idee de comment le prouver.
Voici l'enonce :
Soit G = (Term, Non-Term, Regles, Tdebut) une grammaire, ou Term est l'ensemble des terminaux, Non-Term l'ensemble des Non-Terminaux, Regles l'ensemble des regles et Tdebut le terminal de depart dans la grammaire.
On peut supposer que la grammaire G est donnee sous forme normale de Chomsky.
Soit A un automate A = (Q, Term, Transitions, {i}, {f}) reconnaissant le langage rationnel K.
On definit une grammaire G' = (Term, Non-Term', Regles' ) avec
et
Je dois montrer que =
Merci d'avance pour une methode,