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

Bienvenue sur Scribd !

  • 9 vues

    Série 3 TLA

    Transféré par

    Emna Frikha

    Droits d'auteur :

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

    Série 3 TLA

    Transféré par

    Emna Frikha
    9 vues3 pages

    Titre original

    série3TLA

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

    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
    9 vues3 pages

    Série 3 TLA

    Transféré par

    Emna Frikha

    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 3

    Ecole Nationale d'Ingénieurs de Tunis A.U.

    2023/2024
    Département TIC
    1aInfo.
    Théorie des langages et des automates
    Série 3

    1. Déterminez si les assertions suivantes sont vraies ou fausses :


    (a) La concaténation de deux langages réguliers est un langage régulier.
    (b) L'union de deux langages réguliers est un langage régulier.
    (c) La fermeture itérative d'un langage régulier est un langage régulier.
    (d) Toute union nie de langages réguliers est un langage régulier.
    (e) Toute union innie de langages réguliers est un langage régulier.
    (f) Le complémentaire d'un langage régulier est un langage régulier.
    (g) L'intesection de deux langages réguliers est un langage régulier.
    (h) Si L et L sont réguliers, alors L \L = {x | x ∈ L et x ∈/ L } est régulier.
    1 2 1 2 1 2
    (i) Tout sous-ensemble d'un langage régulier est régulier.
    (j) si L est régulier, alors {ww | w ∈ L} est régulier.
    R

    (Note : Si w = w w . . . w alors w = w . . . w w ).
    0 1 n
    R
    n 1 0

    2. Soit L et L deux langages dénis par :


    1 2

    L1 = {10n 10n | n ∈ N}
    L2 = {10m 10n | m, n ∈ N}

    (a) Un de ces langages est régulier et l'autre pas. Lequel des deux langages est celui qui
    est régulier? Donner une expression régulière le dénotant.
    (b) Lequel des deux langages est celui qui est non régulier? Donner une preuve en utili-
    sant le théorème du gonement.
    3. Montrer que le langage de tous les mots sur Σ = {0, 1} de la forme ωω̄ n'est pas régulier.
    Indication : on utilisera le théorème du gonement (2 version).
    eme

    4. Soit le langage déni sur l'alphabet {a, b} par L = {a b | n divise m}. Montrer que L
    n m

    est non régulier.


    Indication : on utilisera le théorème du gonement (2 version), on supposera que L
    eme

    est accepté par un automate ni comportant K > 0 etats, et on raisonnera sur le mot
    a b .
    K K

    5. En utilisant le théorème du gonement (version 2), montrer que pour tout automate ni
    déterministe A, ayant pour ensemble d'état Q, A accepte un langage inni ssi A accepte
    un mot de longueur supérieure ou égale à |Q| et un autre de longueur inférieure à |Q|.

    1
    6. Quel est le langage accepté par l'automate A = (Q, Σ, Γ, ∆, Z, s, F ) décrit ci-dessous?
     Q = {s, p, q, f },
     Σ = {a, b, c},
     Γ = {A},
     F = {f } et ∆ contient les transitions
    (s, a, ε) → (s, A) (s, b, ε) → (q, ε) (s, c, A) → (p, ε)
    (q, b, ε) → (q, ε) (q, c, A) → (p, ε) (p, c, A) → (p, ε)
    (p, ε, Z) → (f, ε)

    7. Montrer que le langage des mots construits sur l'alphabet {a, b} et comportant plus de a
    que de b (dans un ordre quelconque) n'est pas régulier mais hors contexte.
    8. Soit le langage L = {a b | m < n}.
    m n

    (a) Montrez que L n'est pas régulier en utilisant la deuxième version du théorème du
    gonement.
    (b) Montrez que L est hors-contexte.
    (c) Déduisez que L = {a b | m ≤ n} est également hors-contexte.
    0 m n

    9. Montrez que le langage L = {a b | n 6= m} est hors-contexte. Le complément de ce


    n m

    langage est-il hors-contexte?


    10. Décrivez un automate à pile acceptant chacun des langages suivants :
    abc ,n n m

    ab c ,
    n n+m m

     L = {a x | x ∈ {a, b} et |x| ≤ n}.


    n ∗

     Le langage généré par la grammaire dénie par les règles suivantes :


    S → SS, S → aSb, S → ε.

    11. De quels type est chacune des grammaires suivantes? Simpliez puis décrivez les langages
    générés.
    (a) S → AA (b) S → U G
    S → ab U → uU
    S → aab U →ε
    A → ba G → xG
    A → ab G→x
    A→ε

    (c) S → AA (d) S→U |G


    S → ab U → uU
    bA → ba G → xG
    A → ab G→x
    A→ε

    12. Soit la grammaire hors-contexte G suivante. Déterminez le langage généré par G.


    S −→ aB | bA

    2
    A −→ a | aS | bAA
    B −→ b | bS | aBB

    13. Donnez une grammaire générant chacun des langages suivants :


    (a) (b ∪ ab ∪ aab) ( ∪ a).
    ∗

    (b) Le langage des palindromes sur {a, b}.


    (c) a b .
    n 2n

    (d) a b c .
    n m n

    (e) {a b c | m + n = p}.
    m n p

    (f) {a b c | m ≤ n ou n ≥ p}.
    m n p

    14. Mettez les deux grammaires hors-contexte suivantes sous forme normale de Chomsky :
    S −→ aSaA | A
    A −→ abA | b

    S −→ abAB
    A −→ bAB | 
    B −→ BAa | A | 

    S −→ AB | aB
    A −→ aab | 
    B −→ bbA

    15. Soit G = (V, Σ, R, S) une grammaire hors-contexte propre sans règle unitaire. Désignons
    par k le nombre maximum de symboles pouvant se trouver dans la partie droite d'une
    règle de G.
    Montrez qu'il existe une grammaire équivalente à G, qui est sous forme normale de Chom-
    sky et qui comporte, au plus, (k − 1)|R| + |Σ| règles.

    Vous aimerez peut-être aussi