Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Importer

Bienvenue sur Scribd !

  • 183 vues

    Examen

    Transféré par

    zineb sebti
    Le document contient deux exercices sur la théorie des langages. Le premier exercice porte sur des expressions régulières et leurs langages associés. Le deuxième exercice concerne un automate fini non déterministe, sa déterminisation et minimisation.

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd

    Examen

    Transféré par

    zineb sebti
    183 vues2 pages
    Le document contient deux exercices sur la théorie des langages. Le premier exercice porte sur des expressions régulières et leurs langages associés. Le deuxième exercice concerne un automate fini non déterministe, sa déterminisation et minimisation.

    Titre original

    examen

    Copyright

    © © All Rights Reserved

    Formats disponibles

    PDF, TXT ou lisez en ligne sur Scribd

    Avez-vous trouvé ce document utile ?

    Ce contenu est-il inapproprié ?

    Le document contient deux exercices sur la théorie des langages. Le premier exercice porte sur des expressions régulières et leurs langages associés. Le deuxième exercice concerne un automate fini non déterministe, sa déterminisation et minimisation.

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Télécharger au format pdf ou txt
    183 vues2 pages

    Examen

    Transféré par

    zineb sebti
    Le document contient deux exercices sur la théorie des langages. Le premier exercice porte sur des expressions régulières et leurs langages associés. Le deuxième exercice concerne un automate fini non déterministe, sa déterminisation et minimisation.

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PDF, TXT ou lisez en ligne sur Scribd
    Télécharger au format pdf ou txt
    sur 2

    Théorie des Langages – ESTC GI2 Enseignante : Mme Houda ANOUN

    Examen de théorie de langages (durée : 1H30)


    Exercice 1

    Partie A

    1. Décrire informellement (de manière rigoureuse et lisible) les langages associés aux
    expressions régulières suivantes :
     e1= (a|b)*b(a|b)*a(a|b)*
     e2= b*ab* | a*ba*
     e3= (ba | a)* b?
    2. Parmi les mots suivants, lesquels respectent ces trois expressions régulières ? Justifiez votre
    réponse :
     aaabaaa
     aaaaaab
     bbabbb
    3. Parmi les propositions suivantes, lesquelles sont valides ? Justifier votre réponse
     Le langage L(e2)  ({a}*  {b}*) est composé de deux mots
     Le mot le plus court de L(e1) est de taille 2
     Tous les mots de L(e3) admettent b comme suffixe
     Il existe exactement 3 mots de taille 3 qui ne respectent pas e1
    4. Combien existe-t-il de mots de taille 2020 qui respectent e2 ?
    5. Proposer une expression régulière pour décrire le langage L(e1) L(e2) L(e3)

    Partie B

    Proposer des expressions régulières adéquates pour décrire les langages suivants :

    1. Les mots sur {a, b} qui commencent par a et dont la taille est paire
    2. Les mots sur {a, b} qui ne contiennent pas la sous-chaine aaa
    3. Les mots sur {a, b} qui contiennent exactement deux voisins identiques

    Exercice 2

    Soit l’alphabet = {a, b}. L’automate fini non-déterministe A est représenté par le graphe suivant :
    Théorie des Langages – ESTC GI2 Enseignante : Mme Houda ANOUN

    1. Pourquoi cet automate est non-déterministe ?


    2. Présenter la table de transition de l’automate
    3. Parmi les propositions suivantes, lesquelles sont valides ?
    3.1. Les mots reconnus par A admettent a comme suffixe
    3.2. L’état 5 appartient à -fermeture ({1})
    3.3. Il y’a exactement 2 mots de taille 2 reconnus par A
    4. Le mot abababa est-il reconnu par A ? Justifier votre réponse.
    Même question pour le mot bababba
    5. Déterminiser l’automate A
    6. Minimiser l’AFD obtenu après déterminisation de A et dessiner le graphe de l’AFD minimal
    7. Proposer une expression régulière pour décrire le langage L(A) reconnu par A ainsi qu’une
    description informelle de ce langage
    8. Proposer un AFD minimal pour le langage complémentaire de L(A) (les mots non reconnus par
    A)

    Vous aimerez peut-être aussi