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

Bienvenue sur Scribd !

  • 201 vues

    Fiche 3 TP - THL

    Transféré par

    Manel Dulunay
    Ce document présente trois exercices sur la théorie des langages pour des étudiants de deuxième année. Le premier exercice porte sur l'implémentation d'un reconnaisseur d'automate à états finis. Le deuxième exercice demande de reconnaître si un mot donné appartient à un langage spécifique. Le troisième exercice concerne la construction d'un automate fini déterministe à partir d'une expression régulière.

    Droits d'auteur :

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

    Fiche 3 TP - THL

    Transféré par

    Manel Dulunay
    201 vues1 page
    Ce document présente trois exercices sur la théorie des langages pour des étudiants de deuxième année. Le premier exercice porte sur l'implémentation d'un reconnaisseur d'automate à états finis. Le deuxième exercice demande de reconnaître si un mot donné appartient à un langage spécifique. Le troisième exercice concerne la construction d'un automate fini déterministe à partir d'une expression régulière.

    Description originale:

    tp3 thl

    Titre original

    Fiche 3 TP_THL (2)

    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é ?

    Ce document présente trois exercices sur la théorie des langages pour des étudiants de deuxième année. Le premier exercice porte sur l'implémentation d'un reconnaisseur d'automate à états finis. Le deuxième exercice demande de reconnaître si un mot donné appartient à un langage spécifique. Le troisième exercice concerne la construction d'un automate fini déterministe à partir d'une expression régulière.

    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
    201 vues1 page

    Fiche 3 TP - THL

    Transféré par

    Manel Dulunay
    Ce document présente trois exercices sur la théorie des langages pour des étudiants de deuxième année. Le premier exercice porte sur l'implémentation d'un reconnaisseur d'automate à états finis. Le deuxième exercice demande de reconnaître si un mot donné appartient à un langage spécifique. Le troisième exercice concerne la construction d'un automate fini déterministe à partir d'une expression régulière.

    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
    Vous êtes sur la page 1sur 1

    Théorie des langages : Licence 2ième année

    Fiche de TP n° 3

    Exercice 1 : Implémentation de reconnaisseur


    L’objectif visé par cet exercice est l’apprentissage de méthodes d’implémentation d’un
    reconnaisseur, plus particulièrement d’un automate d’états finis (AEF) dans le cas des langages
    réguliers.

    Donner un programme en C qui fait l’implémentation d’un reconnaisseur. On donnera 2 types


    de solutions :
    a) Une 1ere implémentation en C où on considérera un automate d’états finis déterministe
    (AEFD). Cette implémentation reposera sur 3 types d’objets : les états, les transitions
    et les automates. Les états et les transitions d’états d’un automate sont stockés dans des
    tableaux dynamiques car nous ne pouvons connaitre à priori la taille de ces tableaux.

    b) Une autre implémentation en C où on considère une solution qui représente l’ensemble


    des états courants d’un automate d’états finis non-déterministe (AEFND) par un vecteur
    de booléens.

    Les détails concernant les 2 solutions seront donnés ultérieurement. Les étudiants doivent
    d’abord réfléchir à la solution.

    Exercice 2 : Appartenance d’un mot à un langage donné


    L’objectif ici est de mettre l’accent sur la phase de reconnaissance réalisée par un AEF.

    Donnez un programme C qui accepte un mot écrit sur l’alphabet  = {a, b}, entré au clavier,
    s’il appartient au langage L = {f  * / f est une suite de nombre pair de a entrecoupée d’un
    nombre quelconque de b}
    Exemple :
    Les mots {, b, aa, bb, aab, baa, bbb, aabb, baab, bbaa, bbbb} appartiennent au langage L mais
    les mots {a, ab, ba, aba, bab, abab, baba} n’appartiennent pas à L.

    Exercice 3 : Construction d'un AFD à partir d'une expression régulière


    L’objectif ici est de mettre l’accent sur l’équivalence entre un AEF et une expression régulière.
    La construction d'un AFD à partir d'une expression régulière se déroule en deux étapes :
     Construire un arbre syntaxique à partir de l'expression régulière
     Conversion de l’arbre syntaxique en AFD

    Bourenane Malika

    Vous aimerez peut-être aussi