IFT313Froduald Kabanza1 IFT 313 Lab 1 1Écrivez une expression régulière pour chacun des langues suivants: a)Des mots sur lalphabet {a,b,c} telle que toute.

Slides:



Advertisements
Présentations similaires
Algorithmes et structures de données avancées Cours 4
Advertisements

Équations et Résolution d’équations en classe de 4ème. Le B. O
Automate asynchrone.
Expressions rationnelles
Chapitre 1 Automates finis
le nom du logiciel et le nom du fichier s’appelle la barre des titres
IFT 702 – Planification en Intelligence Artificielle Planification avec des processus de décision de Markov Froduald Kabanza Département d’informatique.
Boucle d’Or et les trois ours
IFT313 Introduction aux langages formels
Apprendre à se servir d’un tableur
IFT 615 – Intelligence artificielle Recherche heuristique locale
IFT313 Introduction aux langages formels
Automates et systèmes de transitions
IFT 615 – Intelligence Artificielle Introduction
Introduction à l'informatique linguistique
IFT313 Introduction aux langages formels
IFT313 Introduction aux langages formels
IFT313 Introduction aux langages formels Froduald Kabanza Département dinformatique Université de Sherbrooke planiart.usherbrooke.ca/kabanza/cours/ift313.
(Allemagne 96) Un triangle A'B'C' rectangle en A' et d'aire 27 cm2 est un agrandissement d'un triangle ABC rectangle en A et tel que AB = 3 cm et AC =
IFT313 Introduction aux langages formels Froduald Kabanza Département dinformatique Université de Sherbrooke planiart.usherbrooke.ca/kabanza/cours/ift313.
VI – Rang d’une matrice Mots clés : Rang.
Quand le programme est un problème
Analyse lexicale Généralités Expressions rationnelles Automates finis
IFT313 Introduction aux langages formels Froduald Kabanza Département dinformatique Université de Sherbrooke planiart.usherbrooke.ca/kabanza/cours/ift313.
IFT451 Introduction aux langages formels Froduald Kabanza Département dinformatique Université de Sherbrooke planiart.usherbrooke.ca/kabanza/cours/ift313.
IFT313 Introduction aux langages formels
Notions de base de la théorie des langages
On veut partager 19 mètres de tissu en 4 parts égales. Cela revient à faire : 19m de tissu : 19 4 Une division Finalement, on peut partager 4 fois en 4.
I.A. Session 2009/2010 E.P.S.I. Bordeaux – C.S.I.I – 2 ème Année – Cours n°3.
Rappel... Solution itérative de systèmes linéaires (suite et fin).
IFT313 Introduction aux langages formels
IFT313 Introduction aux langages formels
IFT313 Introduction aux langages formels
THÉORÈME DE THALES Construction des 5/7 d’un segment
Structures de données IFT-2000
IFT313 Introduction aux langages formels Froduald Kabanza Département dinformatique Université de Sherbrooke Révision de mi-session.
IFT313 Introduction aux langages formels Froduald Kabanza Département dinformatique Université de Sherbrooke JavaCC.
IFT313 Révision finale Département d’informatique
IFT313 Introduction aux langages formels
IFT313 Introduction aux langages formels Froduald Kabanza Département dinformatique Université de Sherbrooke Grammaires attribuées.
IFT313 Introduction aux langages formels
IFT313 Introduction aux langages formels Froduald Kabanza Département dinformatique Université de Sherbrooke planiart.usherbrooke.ca/kabanza/cours/ift313.
IFT313 Introduction aux langages formels
IFT313 Introduction aux langages formels Froduald Kabanza Département dinformatique Université de Sherbrooke Automates à pile LR Notion de poignée.
IFT 702 – Planification en intelligence artificielle Transformations Froduald Kabanza Département dinformatique Université de Sherbrooke planiart.usherbrooke.ca/kabanza/cours/ift702.
Expressions régulières et hash tables
Principes de programmation (suite)
Chapitre 3 Machines de Turing.
IFT Complexité et NP-complétude
Chapitre 7: Le théorème de Kleene
Hiver 2003SEG2501 analyse lexicale1 Notes supplémentaires au sujet de lanalyse lexicale Exemples Dérivation dun NFA qui accepte le même langage (algorithme:
Applications des langages hors-contextes Les analyseurs syntactiques ascendants GNU Yacc et Bison.
IFT313 – Introduction aux langages formels Éric Beaudry Exercices Expressions régulières, ADF et AFN Été 2010.
Rappel Modèle analyse-synthèse de la compilation
IFT Complexité et NP-complétude Chapitre 0 Rappels.
Expressions régulières et hash tables
A cura di Erica Qualizza 5^ C Tur INSTITUT PROFESSIONNEL D'ÉTAT POUR LES SERVICES COMMERCIAUX TOURISTIQUE ET HÔTELIERS ET DE LA RISTORAZIONE “B. STRINGHER”-
II/Les gènes s’expriment sous forme d’……….
IFT 702 – Planification en intelligence artificielle Planification par recherche dans un espace de plans Froduald Kabanza Département d’informatique Université.
D.E ZEGOUR Ecole Supérieure d’Informatique. Problèmes de décision Concepts de base Expressions régulières Notation particulière pour exprimer certaines.
IFT313 Introduction aux langage formels
Tableur 1.Concept : Un tableur permet de manipuler des données, de le présenter, de les trier et d'effectuer automatiquement des calculs sur des nombres.
Les transducteurs En anglais transducers.
Abdelkader Heni FUNDP Syntaxe et sémantique Abdelkader Heni FUNDP
Hiver 2004SEG2501 Chapître 41 Chapître 4 SDL – structure d’un système et son comportement.
Complexité des Problèmes Combinatoires Module IAD/RP/RO/Complexité Philippe Chrétienne.
(a)(b) (a) (d).
IFT313 IFT313 Introduction aux langages formels Froduald Kabanza Département d’informatique Université de Sherbrooke planiart.usherbrooke.ca/kabanza/cours/ift313.
IFT313 Introduction aux langages formels
A b c. a b ab ab.
Transcription de la présentation:

IFT313Froduald Kabanza1 IFT 313 Lab 1 1Écrivez une expression régulière pour chacun des langues suivants: a)Des mots sur lalphabet {a,b,c} telle que toute première occurrence de a précède toujours toute occurrence de b. Un mot sans a ni b est légal. b)Des mots sur lalphabet ASCI commençant par /* et terminant par */, et sans */ entre les deux à moins quil soit entre quottes (c-à-d., entre et ) c)Des mots sur lalphabet {a, b, c, d} telle que c et d ne peuvent quapparaître quau plus 1 fois. 2Donnez un automate fini (déterministe ou non) pour les langages suivants, sur lalphabet {a, …, z}. a)Les mots contenant au moins un a. b)Les mots contenant au moins deux a consécutifs.

IFT313 / 2007E© Froduald Kabanza et Éric Beaudry 2 Solutions au questions 1 & 2 1 aAlphabet = {a,b,c} Langage : jamais b avant le premier a sil y en a c*a[abc]* | (b|c)* b Contenu =([^*/]|\ */ \)* Commentaire = /*{Contenu}*/ ou Commentaire = /*([^*/]|\ */ \)**/ c [ab]*(c?[ab]*d?|d?[ab]*c?)[ab]* 2 aAlphabet : a-z. Langage : contient un a bAu moins deux a consécutifs 1 3 [b-z] [a-z] a 2 [b-z] a 12 [a-z] a

3 Convertissez lautomate non déterministe suivant en un automate déterministe équivalent a b c a a ε b a a a c

a b c a b a a c 3,5 b a 5 a 3,5,6 2,3,5,6 c c a c b 3 Solutions à la question 3

IFT313© Froduald Kabanza5 4 Minimiser lAFD suivant. Indiquer clairement les états équiv alents et les transitions entre les classes déquivalence a a a a a a a,b b b b b b b 6 7

IFT313© Froduald Kabanza6 Solution à la question a a a a a a a,b b b b b b b εεεεε 7εεεεε 8εε Initialization: marquer les paires (état-final, ét at-non-final)

IFT313© Froduald Kabanza a a a a a a a,b b b b b b b bb 4bb 5aaaa 6εεεεε 7εεεεε 8bbaεε Itération 1: Solution à la question 4

IFT313© Froduald Kabanza8 Solution a a a a a a a,b b b b b b b bb 4bb 5aaaa 6εεεεε 7εεεεε 8bbbbaεε Itération 2:

IFT313© Froduald Kabanza a a a a a a a,b b b b b b b bb 4bb 5aaaa 6εεεεε 7εεεεε 8bbbbaεε Itération 3: pas de changements Les cellules non marquées c orrespondent à des paires d états équiavlents Solution à la question 4

IFT313© Froduald Kabanza10 Combiner les états équivalents p our minimiser lAFD 8 5 a a a,b b b a a a a a a b b b b b b 6 7 Solution à la question 4 3,4 6,7 1,2