Grammaire hors contexte et NPDA

[Matheuuuh]

Bonjour à vous,

Du fait d'un double cursus j'ai loupé une semaine de cours en Structure de calcul analogique.

Du coup je ne vois pas du tout par où commencer pour résoudre cet exercice :

Est-ce que ces deux définitions de langages caractérisent le même langage ? On sait juste qu'elles définissent un langage accepté par un NPDA (Non Deterministic Pushdown Automata)

Definition 1: L(M) = {w;);)* | (q0, w, z) |;)|*M (qf, ;), u), qf ;)F, u;);)*}
Definition 2: L(M) = {w;);)* | (q0, w, z) |;)|* M (qf, ;), ;)), qf ;)F}

Mon cours en anglais ne me laisse que peu de marge de compréhension ... Si quelqu'un pouvez-vous me proposer la marche suivre (méthode décrite pas à pas) pour que je puisse y voir plus clair cela serait grandiose !

Merci à vous,

Bonne soirée,

Matheeeuh.