Scribd Logo
Importer

Bienvenue sur Scribd !

  • 221 vues

    TD3 Théorie Des Langages

    Transféré par

    Hanan bedm
    Le document présente plusieurs exercices sur la modélisation de langages formels à l'aide d'automates non déterministes et déterministes. Les exercices portent sur la construction d'automates pour des langages donnés et la détermination d'automates équivalents.

    Droits d'auteur :

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

    TD3 Théorie Des Langages

    Transféré par

    Hanan bedm
    221 vues2 pages
    Le document présente plusieurs exercices sur la modélisation de langages formels à l'aide d'automates non déterministes et déterministes. Les exercices portent sur la construction d'automates pour des langages donnés et la détermination d'automates équivalents.

    Titre original

    TD3 Théorie des langages

    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 présente plusieurs exercices sur la modélisation de langages formels à l'aide d'automates non déterministes et déterministes. Les exercices portent sur la construction d'automates pour des langages donnés et la détermination d'automates équivalents.

    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
    221 vues2 pages

    TD3 Théorie Des Langages

    Transféré par

    Hanan bedm
    Le document présente plusieurs exercices sur la modélisation de langages formels à l'aide d'automates non déterministes et déterministes. Les exercices portent sur la construction d'automates pour des langages donnés et la détermination d'automates équivalents.

    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 2

    Département : Informatique

    Spécialité: Informatique, Niveau : Licence 2


    Matière : Théorie des Langages

    Série de TD N° : 03 Faculté des


    Mathématiques et de
    Automates Non Déterministes l'Informatique

    Exercice 3.1 Modélisez chacun des langages suivants, tous définis sur  = {a,b}, sous la
    forme d’un automate non déterministe, puis déterminez l’automate déterministe équivalent :
     Le langage des mots dont l’avant-dernier symbole est a : {w.a.w’ | w *, w’  1}.
     Le langage des mots dont l’avant-avant-dernier symbole est a: {w.a.w’|w*, w’  2}.
     Le langage des mots contenant le facteur aa ou (non exclusif) le facteur bb :
    { w.aa.w’ | w,w’ *}  {w.bb.w’ | w,w’  *}.

    Exercice 3.2. A l’aide d’un automate non déterministe avec -transitions, modélisez le
    langage défini sur  = {I, V, X, L, C, D, M} contenant tous les nombres romains compris
    entre I (1) et CMXCIX (999) ainsi que . Déterminez l’-fermeture de l’état initial de votre
    automate.

    Exercice 3.3. Pour chacun des trois -AEFND suivants, dont on donne soit le diagramme de
    transition soit la table de transition, déterminez l’AEFD équivalent :

    a b 
     q0 { q1 }  
    q1 { q2 , q3} { q2} 
    q2  { q1 , q3} 
     q3   { q2 }

    a b 
     q0 { q1 }  { q2 }
    q1 { q1 , q2} { q2} 
    q2 { q3}  
     q3  { q0 } { q1}

    Responsable du module : Nouioua Farid


    Année Universitaire : 2020-2021 Page 1/2
    Exercices supplémentaires
    Exercice 3.4 Déterminiser les deux automates suivants :

    a b c d a b c d
     q0 {q1, q2} { q3} { q1 } { q2 }  q0 { q1 , q2} { q3} { q1 , q3} { q2 }
    q1 {q0} { q1 , q3} { q1 } { q2 } q1 { q0} { q1 , q3} { q1} { q1 , q2}
    q2 {q1} { q3} { q0 , q3} { q0 } q2 { q1 , q3} { q3} { q0 , q3} { q0}
     q3 {q2} { q1 } { q0} { q0 , q2}  q3 { q2 } { q0 , q1} { q0} { q0 , q2}
    A1 A2

    Exercice 3.5 Déterminiser les deux automates suivants :

    Exercice 3.6 Soit l’automate suivant :

    1) Y a-t-il des états non accessibles dans cet automate ? Si oui, enlever ces états.
    2) Même question pour les états non co-accessibles.
    3) Déterminiser l’automate obtenu après l’élimination de ces états.

    Exercice 3.7 Donner un automate non déterministe puis un automate déterministe pour les
    langages suivants :
     L1 = {a, b, c}*{a}{a, b, c}*{b}  {c}{a, b}*.
     L2 = {a, b}*a{a, b}*.

    Responsable du module : Nouioua Farid


    Année Universitaire : 2020-2021 Page 2/2

    Vous aimerez peut-être aussi

    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy