Scribd Logo
Importer

Bienvenue sur Scribd !

  • 57 vues

    Corrigée TD3

    Transféré par

    المندر لوصيف
    Le document présente plusieurs exercices sur les automates finis déterministes et non déterministes. Il demande de trouver des AEF reconnaissant certains langages, de déterminiser et minimiser des AEF, et de passer d'un AEF généralisé à un AEF simple équivalent.

    Droits d'auteur :

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

    Corrigée TD3

    Transféré par

    المندر لوصيف
    57 vues23 pages
    Le document présente plusieurs exercices sur les automates finis déterministes et non déterministes. Il demande de trouver des AEF reconnaissant certains langages, de déterminiser et minimiser des AEF, et de passer d'un AEF généralisé à un AEF simple équivalent.

    Description originale:

    theorie lanage

    Copyright

    © © All Rights Reserved

    Formats disponibles

    PPTX, 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 les automates finis déterministes et non déterministes. Il demande de trouver des AEF reconnaissant certains langages, de déterminiser et minimiser des AEF, et de passer d'un AEF généralisé à un AEF simple équivalent.

    Droits d'auteur :

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

    Corrigée TD3

    Transféré par

    المندر لوصيف
    Le document présente plusieurs exercices sur les automates finis déterministes et non déterministes. Il demande de trouver des AEF reconnaissant certains langages, de déterminiser et minimiser des AEF, et de passer d'un AEF généralisé à un AEF simple équivalent.

    Droits d'auteur :

    © All Rights Reserved
    Téléchargez comme PPTX, PDF, TXT ou lisez en ligne sur Scribd
    Télécharger au format pptx, pdf ou txt
    Vous êtes sur la page 1sur 23

    Corrigée TD3

    Exercice 2
    Trouver des AEFs qui reconnaissent les langages suivants :
    • L1 ={ε,a,ab}.
    • L2 ={ai,i ≥0}.
    • L3={aibjc2k,k,i ≥0,j > 1}.
    • L4 = L’ensemble des mots ayant au moins 3 zéros consécutifs ;
    • L5 = L’ensemble des mots dont l’avant-dernier symbole est un 1 ;
    • L6 = L'ensemble des mots qui finissent ou commencent par 01
    Solution exercice 2
    Solution exercice 2
    Exercice 3
     Soit A l'automate d'états finis suivant :

     Trouver l’automate d’états finis simple déterministe B tel


    que L(B)= L(A)
     Trouver l’automate d’états finis complément tel que L(C)=
    L(B)
    Solution exercice 3
    Solution exercice 3
    Solution exercice 3
    Solution exercice 3
    Exercice 4
     Minimisez l’automate suivant (l’état initial est 1,
    les états finaux sont {3, 6, 8}) :
    Solution exercice 4
     Etape 1
    A={3,6,8}  Etape 4
    B ={1,2,4,5,7,9} A={3,6,2}
     Etape 2 B ={1,4,7,9}
    A={3,6} C ={8}
    B ={1,2,4,5,7,9}
    D ={5}
    C ={8}
     Etape 5
     Etape 3
    A={3,6} A={3,6,2,7}
    B ={1,2,4,7,9} B ={1,4,9}
    C ={8} C ={8}
    D ={5} D ={5}
    Solution exercice 4
    Exercice 5

     Déterminisez et minimisez si nécessaire


    l’automate suivant :
    Solution exercice 5
    Solution exercice 5
    Solution exercice 5
    Exercice 6
     Soient l’AEF généralisé A1 suivant:
     A1 =(X,Q,I,F,δ) tel que : X={a,b}, Q={q0,q1,q2},
    I = q0, F={q0}et δ (q0,aa)= q0, δ(q0,ε)= q1,
    δ(q1,b)= q1, δ(q1,b)= q2, δ(q2,ε)= q0.
     1. Trouver l’AEF simple et déterministe
    équivalents à A1
     2. Trouver l’AEF minimal équivalent à A1
     3. Trouver une grammaire régulière qui génère le
    langage reconnus par A1
    Solution exercice 6
    Exo 6 : determinisation

    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