Tlaserie 2 correc ISG Année Universitaire Théorie des Langages et des Automates ème année IAG semestre Cours Mme Lamia EL ABED JILANI et Mme Kaothar NOUIRA FERCHICHI - TD M Badr MEFTAHI Série N Langages Réguliers Spéci ?cations par des expressions réguliè

ISG Année Universitaire Théorie des Langages et des Automates ème année IAG semestre Cours Mme Lamia EL ABED JILANI et Mme Kaothar NOUIRA FERCHICHI - TD M Badr MEFTAHI Série N Langages Réguliers Spéci ?cations par des expressions régulières et Reconnaissance par des AEF Correction Exercice La démonstration se fait en revenant à la dé ?nition d'une expression régulière sachant que tout langage régulier peut être exprimé par une expression régulière Décrivez en langage naturel les langages réguliers suivants L a ?? b aa a ?? b les mots dé ?nis sur S a b et tel qu'ils contiennent au moins la sous chaine aa L a ?? c bd les mots dé ?nis sur S a b c d et tel qu'ils commencent par a ou c suvi par zéro ou plusieurs b et ?nissant par d L a ?? ba ?? bba ?? b ?? bb les mots dé ?nis sur S a b et tel qu'ils ne contiennent pas b successifs L a ?? b les mots dé ?nis sur S a b pouvant être la cha? ne vide ou n'importe quelle chaine avec des a et ou des b ou les deux à la fois avec des a et des b Proposer pour chaque expression régulière une autre expression régulière équivalente a ?? b équivalent à b ?? a a a a ?? b ?? a a ?? b ?? a On sait que ces langages sont réguliers les décrire yèpar des expressions régulières L ab expression régulière ab L anbam n m expression régulière aba L an n expression régulière aaaa Exercice L La conjugaison du verbe regarder au futur simple L Les heures sur h de la forme hh H mm Exercice L e a b ab ? ER e a b ab L bn n n étant un entier ? ER bbb CISG Année Universitaire Théorie des Langages et des Automates ème année IAG semestre Cours Mme Lamia EL ABED JILANI et Mme Kaothar NOUIRA FERCHICHI - TD M Badr MEFTAHI L w? a b tel que w contient seulement b le reste c'est des a's ? ER abababa L w? a b tel que w contient un nombre de a divisible par ? ER bababab È b L w? a b tel que w contient un nombre paire de a ? ER b aba b L w? a b tel que w contient un nombre impaire de b ? ER ab a bab a L w? ? w ne contient pas b consécutifs ? ER a È ba È bba e È b È bb L w? a b tel que w contient la sous cha? ne aaa ou la sous cha? ne bbb mais pas les deux en même temps On remarque que L L È L avec L w? a b tel que w contient la sous cha? ne aaa mais pas la sous cha? ne bbb L w? a b tel que w contient la sous cha? ne bbb

  • 46
  • 0
  • 0
Afficher les détails des licences
Licence et utilisation
Gratuit pour un usage personnel Attribution requise
Partager