Вы находитесь на странице: 1из 3

Université Nice Sophia Antipolis L3 Info, L3 Math-MI

Automates & Langages 2017–2018

TD no 1

Langages rationnels et automates finis

Exercice 1) On se place sur l’alphabet Σ = {0, 1}. Parmi les expressions régulières suivantes,
dites lesquelles décrivent le langage Σ∗ . Vous donnerez tour à tour soit une idée de la démons-
tration, soit un contre-exemple :
1. (0∗ 1)∗ + (1∗ 0)∗
2. ∅ + ε + 0(0 + 1)∗ + 1(0 + 1)∗
3. 0+ + 0∗ (10∗ )+
4. (0∗ 1∗ )∗
5. 0∗ (10∗ )∗
6. 0∗ + 0∗ 1(0 + 1)∗
7. 0∗ (1+ 0+ )∗ 1∗

Exercice 2) Donnez une expression régulière permettant de décrire les langages suivants :
1. les représentations binaires des entiers sans 0 inutiles en tête ;
2. les identificateurs en PASCAL : suite alphanumérique commençant par une lettre (pas de
limitation sur le nombre de caractères) ;
3. les réels en C : on suppose que chaque réel a un point (pas une virgule !) et contient
au moins un chiffre avant et après le point. Exemples : +1.0, 12.34e-5, -0.7e07,
12.001E+9 . . . .

0 0
1 1 0
q0 q1 q2 q3

1 1

F IGURE 1 – L’automate fini A

Exercice 3) Considérons l’automate fini A = (Σ, Q, δ, q0 , F ) sur l’alphabet Σ = {0, 1}, avec
Q = {q0 , q1 , q2 , q3 } et F = {q3 }. La relation δ se déduit aisément du schéma ci-dessus.

1
1. Donnez une expression régulière décrivant le langage L reconnu par l’automate A.
2. Comment décririez-vous le langage L en français ? Et le langage L∗ ?
3. Construisez puis dessinez l’automate D, obtenu en déterminisant l’automate A.
4. Tentez de trouver directement à partir de A un autre automate déterministe D ′ , plus
simple que l’automate D.

Exercice 4) Voici la définition inductive de l’ordre préfixe (noté ≤préf ) sur l’alphabet Σ quel-
conque :
Base : ε ≤préf ε
Induction : ∀u, v ∈ Σ∗ ,
∀α ∈ Σ,
si u ≤préf v alors u ≤préf vα
αu ≤préf αv

1. Dessinez le diagramme de Hasse de l’ordre préfixe pour les mots de longueur inférieure
ou égale à 3 sur l’alphabet Σ = {0, 1}.
2. Donnez la définition inductive de l’ordre “facteur’.

Exercice 5) Considérons L un langage quelconque. On note L+ la fermeture de Kleene d’un


langage, privée de la puissance 0 de ce langageS
:
L+ = i>0 Li
1. L∗ est-il toujours un langage infini ?
2. L+ est-il toujours un langage infini ?
3. L∗ \ L+ = {ε} est-il toujours vrai ?

2
Exercices complémentaires

Exercice 6) F LEX est un générateur automatique d’analyseurs lexicaux. Voici les conventions
pour décrire une expression régulière (étendue) en F LEX :
"" texte non interprété
\ caractère d’après interprété tel quel
[ ] ensemble de caractères mais
opérateurs ignorés sauf :
- (intervalle)
^ (complémentaire)
\ (échappement)
? élément facultatif
. n’importe quel caractère
(sauf fin de ligne)
* 0 ou plusieurs fois
+ 1 ou plusieurs fois
| alternative
( ) pour grouper
... ...

Compte tenu de ces définitions, quel est le langage qui se cache sous l’expression régulière
(étendue) F LEX suivante ?

"(*"[^*]*[*]+([^)*][^*]*[*]+)*")"

Exercice 7) Sur l’alphabet {0, 1}, quel est le langage dénoté par l’expression régulière E sui-
vante ?
E : (0 + 1)∗ (00 + 11)(0 + 1)∗
1. Quel est son complémentaire ? Trouvez une expression régulière qui le dénote.
2. Appliquez à E l’algorithme pour passer directement d’une expression régulière à un
automate fini déterministe.

Вам также может понравиться

  • 3 - Exercices Corriges Theorie de Langages 4info
    3 - Exercices Corriges Theorie de Langages 4info
    Документ47 страниц
    3 - Exercices Corriges Theorie de Langages 4info
    Fatiha Ait Bourhou
    100% (7)
  • Exam 2021
    Exam 2021
    Документ2 страницы
    Exam 2021
    Ons GZAM
    Оценок пока нет
  • Cours TLA1
    Cours TLA1
    Документ6 страниц
    Cours TLA1
    Arij Korkad
    Оценок пока нет
  • Diapo7 + TD 3
    Diapo7 + TD 3
    Документ18 страниц
    Diapo7 + TD 3
    YOUSSEF ELBAAOUI
    100% (1)
  • Grapes1TD2 2
    Grapes1TD2 2
    Документ4 страницы
    Grapes1TD2 2
    jomalike
    Оценок пока нет
  • TL SupportDeCours MarcChemillier
    TL SupportDeCours MarcChemillier
    Документ48 страниц
    TL SupportDeCours MarcChemillier
    Yassine Kadri
    Оценок пока нет
  • Analyse Lexicale
    Analyse Lexicale
    Документ6 страниц
    Analyse Lexicale
    sailor21316
    Оценок пока нет
  • Ds PDF
    Ds PDF
    Документ4 страницы
    Ds PDF
    Hatim Anas
    Оценок пока нет
  • Exercice T Langage 24
    Exercice T Langage 24
    Документ5 страниц
    Exercice T Langage 24
    dey.ferrier.ram
    100% (1)
  • Chapitre 2 Theorie Des Langages Et Automates
    Chapitre 2 Theorie Des Langages Et Automates
    Документ8 страниц
    Chapitre 2 Theorie Des Langages Et Automates
    Michelle Willis
    100% (1)
  • Sed API PDF
    Sed API PDF
    Документ61 страница
    Sed API PDF
    nina
    Оценок пока нет
  • TD TC
    TD TC
    Документ9 страниц
    TD TC
    Ryma Mahfoudhi
    Оценок пока нет
  • TDN 3 - Traduction Dirig Ee Par La Syntaxe
    TDN 3 - Traduction Dirig Ee Par La Syntaxe
    Документ3 страницы
    TDN 3 - Traduction Dirig Ee Par La Syntaxe
    James Optimiste
    Оценок пока нет
  • Administration Réseaux Et Systèmes
    Administration Réseaux Et Systèmes
    Документ37 страниц
    Administration Réseaux Et Systèmes
    Saliou GAYE
    Оценок пока нет
  • L2 Informatique TD 4 Logique de Base
    L2 Informatique TD 4 Logique de Base
    Документ2 страницы
    L2 Informatique TD 4 Logique de Base
    amore mio
    Оценок пока нет
  • Analyse Lexicale Diapos
    Analyse Lexicale Diapos
    Документ11 страниц
    Analyse Lexicale Diapos
    infcom
    Оценок пока нет
  • Automates Finis
    Automates Finis
    Документ10 страниц
    Automates Finis
    Sarah SH
    Оценок пока нет
  • Scheme Doctor Racket
    Scheme Doctor Racket
    Документ21 страница
    Scheme Doctor Racket
    renaud
    Оценок пока нет
  • Initiation À Maple ENSA Partie1
    Initiation À Maple ENSA Partie1
    Документ17 страниц
    Initiation À Maple ENSA Partie1
    Jaouad Elamri
    Оценок пока нет
  • Types Et Instructions Élémentaires
    Types Et Instructions Élémentaires
    Документ6 страниц
    Types Et Instructions Élémentaires
    hamoudaben696
    Оценок пока нет
  • Initiation À Maple TI-11 - A U 23-24
    Initiation À Maple TI-11 - A U 23-24
    Документ8 страниц
    Initiation À Maple TI-11 - A U 23-24
    houssemhamdi737
    Оценок пока нет
  • TD 2
    TD 2
    Документ2 страницы
    TD 2
    Mouhamed Rassoul Gueye
    Оценок пока нет
  • TD Licence Langage
    TD Licence Langage
    Документ3 страницы
    TD Licence Langage
    russel
    100% (2)
  • Miashs S3 2022-2023
    Miashs S3 2022-2023
    Документ24 страницы
    Miashs S3 2022-2023
    matt.33lacroix12
    Оценок пока нет
  • Chapitre 1 Théorie Des Langages Et Automates
    Chapitre 1 Théorie Des Langages Et Automates
    Документ3 страницы
    Chapitre 1 Théorie Des Langages Et Automates
    ezks dsd
    100% (1)
  • DS 2016-2017
    DS 2016-2017
    Документ3 страницы
    DS 2016-2017
    James Optimiste
    Оценок пока нет
  • SED - Langages Automates
    SED - Langages Automates
    Документ16 страниц
    SED - Langages Automates
    youcef mokrane
    Оценок пока нет
  • TD 1
    TD 1
    Документ2 страницы
    TD 1
    ftm
    Оценок пока нет
  • Ziadi
    Ziadi
    Документ27 страниц
    Ziadi
    Issam Chenina
    Оценок пока нет
  • TD 1
    TD 1
    Документ3 страницы
    TD 1
    infcom
    Оценок пока нет
  • ch3 TL
    ch3 TL
    Документ14 страниц
    ch3 TL
    Willou 89
    Оценок пока нет
  • Cours OutilsMaths Etrudiant
    Cours OutilsMaths Etrudiant
    Документ28 страниц
    Cours OutilsMaths Etrudiant
    pacifique nganta
    Оценок пока нет
  • Normalisation
    Normalisation
    Документ10 страниц
    Normalisation
    loicmuland1
    Оценок пока нет
  • THL Serie1 2015
    THL Serie1 2015
    Документ2 страницы
    THL Serie1 2015
    Nesrine Azaiez
    100% (3)
  • Ch2 Compilation Analyse Lexicale
    Ch2 Compilation Analyse Lexicale
    Документ42 страницы
    Ch2 Compilation Analyse Lexicale
    Morad EL MASLOUHY
    Оценок пока нет
  • Nf11 Regexp Grammar
    Nf11 Regexp Grammar
    Документ81 страница
    Nf11 Regexp Grammar
    Amarni Aghiles
    Оценок пока нет
  • Analyse Descendante
    Analyse Descendante
    Документ31 страница
    Analyse Descendante
    Fouad Khatt Ari
    Оценок пока нет
  • TD2-2 Analyse Syntaxique Ascendante 22-23-24
    TD2-2 Analyse Syntaxique Ascendante 22-23-24
    Документ3 страницы
    TD2-2 Analyse Syntaxique Ascendante 22-23-24
    wassimomari01
    Оценок пока нет
  • TD4 Complexite
    TD4 Complexite
    Документ1 страница
    TD4 Complexite
    adkhey87
    Оценок пока нет
  • td1 2
    td1 2
    Документ3 страницы
    td1 2
    said72
    Оценок пока нет
  • Automates Et Langages Rationnels
    Automates Et Langages Rationnels
    Документ2 страницы
    Automates Et Langages Rationnels
    T.M
    Оценок пока нет
  • Adt CC 2015
    Adt CC 2015
    Документ2 страницы
    Adt CC 2015
    khicha01ines
    Оценок пока нет
  • Primitives
    Primitives
    Документ1 страница
    Primitives
    Julien Seguret
    Оценок пока нет
  • Resume Automates
    Resume Automates
    Документ7 страниц
    Resume Automates
    Amine Real
    Оценок пока нет
  • Seance 9 Automates Finis
    Seance 9 Automates Finis
    Документ32 страницы
    Seance 9 Automates Finis
    ntji sangare
    Оценок пока нет
  • TD Attributs
    TD Attributs
    Документ5 страниц
    TD Attributs
    Cedric Tefoye
    Оценок пока нет
  • Compilation Analyse Syntaxique Descendante
    Compilation Analyse Syntaxique Descendante
    Документ32 страницы
    Compilation Analyse Syntaxique Descendante
    Marwen Guesmi
    Оценок пока нет
  • 00 - Rappel C 2A
    00 - Rappel C 2A
    Документ29 страниц
    00 - Rappel C 2A
    bénedo Tanga
    Оценок пока нет
  • Ampl PDF
    Ampl PDF
    Документ24 страницы
    Ampl PDF
    haja_id27
    Оценок пока нет
  • Serie1 THL 2020
    Serie1 THL 2020
    Документ2 страницы
    Serie1 THL 2020
    Ilias Oukil
    Оценок пока нет
  • Infoprepa TD7 Cor
    Infoprepa TD7 Cor
    Документ3 страницы
    Infoprepa TD7 Cor
    Simonlewis Owonazanga
    Оценок пока нет
  • Correction Exam Langage Formel 2020
    Correction Exam Langage Formel 2020
    Документ4 страницы
    Correction Exam Langage Formel 2020
    Jo-c
    100% (2)
  • Les Types de Base Python
    Les Types de Base Python
    Документ7 страниц
    Les Types de Base Python
    Kais Guesmi
    Оценок пока нет
  • Compilation
    Compilation
    Документ164 страницы
    Compilation
    Nour El Houda Lbe
    Оценок пока нет
  • Python Resume Revisions PDF
    Python Resume Revisions PDF
    Документ5 страниц
    Python Resume Revisions PDF
    Soufiane
    Оценок пока нет
  • Analysesyntaxique
    Analysesyntaxique
    Документ27 страниц
    Analysesyntaxique
    bombflex
    Оценок пока нет
  • Introduction Au Langage Caml
    Introduction Au Langage Caml
    Документ129 страниц
    Introduction Au Langage Caml
    Jovy Berny
    Оценок пока нет
  • TD 1
    TD 1
    Документ2 страницы
    TD 1
    Hamdi Rabeh
    Оценок пока нет
  • Équations différentielles: Les Grands Articles d'Universalis
    Équations différentielles: Les Grands Articles d'Universalis
    От Everand
    Équations différentielles: Les Grands Articles d'Universalis
    Оценок пока нет
  • Exercices de logarithmes et d'exponentielles
    Exercices de logarithmes et d'exponentielles
    От Everand
    Exercices de logarithmes et d'exponentielles
    Оценок пока нет
  • Partiel 1
    Partiel 1
    Документ4 страницы
    Partiel 1
    Mouhamed Rassoul Gueye
    Оценок пока нет
  • TD 9
    TD 9
    Документ2 страницы
    TD 9
    Mouhamed Rassoul Gueye
    Оценок пока нет
  • TD 8
    TD 8
    Документ2 страницы
    TD 8
    Mouhamed Rassoul Gueye
    Оценок пока нет
  • TD 11
    TD 11
    Документ2 страницы
    TD 11
    Mouhamed Rassoul Gueye
    Оценок пока нет
  • TD 4
    TD 4
    Документ3 страницы
    TD 4
    Mouhamed Rassoul Gueye
    Оценок пока нет
  • TD 3
    TD 3
    Документ2 страницы
    TD 3
    Mouhamed Rassoul Gueye
    Оценок пока нет
  • TD 2
    TD 2
    Документ2 страницы
    TD 2
    Mouhamed Rassoul Gueye
    Оценок пока нет
  • Le Préprocesseur PDF
    Le Préprocesseur PDF
    Документ23 страницы
    Le Préprocesseur PDF
    Mouhamed Rassoul Gueye
    Оценок пока нет
  • Cours C#
    Cours C#
    Документ118 страниц
    Cours C#
    Mouhamed Rassoul Gueye
    Оценок пока нет
  • Optimisation Combinatoire 2 PDF
    Optimisation Combinatoire 2 PDF
    Документ101 страница
    Optimisation Combinatoire 2 PDF
    Mouhamed Rassoul Gueye
    100% (1)
  • Théorie Des Collisions
    Théorie Des Collisions
    Документ104 страницы
    Théorie Des Collisions
    Mouhamed Rassoul Gueye
    Оценок пока нет
  • Partiel 1
    Partiel 1
    Документ4 страницы
    Partiel 1
    Mouhamed Rassoul Gueye
    Оценок пока нет
  • API Windows PDF
    API Windows PDF
    Документ258 страниц
    API Windows PDF
    Mouhamed Rassoul Gueye
    Оценок пока нет
  • Introduction À L'assembleur
    Introduction À L'assembleur
    Документ113 страниц
    Introduction À L'assembleur
    Mouhamed Rassoul Gueye
    Оценок пока нет
  • Cours Android PDF
    Cours Android PDF
    Документ459 страниц
    Cours Android PDF
    Mouhamed Rassoul Gueye
    Оценок пока нет
  • Parser Un Format Simple
    Parser Un Format Simple
    Документ17 страниц
    Parser Un Format Simple
    Mouhamed Rassoul Gueye
    Оценок пока нет
  • Cours Ocaml
    Cours Ocaml
    Документ49 страниц
    Cours Ocaml
    Mouhamed Rassoul Gueye
    Оценок пока нет
  • Bruit de Perlin
    Bruit de Perlin
    Документ15 страниц
    Bruit de Perlin
    Mouhamed Rassoul Gueye
    Оценок пока нет
  • Programation Evenementielle
    Programation Evenementielle
    Документ41 страница
    Programation Evenementielle
    Louay Loulou
    Оценок пока нет
  • 2016 RICM3 EX - Corrige
    2016 RICM3 EX - Corrige
    Документ9 страниц
    2016 RICM3 EX - Corrige
    informatiquehageryahoo.fr
    Оценок пока нет
  • 3gestion de La Mémoire
    3gestion de La Mémoire
    Документ10 страниц
    3gestion de La Mémoire
    zaouimaj
    Оценок пока нет
  • Adaptfltr 2
    Adaptfltr 2
    Документ26 страниц
    Adaptfltr 2
    hayouni aymen
    Оценок пока нет
  • Chap Puissances (2019 - 2020) Activités
    Chap Puissances (2019 - 2020) Activités
    Документ2 страницы
    Chap Puissances (2019 - 2020) Activités
    Agathe Etoundi
    Оценок пока нет
  • Chapitre 1
    Chapitre 1
    Документ5 страниц
    Chapitre 1
    barhoumi oussama
    Оценок пока нет
  • Les Arbresbinaire
    Les Arbresbinaire
    Документ12 страниц
    Les Arbresbinaire
    ramadan mahdi
    Оценок пока нет
  • CM02 Log Prop Synt 2021 Nup
    CM02 Log Prop Synt 2021 Nup
    Документ7 страниц
    CM02 Log Prop Synt 2021 Nup
    Khouloud Kchaou
    Оценок пока нет
  • TP Opm3
    TP Opm3
    Документ2 страницы
    TP Opm3
    halim
    Оценок пока нет
  • PLANIFICATION
    PLANIFICATION
    Документ9 страниц
    PLANIFICATION
    Yassir Qarrou
    Оценок пока нет
  • Corrigé TP1 EDO
    Corrigé TP1 EDO
    Документ7 страниц
    Corrigé TP1 EDO
    Mohamed Anjam
    Оценок пока нет
  • Chapitre 0
    Chapitre 0
    Документ17 страниц
    Chapitre 0
    ZOZ VLOG
    Оценок пока нет
  • Cours C
    Cours C
    Документ40 страниц
    Cours C
    Elhabachi Jihane
    100% (1)
  • Corrigé ES1 2019 2020
    Corrigé ES1 2019 2020
    Документ4 страницы
    Corrigé ES1 2019 2020
    أسامة الجزائري
    Оценок пока нет
  • Cours
    Cours
    Документ128 страниц
    Cours
    Karmouni Ilham
    Оценок пока нет
  • Battle Dev Intra-Round 2 - TOP 10
    Battle Dev Intra-Round 2 - TOP 10
    Документ3 страницы
    Battle Dev Intra-Round 2 - TOP 10
    tojonandrianina30
    Оценок пока нет
  • TIC Partie 1 New
    TIC Partie 1 New
    Документ17 страниц
    TIC Partie 1 New
    nounoulek
    Оценок пока нет
  • Systemes Sup
    Systemes Sup
    Документ130 страниц
    Systemes Sup
    jawad iounousse
    Оценок пока нет
  • SysDist 01
    SysDist 01
    Документ47 страниц
    SysDist 01
    Raja Bs
    Оценок пока нет
  • Cours CPP
    Cours CPP
    Документ263 страницы
    Cours CPP
    Aboubakr Seddik Ouahabi
    Оценок пока нет
  • Chapitre 2 Les Fonctions, Modules Et Packages (Part1)
    Chapitre 2 Les Fonctions, Modules Et Packages (Part1)
    Документ23 страницы
    Chapitre 2 Les Fonctions, Modules Et Packages (Part1)
    amina
    Оценок пока нет
  • TP Programmation en C
    TP Programmation en C
    Документ34 страницы
    TP Programmation en C
    ramosthe05
    100% (1)
  • Cours+Exs Algo
    Cours+Exs Algo
    Документ59 страниц
    Cours+Exs Algo
    Marcelin Soukroumde
    Оценок пока нет
  • Chapitre I ISIMA POO Java GDAIM
    Chapitre I ISIMA POO Java GDAIM
    Документ21 страница
    Chapitre I ISIMA POO Java GDAIM
    gtariiines
    Оценок пока нет
  • Devoir de Synthèse #2: Sections: Niveau: Matière: Prof.: Date: Durée
    Devoir de Synthèse #2: Sections: Niveau: Matière: Prof.: Date: Durée
    Документ3 страницы
    Devoir de Synthèse #2: Sections: Niveau: Matière: Prof.: Date: Durée
    Hm Walid
    Оценок пока нет
  • Examen POO 2020-2021
    Examen POO 2020-2021
    Документ2 страницы
    Examen POO 2020-2021
    Best Offensive
    Оценок пока нет
  • CoursJava Prbelangour Chapitre1
    CoursJava Prbelangour Chapitre1
    Документ14 страниц
    CoursJava Prbelangour Chapitre1
    YOUNES EL AHRACH
    Оценок пока нет
  • Wa0006.
    Wa0006.
    Документ125 страниц
    Wa0006.
    hajarsaoudisl
    Оценок пока нет
  • Exercice Game Theory
    Exercice Game Theory
    Документ2 страницы
    Exercice Game Theory
    aghiles nk
    Оценок пока нет
  • TP 2 Hachage
    TP 2 Hachage
    Документ2 страницы
    TP 2 Hachage
    NaSsimElMaataOui
    Оценок пока нет