Chap2

Wednesday, May 3, 2023 3:12 AM

Alphabet: ensemble de tokens (lettres)

=> souvent appelé Σ

Mot: suite de tokens de taille >= 0

Σ* = ensemble de tout les mots sur Σ de taille >= 0

Langage: ensemble de mots sur Σ (== sous ensemble de Σ*)

Operations sur les mots:

• Concaténation: u v = w (avec u et v deux mots)
• Facteur: u est facteur de v si v = x u y (x et y deux mots sur Σ*)
• Préfix/suffixe: facteur mais au début/fin (== y ou x = ϵ)

Opérations sur les langages:

• Union
• Intersection
• Différence
• Complémentaire sur Σ* (== différence entre L et Σ*)
• Transposée (== permutation qui échange 2 éléments)
• Concaténation (== concaténation de tout les mots de L1 avec ceux de L2)
○ On dit que L est clos si L == Σ*
• Fermeture de Kleene (concaténation de L avec lui même infiniment)

Langages réguliers et expressions régulières

Langages réguliers
3 de ces opérations sont considérées rationnelles
• Union
• Concaténation
• Fermeture de Kleene

{ϵ} et ∅ sont des langages réguliers

Tout les langages contenant un seul token de Σ sont des langages réguliers

Si on effectue une opération rationnelle sur deux langages réguliers le résultat est aussi réguliers
=> un langage régulier "complexe" (== taille > 1) est formé a partir d'opérations rationnelles sur les
langages réguliers de base

Expressions régulières
Similairement on ne définie que les opérations rationnelles pour les expressions régulières

∅ et ϵ sont des expressions régulières

Un token de Σ est une expression régulière
Une expression composée d'expressions régulières et d'opérations rationnelles est aussi régulière
Un langage est régulier si et seulement si il peut être définie par une expression régulière

Priorités:
1. Étoile de Kleene
2. Concaténation
3. Union

Automates a états finis

Un automate a états finis (AEF) est défini par
• E: L'alphabet
• Q: L'ensemble finis des états
• q0: L'état initial
• F: L'ensemble des états finaux
• Δ: L'ensemble des transi ons ( ⚧) définis par
○ État de départ
○ Règle (= mot)
○ État final

Il permet de reconnaitre les mots d'un langage régulier

Un mot est accepté si et seulement si il existe un ensemble de transi ons ( ⚧) qui perme ent de
passer de q0 a un état final de F

Comment construire un AEF déterministe

Une expression régulière nous donne un AEF non déterministe, il faut donc procéder en deux étapes
1. On construit l'automate en chainant des formes basiques
2. ???
3. Profit
(j'ai pas compris le cour c'est pas très clair :pensive:)