Magist`ere d'Informatique ENS de Cachan Langages formels TD 4
Exercice 2. En utilisant le lemme d'Ogden énoncé en cours, montrer les assertions suivantes: ? L1 = {anbncn | n ? 0} est un langage non algébrique,.
Module Langages Formels TD 5 : Lemmes d'itération et Automates à ...En déduire le lemme d'Ogden. Lemme (Ogden) : Soit L un langage algébrique. Il existe un entier N tel que tout mot w ? L ayant au moins N positions ... Module Langages Formels TD 5Lemme (Ogden) : Soit L un langage algébrique. Il existe un entier N tel que pour tout mot z ? L dans lequel on marque au moins N positions distinctes, ... Grammaires algébriques - IrifDéduire du lemme d'Ogden appliqué à u = akbkck+k! pour un k assez grand la forme des dérivations possible pour u. 3. En déduire que le mot ak+k!bk+k!ck+k ...
Autres Cours:
