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

Bienvenue sur Scribd !

  • 201 vues

    Lac TD - 1

    Transféré par

    Abdou Aziz Sy Ndiaye
    Ce document contient plusieurs exercices sur les langages formels et les expressions régulières portant sur des opérations sur des langages, la caractérisation de langages à partir d'expressions régulières et la preuve d'un lemme sur la clôture d'un langage par la concaténation.

    Droits d'auteur :

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

    Lac TD - 1

    Transféré par

    Abdou Aziz Sy Ndiaye
    201 vues2 pages
    Ce document contient plusieurs exercices sur les langages formels et les expressions régulières portant sur des opérations sur des langages, la caractérisation de langages à partir d'expressions régulières et la preuve d'un lemme sur la clôture d'un langage par la concaténation.

    Titre original

    LAC TD_1

    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 contient plusieurs exercices sur les langages formels et les expressions régulières portant sur des opérations sur des langages, la caractérisation de langages à partir d'expressions régulières et la preuve d'un lemme sur la clôture d'un langage par la concaténation.

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

    Lac TD - 1

    Transféré par

    Abdou Aziz Sy Ndiaye
    Ce document contient plusieurs exercices sur les langages formels et les expressions régulières portant sur des opérations sur des langages, la caractérisation de langages à partir d'expressions régulières et la preuve d'un lemme sur la clôture d'un langage par la concaténation.

    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

    Université de Thiès Année universitaire 2019-2020

    UFR des Sciences Et Technologies


    Département d'Informatique
    ----------------------
    Licence 3 en Informatique option GL
    Unité d'Enseignement : Informatique
    Elément Constitutif : Langages, Automates et Compilation
    ---------------------
    Responsable CM/TD : Dr Mouhamadou GAYE

    TD 1

    Exercice 1

    Soient L = {aa, bb} et M = {ε, b, ab}.

    1. Enumérer les mots de LM et L⊔M.


    2. Enumérer les mots de M ∗ de longueur au plus trois.
    3. Combien de mots de longueur six possède le langage L∗ ?
    4. Combien de mots de longueur n ∈ N possède le langage L∗ ?

    Exercice 2

    Donner tous les mots de taille 0, 1, 2, 3, et 4 des langages désignés par les expressions
    régulières suivantes :

    1. (ab)∗ + bbb
    2. (a(ba∗) + a∗)∗
    3. ab(bbc)∗
    4. (a + b)∗b∗
    5. a(aa + b(ab)∗a)∗a

    Exercice 3

    Soit l’alphabet {→, ←, ↑, ↓} où chaque flèche représente un déplacement d’une unité dans le
    plan muni d’un repère orthonormé.

    1. Caractériser l’ensemble des mots correspondant à un déplacement du point de


    coordonnées (0, 0) au point de coordonnées (1, 1).
    2. Même question, mais cette fois, on se restreint au déplacements dans le premier
    quadrant (on ne peut se trouver en un point dont une des coordonnées serait
    strictement négative).

    1/2
    Exercice 4

    Soit l’alphabet Σ = {a, b}

    1. Donner une expression régulière du langage formé des mots de longueur au moins 2
    pour lesquels tous les a éventuellement présents précèdent les b (éventuellement
    présents).
    2. Donner une expression régulière du langage formé des mots qui ne contiennent pas le
    facteur ba.
    3. Donner une expression régulière du langage formé des mots qui contiennent
    simultanément le facteur aa et le facteur bb.
    4. Donner une expression régulière du langage formé des mots qui contiennent le facteur
    aa ou le facteur bb, mais pas ces deux facteurs simultanément.
    5. Donner une expression régulière du langage formé des mots qui contiennent
    exactement deux fois le facteur aa. (Suggestion : attention au facteur aaa).
    6. Donner une expression régulière du langage formé des mots qui contiennent le facteur
    aa exactement une fois.
    7. Donner une expression régulière du langage formé des mots de longueur impaire et
    qui contiennent le facteur bb.
    8. Donner une expression régulière du langage formé des mots commençant par a,
    finissant par b et n’ayant pas deux a ou deux b consécutifs

    Exercice 5

    Pour chacun des langages suivants sur l’alphabet Σ = {0, 1}, donner l'expression régulière qui
    le dénote.

    1. L1 = {0n 1m | n>0, m ≥ 0}. •


    2. L2 : l’ensemble des mots contenant 11.
    3. L3 : l’ensemble des mots contenant 001.
    4. L4 : l’ensemble des mots contenant 001 et 11.
    5. L5 : l’ensemble des mots contenant 001 ou 11.
    6. L6 : l’ensemble des mots dont le 4ème symbole, compté à partir de la fin de la chaîne,
    est un 1.

    Exercice 6

    Donner la preuve du lemme suivant :

    Pour tout langage L, L* est le plus petit langage contenant L et clos pour la concaténation.

    2/2

    Vous aimerez peut-être aussi