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

Bienvenue sur Scribd !

  • 288 vues

    Présentation Compilation AFD

    Transféré par

    sss
    Un automate fini déterministe est défini par un quintuplet composé d'un alphabet, d'un ensemble d'états, d'un état initial, d'un ensemble de règles de transitions et d'états finaux. Il reconnaît des mots sur cet alphabet en suivant un chemin d'états.

    Droits d'auteur :

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

    Présentation Compilation AFD

    Transféré par

    sss
    288 vues9 pages
    Un automate fini déterministe est défini par un quintuplet composé d'un alphabet, d'un ensemble d'états, d'un état initial, d'un ensemble de règles de transitions et d'états finaux. Il reconnaît des mots sur cet alphabet en suivant un chemin d'états.

    Description originale:

    Compilation en Smi S5

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

    Un automate fini déterministe est défini par un quintuplet composé d'un alphabet, d'un ensemble d'états, d'un état initial, d'un ensemble de règles de transitions et d'états finaux. Il reconnaît des mots sur cet alphabet en suivant un chemin d'états.

    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
    288 vues9 pages

    Présentation Compilation AFD

    Transféré par

    sss
    Un automate fini déterministe est défini par un quintuplet composé d'un alphabet, d'un ensemble d'états, d'un état initial, d'un ensemble de règles de transitions et d'états finaux. Il reconnaît des mots sur cet alphabet en suivant un chemin d'états.

    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 9

    Automate fini déterministe

    Un automate est un quintuplet (cinq-uplet) (∑, E, S, T, F) avec :


    ∑ : est un alphabet
    E : ensemble fini d’états
    S : état initial
    T : ensemble de règles de transitions (fonction de transition)
    F : ensemble des états finaux ou accepteurs (sous ensemble
    de E)
    L’automate fini déterministe (AFD) prend en entrée un mot (une
    chaîne) et l’accepte ou le rejette.
     On dit qu’il le reconnaît ou ne le reconnaît pas.
    Le langage associé à AFD est constitué de l’ensemble des mots
    qu’il reconnaît.

    19/10/2017 1
    Automate fini déterministe

    Un mot est une séquence finie de symboles (chaîne) issus


    d’un même alphabet.
    La longueur du mot w (notée |w|) est définie par le nombre de
    caractères composant ce mot.
    Le mot vide, noté ε a une longueur égale à 0.
    Un langage est un ensemble de mots définis sur le même
    alphabet.

    19/10/2017 2
    Automate fini déterministe

    a|b
    Exemple:
    a b
    - Alphabet: ∑ ={a,b} q0 q1 q3

    - Ensemble d’états: E={q0, q1, q2, q3} b


    a
    - Etat initial: S={q0} q2

    - Ensemble d’états finaux: F={q1, q3}

    Notation: L’etat initial est désigné par une flèche et les états
    finaux par des doubles cercles.

    19/10/2017 3
    Automate fini déterministe

    Un AFD est un ensemble d’états représentés par des cercles,


    et un ensemble de transitions représentées par des flèches (ou
    arcs) reliant les états.
    Les arcs sont étiqueté par les symboles de ∑.
    Un AFD permet de reconnaitre les différents mots d’un
    langage.
    Le dernier état qui permet de reconnaitre une unité lexicale
    s’appelle état final (état accepteur).
    Un AFD accepte un mot donné s’il existe un chemin de
    l'état initial à un état final étiqueté par tous les caractères
    du mot.

    19/10/2017 4
    Automate fini déterministe

    Etat puit:
    Dans un AFD, l’état puit est un état à partir duquel on ne peut
    pas aller à l’état final.
    Un DFA peut avoir plusieurs états puit.

    q2
    a|b
    b
    a
    q0 q1 q3
    a b

    q2 est un état puit

    19/10/2017 5
    Automate fini déterministe

    Un AFD est un diagramme qui vérifie les deux critères:


    - dans l’automate on doit pas avoir des transitions vides (Ɛ-
    transitions).
    - À partir d’un état donné, on ne peut pas avoir deux ou
    plusieurs arcs sortant qui portent la même étiquette (symbole).

    Exemple:
    L’automate suivant n’est pas déterministe. b
    a b
    q0 q1 q3

    b a
    a
    q2

    19/10/2017 6
    Automate fini déterministe

    Automate fini non déterministe:


    Un automate fini non déterministe (AFN) est un automate
    dans lequel et à partir d’un état donné, il peut y
    avoir plusieurs transitions avec le même symbole.
    Les AFN permettent de modéliser facilement des
    problèmes complexes.
    Un peut être converti en un AFD.
    Un AFD est souvent grand que l’AFN dont il est issu.

    19/10/2017 7
    Automate fini déterministe

    Dans le cas où une unité lexicale est donnée par une


    expression régulière, cette dernière est transformée directement
    en un AFD ou en un AFN qui transformé par la suite à un AFD.
    ER  AFN  AFD

    19/10/2017 8
    Automate fini déterministe

    Exercices

    19/10/2017 9

    Vous aimerez peut-être aussi