Théorie des Langages Épisode 2 Automates finis

Dimension: px
Commencer à balayer dès la page:

Download "Théorie des Langages Épisode 2 Automates finis"

Transcription

1 AFD AFN Opértions Lemme de pompge 1/ 36 Théorie des Lngges Épisode 2 Automtes finis Thoms Pietrzk Université Pul Verline Metz

2 AFD AFN Opértions Lemme de pompge Reconnisseur Définition Configurtion Accepttion 2/ 36 Reconnisseur Une tâche principle dns l nlyse lexicle et syntxique est de décider soit pour une unité lexicle soit pour un progrmme si cette entrée est «un mot du lngge» décrit pr soit une expression régulière r soit une grmmire hors contexte G. Il fut lors un reconnisseur pour un lngge L. C est un progrmme qui prend en entrée un mot m et répond «oui» si m L et «non» utrement. Automte fini On compile une expression régulière en un reconnîsseur en construisnt un digrmme de trnsition générlisé. Le modèle de mchine correspondnt est ppelé utomte fini. Les utomtes finis, ussi ien déterministes que non déterministes sont cples de reconnître précisément les lngges réguliers.

3 AFD AFN Opértions Lemme de pompge Reconnisseur Définition Configurtion Accepttion 3/ 36 Automte fini Déterministe Un utomte fini déterministe (AFD) est défini pr A = (E, Σ, δ, e 0, F ) où E est un ensemle fini d étts Σ est un ensemle fini de symoles d entrée δ : E Σ E est une fonction de trnsition e 0 est un étt de déprt F E est l ensemle des étts d ccepttion

4 AFD AFN Opértions Lemme de pompge Reconnisseur Définition Configurtion Accepttion 4/ 36 Voici un utomte pour l expression régulière ( ) A = ({e 0, e 1, e 2, e 3 }, {, }, δ, e 0, {e 3 }) où δ est défini pr : Symole d entrée Étt Représenttion schémtique : déut s de chînes reconnues :,,,

5 AFD AFN Opértions Lemme de pompge Reconnisseur Définition Configurtion Accepttion 5/ 36 Configurtion Une configurtion d un utomte est une description complète de l sitution de l utomte. On note (m, e) vec m le mot qui reste sur l nde et e l étt cournt. (m, e 0 ) est une configurtion de déprt, vec m l entrée. (ɛ, e), vec e F est une configurtion finle. (u, e) A (u, e ) δ(e, ) = e où Σ, u Σ et e, e E. Configurtion suivnt Une configurtion K d un utomte A est une configurtion suivnt de K, noté K A K, s il y une suite K = K 0, K 1,..., K r = K telle que K i A K i+1 pou chque i {0, 1,..., r 2}.

6 AFD AFN Opértions Lemme de pompge Reconnisseur Définition Configurtion Accepttion 6/ 36 Accepttion Un utomte fini lit l entrée une seule fois en pssnt l tête de lecture de guche à droite sns se retourner. L utomte ccepte un mot s il rrive dns un étt d ccepttion près voir lu le mot u totl. Définition Le lngge L est ccepté pr un AFD A si L est défini pr L = L(A) = {m Σ (m, e 0 ) A (ɛ, e), e F } A = ({e 0, e 1 }, {, }, δ, e 0, {e 0 }) L(A) = { n n N} δ e 0 e 0 e 1 e 1 e 1 e 1

7 AFD AFN Opértions Lemme de pompge Définition Accepttion Grphe 7/ 36 Automte fini Non Déterministe Un utomte fini non déterministe (AFN) est défini pr A = (E, Σ, δ, e 0, F ) où E est un ensemle fini d étts Σ est un ensemle fini de symoles d entrée δ (E Σ) E est une reltion de trnsition e 0 est un étt de déprt F E est l ensemle des étts d ccepttion Au contrire d un AFD, une trnsition d un AFN δ(e, ) peut voir plusieurs vleurs : δ(e, ) Z. En conséquence, pour un AFN A une configurtion suivnt n est plus uniquement déterminée : (u, e) A (u, e ) e δ(e, ) où Σ, u Σ et e, e E.

8 AFD AFN Opértions Lemme de pompge Définition Accepttion Grphe 8/ 36 En reprennt l expression régulière ( ) A = ({e 0, e 1, e 2, e 3 }, {, }, δ, e 0, {e 3 }) où δ est défini pr : Symole d entrée Étt 0 {0, 1} {0} 1 {2} 2 {3} Représenttion schémtique : déut s de chînes reconnues :,,,

9 AFD AFN Opértions Lemme de pompge Définition Accepttion Grphe 9/ 36 Accepttion Le lngge L est ccepté pr un AFN A si L est défini pr L = L(A) = {m Σ (m, e 0 ) A (ɛ, e), e F } On voit fcilement que pr définition chque AFD est ussi un AFN. D utre prt, générlement un AFN n est ps toujours un AFD.

10 AFD AFN Opértions Lemme de pompge Définition Accepttion Grphe 10/ 36 Grphe de trnsition L fonction de trnsition d un AFD ou l reltion de trnsition d un AFN peuvent être représentées pr un grphe orienté ppelé grphe de trnsition. Les noeuds du grphe sont les étts de l utomte et les rcs sont étiquetés comme suit il y un rc (e, e ) étiqueté Σ si et seulement si δ(e, ) = e dns un AFD ou e δ(e, ) dns un AFN. il y des rcs multiples (e, e ) dns le grphe de trnsition si e δ(e, ) pour plusieurs crctères Σ. δ(e 0, ) = e 1 δ(e 0, ) = e 1 δ(e 1, ) = e 2 δ(e 1, ) = e 2 F = {e 1 } δ(e 2, ) = e 1 δ(e 2, ) = e 1 0, 1,, 2

11 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 11/ 36 Construire un AFN à prtir d une expression régulière Pour toute expression régulière r on peut construire un AFN qui reconnît le même lngge. On construit l utomte pr induction sur l syntxe : ɛ ɛ R 1 R 2 R 1 R 2 R 1 ɛ R 2 R 1 ɛ ɛ ɛ ɛ R 2 R 1 ɛ ɛ R 1 ɛ ɛ

12 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 12/ 36 L expression régulière ( ) peut s écrire sous l forme d un AFN : ɛ ɛ ɛ ɛ ɛ ɛ ɛ ɛ

13 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 13/ 36 Théorème de Rin et Scott Pour tout AFN A il existe un AFD A tel que L(A) = L(A ). Démonstrtion Soit A = (E, Σ, δ, e 0, F ) un AFN. On construit un AFD A = (E, Σ, δ, e 0, F ) comme suit : E := P(E) e 0 := {e 0} F := {X E X F } Pour tout X E et tout Σ : δ (X, ) := x X δ(x, ) Pour démontrer que l construction est correcte il fut montrer que L(A) = L(A ).

14 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 14/ 36 Algorithme Initilistion : E := {{e 0 }}, T := {{e 0 }} Tnt que T Choisir un élément S T Pour tout symole Σ Clculer l étt S = S e S δ(e, ) Si S c est ps déjà dns E, l jouter dns T et dns E Ajouter un rc sur l utomte entre S et S et le vluer pr T := T \ S

15 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 15/ 36 E = {{e 0 }} T = {{e 0 }} S := {e 0 } S := δ(e 0, ) = {e 0 } S est déjà dns E donc on ne l joute ps δ ({e 0 }, ) = {e 0 } S := δ(e 0, ) = {e 0, e 1 } S n est ps encore dns E donc on l joute δ ({e 0 }, ) = {e 0, e 1 } On supprime {e 0 } de T 0 e {e 0 }

16 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 15/ 36 E = {{e 0 }} T = {{e 0 }} S := {e 0 } S := δ(e 0, ) = {e 0 } S est déjà dns E donc on ne l joute ps δ ({e 0 }, ) = {e 0 } S := δ(e 0, ) = {e 0, e 1 } S n est ps encore dns E donc on l joute δ ({e 0 }, ) = {e 0, e 1 } On supprime {e 0 } de T 0 e {e 0 }

17 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 15/ 36 E = {{e 0 }} T = {{e 0 }} S := {e 0 } S := δ(e 0, ) = {e 0 } S est déjà dns E donc on ne l joute ps δ ({e 0 }, ) = {e 0 } S := δ(e 0, ) = {e 0, e 1 } S n est ps encore dns E donc on l joute δ ({e 0 }, ) = {e 0, e 1 } On supprime {e 0 } de T 0 e {e 0 }

18 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 15/ 36 E = {{e 0 }} T = {{e 0 }} S := {e 0 } S := δ(e 0, ) = {e 0 } S est déjà dns E donc on ne l joute ps δ ({e 0 }, ) = {e 0 } S := δ(e 0, ) = {e 0, e 1 } S n est ps encore dns E donc on l joute δ ({e 0 }, ) = {e 0, e 1 } On supprime {e 0 } de T 0 e {e 0 } {e 0 }

19 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 15/ 36 E = {{e 0 }} T = {{e 0 }} S := {e 0 } S := δ(e 0, ) = {e 0 } S est déjà dns E donc on ne l joute ps δ ({e 0 }, ) = {e 0 } S := δ(e 0, ) = {e 0, e 1 } S n est ps encore dns E donc on l joute δ ({e 0 }, ) = {e 0, e 1 } On supprime {e 0 } de T 0 e {e 0 } {e 0 }

20 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 15/ 36 E = {{e 0 }, {e 0, e 1 }} T = {{e 0 }, {e 0, e 1 }} S := {e 0 } S := δ(e 0, ) = {e 0 } S est déjà dns E donc on ne l joute ps δ ({e 0 }, ) = {e 0 } S := δ(e 0, ) = {e 0, e 1 } S n est ps encore dns E donc on l joute δ ({e 0 }, ) = {e 0, e 1 } On supprime {e 0 } de T 0 e {e 0 } {e 0 } {e 0, e 1 } 0, 1

21 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 15/ 36 E = {{e 0 }, {e 0, e 1 }} T = {{e 0 }, {e 0, e 1 }} S := {e 0 } S := δ(e 0, ) = {e 0 } S est déjà dns E donc on ne l joute ps δ ({e 0 }, ) = {e 0 } S := δ(e 0, ) = {e 0, e 1 } S n est ps encore dns E donc on l joute δ ({e 0 }, ) = {e 0, e 1 } On supprime {e 0 } de T 0 e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } 0, 1

22 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 15/ 36 E = {{e 0 }, {e 0, e 1 }} T = {{e 0, e 1 }} S := {e 0 } S := δ(e 0, ) = {e 0 } S est déjà dns E donc on ne l joute ps δ ({e 0 }, ) = {e 0 } S := δ(e 0, ) = {e 0, e 1 } S n est ps encore dns E donc on l joute δ ({e 0 }, ) = {e 0, e 1 } On supprime {e 0 } de T 0 e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } 0, 1

23 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 16/ 36 E = {{e 0 }, {e 0, e 1 }} T = {{e 0, e 1 }} S := {e 0, e 1 } S := δ(e 0, ) δ(e 1, ) = {e 0, e 2 } S n est ps encore dns E donc on l joute δ ({e 0, e 1 }, ) = {e 0, e 2 } S := δ(e 0, ) δ(e 1, ) = {e 0, e 1 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 1 }, ) = {e 0, e 1 } On supprime {e 0, e 1 } de T 0 e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } 0, 1

24 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 16/ 36 E = {{e 0 }, {e 0, e 1 }} T = {{e 0, e 1 }} S := {e 0, e 1 } S := δ(e 0, ) δ(e 1, ) = {e 0, e 2 } S n est ps encore dns E donc on l joute δ ({e 0, e 1 }, ) = {e 0, e 2 } S := δ(e 0, ) δ(e 1, ) = {e 0, e 1 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 1 }, ) = {e 0, e 1 } On supprime {e 0, e 1 } de T 0 e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } 0, 1

25 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 16/ 36 E = {{e 0 }, {e 0, e 1 }, {e 0, e 2 }} T = {{e 0, e 1 }, {e 0, e 2 }} S := {e 0, e 1 } S := δ(e 0, ) δ(e 1, ) = {e 0, e 2 } S n est ps encore dns E donc on l joute δ ({e 0, e 1 }, ) = {e 0, e 2 } S := δ(e 0, ) δ(e 1, ) = {e 0, e 1 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 1 }, ) = {e 0, e 1 } On supprime {e 0, e 1 } de T 0 e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } {e 0, e 2 } 0, 1 0, 2

26 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 16/ 36 E = {{e 0 }, {e 0, e 1 }, {e 0, e 2 }} T = {{e 0, e 1 }, {e 0, e 2 }} S := {e 0, e 1 } S := δ(e 0, ) δ(e 1, ) = {e 0, e 2 } S n est ps encore dns E donc on l joute δ ({e 0, e 1 }, ) = {e 0, e 2 } S := δ(e 0, ) δ(e 1, ) = {e 0, e 1 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 1 }, ) = {e 0, e 1 } On supprime {e 0, e 1 } de T 0 e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } {e 0, e 2 } {e 0, e 2 } 0, 1 0, 2

27 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 16/ 36 E = {{e 0 }, {e 0, e 1 }, {e 0, e 2 }} T = {{e 0, e 1 }, {e 0, e 2 }} S := {e 0, e 1 } S := δ(e 0, ) δ(e 1, ) = {e 0, e 2 } S n est ps encore dns E donc on l joute δ ({e 0, e 1 }, ) = {e 0, e 2 } S := δ(e 0, ) δ(e 1, ) = {e 0, e 1 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 1 }, ) = {e 0, e 1 } On supprime {e 0, e 1 } de T 0 e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } {e 0, e 2 } {e 0, e 2 } 0, 1 0, 2

28 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 16/ 36 E = {{e 0 }, {e 0, e 1 }, {e 0, e 2 }} T = {{e 0, e 1 }, {e 0, e 2 }} S := {e 0, e 1 } S := δ(e 0, ) δ(e 1, ) = {e 0, e 2 } S n est ps encore dns E donc on l joute δ ({e 0, e 1 }, ) = {e 0, e 2 } S := δ(e 0, ) δ(e 1, ) = {e 0, e 1 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 1 }, ) = {e 0, e 1 } On supprime {e 0, e 1 } de T 0 e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } {e 0, e 2 } {e 0, e 2 } 0, 1 0, 2

29 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 16/ 36 E = {{e 0 }, {e 0, e 1 }, {e 0, e 2 }} T = {{e 0, e 1 }, {e 0, e 2 }} S := {e 0, e 1 } S := δ(e 0, ) δ(e 1, ) = {e 0, e 2 } S n est ps encore dns E donc on l joute δ ({e 0, e 1 }, ) = {e 0, e 2 } S := δ(e 0, ) δ(e 1, ) = {e 0, e 1 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 1 }, ) = {e 0, e 1 } On supprime {e 0, e 1 } de T e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } {e 0, e 2 } {e 0, e 1 } {e 0, e 2 } 0 0, 1 0, 2

30 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 16/ 36 E = {{e 0 }, {e 0, e 1 }, {e 0, e 2 }} T = {{e 0, e 2 }} S := {e 0, e 1 } S := δ(e 0, ) δ(e 1, ) = {e 0, e 2 } S n est ps encore dns E donc on l joute δ ({e 0, e 1 }, ) = {e 0, e 2 } S := δ(e 0, ) δ(e 1, ) = {e 0, e 1 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 1 }, ) = {e 0, e 1 } On supprime {e 0, e 1 } de T e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } {e 0, e 2 } {e 0, e 1 } {e 0, e 2 } 0 0, 1 0, 2

31 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 17/ 36 E = {{e 0 }, {e 0, e 1 }, {e 0, e 2 }} T = {{e 0, e 2 }} S := {e 0, e 2 } S := δ(e 0, ) δ(e 2, ) = {e 0 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 2 }, ) = {e 0 } S := δ(e 0, ) δ(e 2, ) = {e 0, e 1, e 3 } S n est ps encore dns E donc on l joute δ ({e 0, e 2 }, ) = {e 0, e 1, e 3 } On supprime {e 0, e 2 } de T e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } {e 0, e 2 } {e 0, e 1 } {e 0, e 2 } 0 0, 1 0, 2

32 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 17/ 36 E = {{e 0 }, {e 0, e 1 }, {e 0, e 2 }} T = {{e 0, e 2 }} S := {e 0, e 2 } S := δ(e 0, ) δ(e 2, ) = {e 0 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 2 }, ) = {e 0 } S := δ(e 0, ) δ(e 2, ) = {e 0, e 1, e 3 } S n est ps encore dns E donc on l joute δ ({e 0, e 2 }, ) = {e 0, e 1, e 3 } On supprime {e 0, e 2 } de T e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } {e 0, e 2 } {e 0, e 1 } {e 0, e 2 } 0 0, 1 0, 2

33 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 17/ 36 E = {{e 0 }, {e 0, e 1 }, {e 0, e 2 }} T = {{e 0, e 2 }} S := {e 0, e 2 } S := δ(e 0, ) δ(e 2, ) = {e 0 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 2 }, ) = {e 0 } S := δ(e 0, ) δ(e 2, ) = {e 0, e 1, e 3 } S n est ps encore dns E donc on l joute δ ({e 0, e 2 }, ) = {e 0, e 1, e 3 } On supprime {e 0, e 2 } de T e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } {e 0, e 2 } {e 0, e 1 } {e 0, e 2 } 0 0, 1 0, 2

34 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 17/ 36 E = {{e 0 }, {e 0, e 1 }, {e 0, e 2 }} T = {{e 0, e 2 }} S := {e 0, e 2 } S := δ(e 0, ) δ(e 2, ) = {e 0 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 2 }, ) = {e 0 } S := δ(e 0, ) δ(e 2, ) = {e 0, e 1, e 3 } S n est ps encore dns E donc on l joute δ ({e 0, e 2 }, ) = {e 0, e 1, e 3 } On supprime {e 0, e 2 } de T e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } {e 0, e 2 } {e 0, e 1 } {e 0, e 2 } {e 0 } 0 0, 1 0, 2

35 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 17/ 36 E = {{e 0 }, {e 0, e 1 }, {e 0, e 2 }} T = {{e 0, e 2 }} S := {e 0, e 2 } S := δ(e 0, ) δ(e 2, ) = {e 0 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 2 }, ) = {e 0 } S := δ(e 0, ) δ(e 2, ) = {e 0, e 1, e 3 } S n est ps encore dns E donc on l joute δ ({e 0, e 2 }, ) = {e 0, e 1, e 3 } On supprime {e 0, e 2 } de T e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } {e 0, e 2 } {e 0, e 1 } {e 0, e 2 } {e 0 } 0 0, 1 0, 2

36 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 17/ 36 E = {{e 0 }, {e 0, e 1 }, {e 0, e 2 }, {e 0, e 1, e 3 }} S := {e 0, e 2 } S := δ(e 0, ) δ(e 2, ) = {e 0 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 2 }, ) = {e 0 } S := δ(e 0, ) δ(e 2, ) = {e 0, e 1, e 3 } S n est ps encore dns E donc on l joute δ ({e 0, e 2 }, ) = {e 0, e 1, e 3 } On supprime {e 0, e 2 } de T T = {{e 0, e 2 }, {e 0, e 1, e 3 }} e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } {e 0, e 2 } {e 0, e 1 } {e 0, e 2 } {e 0 } {e 0, e 1, e 3 } 0 0, 1 0, 2 0, 1, 3

37 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 17/ 36 E = {{e 0 }, {e 0, e 1 }, {e 0, e 2 }, {e 0, e 1, e 3 }} S := {e 0, e 2 } S := δ(e 0, ) δ(e 2, ) = {e 0 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 2 }, ) = {e 0 } S := δ(e 0, ) δ(e 2, ) = {e 0, e 1, e 3 } S n est ps encore dns E donc on l joute δ ({e 0, e 2 }, ) = {e 0, e 1, e 3 } On supprime {e 0, e 2 } de T T = {{e 0, e 2 }, {e 0, e 1, e 3 }} e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } {e 0, e 2 } {e 0, e 1 } {e 0, e 2 } {e 0 } {e 0, e 1, e 3 } {e 0, e 1, e 3 } 0 0, 1 0, 2 0, 1, 3

38 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 17/ 36 E = {{e 0 }, {e 0, e 1 }, {e 0, e 2 }, {e 0, e 1, e 3 }} S := {e 0, e 2 } S := δ(e 0, ) δ(e 2, ) = {e 0 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 2 }, ) = {e 0 } S := δ(e 0, ) δ(e 2, ) = {e 0, e 1, e 3 } S n est ps encore dns E donc on l joute δ ({e 0, e 2 }, ) = {e 0, e 1, e 3 } On supprime {e 0, e 2 } de T T = {{e 0, e 1, e 3 }} e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } {e 0, e 2 } {e 0, e 1 } {e 0, e 2 } {e 0 } {e 0, e 1, e 3 } {e 0, e 1, e 3 } 0 0, 1 0, 2 0, 1, 3

39 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 18/ 36 E = {{e 0 }, {e 0, e 1 }, {e 0, e 2 }, {e 0, e 1, e 3 }} S := {e 0, e 1, e 3 } S := δ(e 0, ) δ(e 1, ) δ(e 3, ) = {e 0, e 2 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 1, e 3 }, ) = {e 0, e 2 } S := δ(e 0, ) δ(e 1, ) δ(e 3, ) = {e 0, e 1 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 2 }, ) = {e 0, e 1, e 3 } On supprime {e 0, e 2 } de T T = {{e 0, e 1, e 3 }} e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } {e 0, e 2 } {e 0, e 1 } {e 0, e 2 } {e 0 } {e 0, e 1, e 3 } {e 0, e 1, e 3 } 0 0, 1 0, 2 0, 1, 3

40 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 18/ 36 E = {{e 0 }, {e 0, e 1 }, {e 0, e 2 }, {e 0, e 1, e 3 }} S := {e 0, e 1, e 3 } S := δ(e 0, ) δ(e 1, ) δ(e 3, ) = {e 0, e 2 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 1, e 3 }, ) = {e 0, e 2 } S := δ(e 0, ) δ(e 1, ) δ(e 3, ) = {e 0, e 1 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 2 }, ) = {e 0, e 1, e 3 } On supprime {e 0, e 2 } de T T = {{e 0, e 1, e 3 }} e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } {e 0, e 2 } {e 0, e 1 } {e 0, e 2 } {e 0 } {e 0, e 1, e 3 } {e 0, e 1, e 3 } 0 0, 1 0, 2 0, 1, 3

41 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 18/ 36 E = {{e 0 }, {e 0, e 1 }, {e 0, e 2 }, {e 0, e 1, e 3 }} S := {e 0, e 1, e 3 } S := δ(e 0, ) δ(e 1, ) δ(e 3, ) = {e 0, e 2 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 1, e 3 }, ) = {e 0, e 2 } S := δ(e 0, ) δ(e 1, ) δ(e 3, ) = {e 0, e 1 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 2 }, ) = {e 0, e 1, e 3 } On supprime {e 0, e 2 } de T T = {{e 0, e 1, e 3 }} e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } {e 0, e 2 } {e 0, e 1 } {e 0, e 2 } {e 0 } {e 0, e 1, e 3 } {e 0, e 1, e 3 } 0 0, 1 0, 2 0, 1, 3

42 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 18/ 36 E = {{e 0 }, {e 0, e 1 }, {e 0, e 2 }, {e 0, e 1, e 3 }} S := {e 0, e 1, e 3 } S := δ(e 0, ) δ(e 1, ) δ(e 3, ) = {e 0, e 2 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 1, e 3 }, ) = {e 0, e 2 } S := δ(e 0, ) δ(e 1, ) δ(e 3, ) = {e 0, e 1 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 2 }, ) = {e 0, e 1, e 3 } On supprime {e 0, e 2 } de T T = {{e 0, e 1, e 3 }} e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } {e 0, e 2 } {e 0, e 1 } {e 0, e 2 } {e 0 } {e 0, e 1, e 3 } {e 0, e 1, e 3 } {e 0, e 2 } 0 0, 1 0, 2 0, 1, 3

43 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 18/ 36 E = {{e 0 }, {e 0, e 1 }, {e 0, e 2 }, {e 0, e 1, e 3 }} S := {e 0, e 1, e 3 } S := δ(e 0, ) δ(e 1, ) δ(e 3, ) = {e 0, e 2 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 1, e 3 }, ) = {e 0, e 2 } S := δ(e 0, ) δ(e 1, ) δ(e 3, ) = {e 0, e 1 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 2 }, ) = {e 0, e 1, e 3 } On supprime {e 0, e 2 } de T T = {{e 0, e 1, e 3 }} e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } {e 0, e 2 } {e 0, e 1 } {e 0, e 2 } {e 0 } {e 0, e 1, e 3 } {e 0, e 1, e 3 } {e 0, e 2 } 0 0, 1 0, 2 0, 1, 3

44 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 18/ 36 E = {{e 0 }, {e 0, e 1 }, {e 0, e 2 }, {e 0, e 1, e 3 }} S := {e 0, e 1, e 3 } S := δ(e 0, ) δ(e 1, ) δ(e 3, ) = {e 0, e 2 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 1, e 3 }, ) = {e 0, e 2 } S := δ(e 0, ) δ(e 1, ) δ(e 3, ) = {e 0, e 1 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 2 }, ) = {e 0, e 1, e 3 } On supprime {e 0, e 2 } de T T = {{e 0, e 1, e 3 }} e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } {e 0, e 2 } {e 0, e 1 } {e 0, e 2 } {e 0 } {e 0, e 1, e 3 } {e 0, e 1, e 3 } {e 0, e 2 } 0 0, 1 0, 2 0, 1, 3

45 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 18/ 36 E = {{e 0 }, {e 0, e 1 }, {e 0, e 2 }, {e 0, e 1, e 3 }} S := {e 0, e 1, e 3 } S := δ(e 0, ) δ(e 1, ) δ(e 3, ) = {e 0, e 2 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 1, e 3 }, ) = {e 0, e 2 } S := δ(e 0, ) δ(e 1, ) δ(e 3, ) = {e 0, e 1 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 2 }, ) = {e 0, e 1, e 3 } On supprime {e 0, e 2 } de T T = {{e 0, e 1, e 3 }} e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } {e 0, e 2 } {e 0, e 1 } {e 0, e 2 } {e 0 } {e 0, e 1, e 3 } {e 0, e 1, e 3 } {e 0, e 2 } {e 0, e 1 } 0 0, 1 0, 2 0, 1, 3

46 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 18/ 36 E = {{e 0 }, {e 0, e 1 }, {e 0, e 2 }, {e 0, e 1, e 3 }} S := {e 0, e 1, e 3 } S := δ(e 0, ) δ(e 1, ) δ(e 3, ) = {e 0, e 2 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 1, e 3 }, ) = {e 0, e 2 } S := δ(e 0, ) δ(e 1, ) δ(e 3, ) = {e 0, e 1 } S est déjà dns E donc on ne l joute ps δ ({e 0, e 2 }, ) = {e 0, e 1, e 3 } On supprime {e 0, e 2 } de T T = {} e {e 0 } {e 0 } {e 0, e 1 } {e 0, e 1 } {e 0, e 2 } {e 0, e 1 } {e 0, e 2 } {e 0 } {e 0, e 1, e 3 } {e 0, e 1, e 3 } {e 0, e 2 } {e 0, e 1 } 0 0, 1 0, 2 0, 1, 3

47 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 19/ 36 Suppression des ɛ-trnsitions Si on génère l AFN vec l lgorithme de l section précédente, il fut enlever les ɛ-trnsitions lors de l crétion d un AFD. Pour cel on définit quelques fonctions. Définitions ɛ fermeture(e) : ensemle des étts de l AFN ccessiles depuis l étt e de l AFN pr des ɛ-trnsitions uniquement. ɛ fermeture(t ) : ensemle des étts de l AFN ccessiles depuis un étt e pprtennt à T pr des ɛ-trnsitions uniquement. Trnsiter(T, ) : Ensemle des étts de l AFN vers lesquels il existe une trnsition sur le symole d entrée à prtir d un étt e pprtennt à T. Algorithme Il suffit de remplcer dns l lgorithme précédent les e S δ(e, ) pr ɛ fermeture(trnsiter(s, )) et initiliser E et T pr ɛ fermeture(e 0 ).

48 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 20/ 36 Prenons l exemple précédent : ( ) et l AFN qu on en déduit : ɛ ɛ ɛ 1 6 ɛ 4 ɛ 5 ɛ ɛ 10

49 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 21/ 36 ɛ 2 3 ɛ ɛ 0 ɛ 1 6 ɛ ɛ 4 ɛ 5 ɛ A C B D A = ɛ fermeture(e 0) = {0, 1, 2, 4, 7} ɛ f (Trnsiter(A, )) = ɛ f ({3, 8}) = {1, 2, 3, 4, 6, 7, 8} = B ɛ f (Trnsiter(A, )) = ɛ f ({5}) = {1, 2, 4, 5, 6, 7} = C ɛ f (Trnsiter(B, )) = ɛ f ({3, 8}) = B ɛ f (Trnsiter(B, )) = ɛ f ({5, 9}) = {1, 2, 4, 5, 6, 7, 9} = D ɛ f (Trnsiter(C, )) = ɛ f ({3, 8}) = B ɛ f (Trnsiter(C, )) = ɛ f ({5}) = C ɛ f (Trnsiter(D, )) = ɛ f ({3, 8}) = B ɛ f (Trnsiter(D, )) = ɛ f ({5, 10}) = {1, 2, 4, 5, 6, 7, 10} = E ɛ f (Trnsiter(E, )) = ɛ f ({3, 8}) = B ɛ f (Trnsiter(E, )) = ɛ f ({5}) = C E

50 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 22/ 36 Description des lngges réguliers Théorème : Soit Σ un lphet et L un lngge sur Σ. Alors les propriétés suivntes sont équivlentes : L est un lngge régulier, c est à dire qu il y une grmmire régulière G telle que L = L(G). Il existe une expression régulière r dénotnt L. Il existe un AFN A tel que L = L(A). Il existe un AFD A tel que L = L(A ). Les démonstrtions d équivlence sont sées sur des trnsformtions constructives.

51 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 23/ 36 Théorème de Myhill-Nerode Le théorème de Myhill-Nerode donne une condition nécessire et suffisnte pour qu un lngge soit régulier. Typiquement on utilise ce théorème pour vérifier si un lngge est régulier ou non. Définition Soit L Σ un lngge. L reltion R L sur Σ est définie pr xr L y si pour tout w Σ, soit xw L et yw L, soit xw / L et yw / L. On peut montrer que R L est une reltion d équivlence sur Σ. Le nomre de clsses d équivlences d une reltion R est ppelée indice de R. Théorème Un lngge L Σ est régulier si et seulement si l indice de R L est fini.

52 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 24/ 36 Théorème Un résultt théorique importnt est une conséquence du théorème Myhill-Nerode. Corollire : chque lngge régulier est reconnu pr un AFD à un nomre d étts miniml, qui est unique à un renommge près des étts. On ppelle cet AFD l utomte miniml de L. Le nomre d étts de l utomte miniml est égl à l indice de R L. En effet, si les clsses d équivlence de L sont connues, on peut construire l utomte miniml de L en utilisnt les clsses de R L comme ensemle des étts. Le meilleur lgorithme connu s exécute en temps O(n log n) où n est le nomre d étts de l utomte A.

53 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 25/ 36 Pour éviter des prolèmes techniques nous supposons que dns un AFD A = (E, Σ, δ, e 0, F ) quelconque, chque étt e une trnsition pour symole de Σ. Si δ n est ps défini pour chque couple (e, ) E Σ, lors nous pourrions introduire un nouvel «étt mort» E mort / F vec δ(e mort, ) = e mort pour chque Σ et δ(e, ) n est ps défini initilement. L fonction générlisée de trnsition d un AFD A = (E, Σ, δ, e 0, F ), notée ˆδ, est définie pr ˆδ(m, e) = e (m, e) A (ɛ, e ), où e, e E et m Σ. C est à dire ˆδ(m, e) = e si et seulement si prtnt de l AFD A dns l étt e et le fisnt fonctionner vec le mot d entrée m on termine dns l étt e. L étt e est ccessile depuis l étt de déprt e 0. On dit qu un mot m Σ distingue l étt e et l étt e de l AFD A si ˆδ(m, e) F ˆδ(m, e ) / F

54 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 26/ 36 Étpe 1 Construire une prtition initile π de l ensemle des étts vec deux groupes : les étts d ccepttion F et les étts de non-ccepttion E \ F. 0 π = {2, 5}, {0, 1, 3, 4}

55 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 27/ 36 Étpe 2 Appliquer l procédure ci-dessous fin de construire une nouvelle prtition π n. Pour chque groupe G de π fire : Prtitionner G en sous-groupes de mnière que deux étts e et f de G soient dns le même sous-groupe si et seulement si pour tout symole Σ, les étts e et f ont des trnsitions sur vers des étts du même groupe de π. Au pire un étt former un groupe à lui seul. remplcer G dns π n pr tous les sous-groupes insi formés. Étpe 3 Si π n = π, lors soit π f = π et continuer à l étpe 4, sinon répéter l étpe 2 vec π = π n.

56 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 28/ 36 Notre prtition étit : π = {2, 5}, {0, 1, 3, 4}. Soit G 1 = {2, 5} et G 2 = {0, 1, 3, 4}. symole G 2 G 2 G 2 G 1 G 2 G 1 G 2 G 2 G 2 G 2 G 2 G 2 Les trnsitions de tous les étts de G 1 vont vers les mêmes groupes, donc G 1 n est ps divisé en sous groupes. Pr contre dns G 2 il y des différences entre {0, 3} et {1, 4}. On otient donc une nouvelle prtition : π n = {2, 5}, {0, 3}, {1, 4}. On recommence l étpe 2 sur cette prtition.

57 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 29/ 36 Notre nouvelle prtition est : π n = {2, 5}, {0, 3}, {1, 4}. Soit G 1 = {2, 5}, G 2 = {0, 3} et G 3 = {1, 4}. symole G 2 G 2 G 2 G 2 G 1 G 1 G 3 G 3 G 3 G 3 G 3 G 3 Les trnsitions de tous les étts de tous les groupes vont vers les mêmes groupes, donc ils ne sont ps divisés en sous groupes. On peut psser à l étpe 4 vec π f = {2, 5}, {0, 3}, {1, 4}.

58 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 30/ 36 Étpe 4 Choisir un étt dns chque groupe de l prtition π f en tnt que représentnt de ce groupe. Les représentnts seront les étts de l AFD réduit A. Soit e un étt représenttif, et supposons que dns l utomte originl A il y it une trnsition de e vers f sur. Soit r le représentnt du groupe de f (r peut être égl à f ). Alors A une trnsition de e vers r sur. L étt de déprt de A est le représentnt du groupe qui contient l étt de déprt e 0 de A. Les étts d ccepttion de A sont les représentnts des étts de F. Notons que, pour tout groupe G de π f, soit G est entièrement composé d étts de F, soit G n en contient ucun.

59 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 31/ 36 L prtition finle étit : π f = {2, 5}, {0, 3}, {1, 4}. Prenons 2, 0 et 1 comme représentnts. 2 est un étt finl. 0 est l étt de déprt. On otient l AFD miniml : 0 1 2

60 AFD AFN Opértions Lemme de pompge ER vers AFN AFN vers AFD Minimistion d un AFD 32/ 36 Étpe 5 Si A un étt mort, c est à dire un étt e qui n est ps un étt d ccepttion et qui des trnsitions vers lui même sur tous les symoles de Σ, lors supprimer e de A. Supprimer ussi tous les étts non ccessiles depuis l étt de déprt. Toutes les trnsitions vers e depuisd utres étts deviennent indéfinis. Vlidité de l lgorithme L vlidité de l lgorithme n est ps évidente. L démonstrtion se fit pr récurrence sur le nomre d étpes.

61 AFD AFN Opértions Lemme de pompge 33/ 36 Lemme de pompge Le lemme de pompge est un outil pour montrer qu un lngge n est ps régulier. Un lngge non régulier ne peut être ni spécifié pr une expression régulière, ni ps un AFN ou un AFD. Lemme Soit L Σ un lngge régulier. Alors il existe une constnte n N telle que pour tout m L de longueur u moins n, il existe u, v, w Σ stisfisnt : m = uvw uv n v 1 uv i w L pour chque entier i 0 Utilistion Utilisé pour montrer qu un lngge n est ps régulier.

62 AFD AFN Opértions Lemme de pompge 34/ 36 Démonstrtion Soit L un lngge régulier, A un AFD tel que L = L(A), et n le nomre d étts de A. Prenons un mot m L tel que m n. Il existe donc u moins un étt de A pr lequel on psse plusieurs fois lors de l reconnissnce de m. Soit q le premier étt pr lequel on psse pour l deuxième fois. Soit u le sous-mot tel que (uγ, e 0 ) A (γ, q) Soit v et w les deux sous-mots tels que (vw, q) A (w, q) vec v 1 (possile cr on psse plusieurs fois pr q). Comme q est le seul étt visité plus d une fois près l reconnissnce de uv, on en déduit que uv n. On (uγ, e 0 ) A (γ, q) et (vw, q) A (w, q), donc pr trnsitivité on peut voir (v i w, q) A (w, q) et (uv i w, q) A (w, q) i N, donc uv i w L i N.

63 AFD AFN Opértions Lemme de pompge 35/ 36 Lemme de pompge On v montrer que le lngge L = {0 k 1 k k N} n est ps régulier. Supposons le lngge régulier et outissons à une contrdiction. Pour cel on v construire un mot en utilisnt le Lemme et montrer qu il n est ps dns le lngge. En utilisnt le fmeux entier n du lemme, on utilise le mot 0 n 1 n qui pprtient ien à L. D près l première propriété, uvw = 0 n 1 n. D près l seconde propriété uv n, donc uv = 0 m, vec m n. D près l troisième propriété v 1. Donc v = 0 v et v 1. D près l qutrième propriété uv 2 w L. Or uv 2 w = 0 p 0 n vec p > q cr le second v jouté des 0, mis ps de 1. Et ce mot ne peut ps pprtenir à L pr l définition de L. L n est donc ps régulier.

64 AFD AFN Opértions Lemme de pompge 36/ 36 Ensemles non réguliers On ne peut ps décrire certins lngges pr des expressions régulières. On ne peut ps utiliser les expressions régulières pour décrire des constructions équilirées ou imriquées. Pr exemple, l ensemle des chînes de prenthèses équilirées ne peut ps être décrit pr des expressions régulières. D un utre côté, ce lngge peut être spécifié pr une grmmire hors contexte. Des chînes répétées ne peuvent ps être décrites pr des expressions régulières. L ensemle {wcw w ( ) } ne peut être dénoté ni pr une expression régulière, ni pr une grmmire hors contexte. On peut utiliser des expressions régulières pour dénoter seulement un nomre fixe ou infini de répétitions d une construction donnée. Deux nomres ritrires ne peuvent ps être comprés pour voir si ce sont les mêmes.

Théorie des Langages Formels Chapitre 5 : Automates minimaux

Théorie des Langages Formels Chapitre 5 : Automates minimaux 1/29 Théorie des Lngges Formels Chpitre 5 : Automtes minimux Florence Levé Florence.Leve@u-picrdie.fr Année 2014-2015 2/29 Introduction Les lgorithmes vus précédemment peuvent mener à des utomtes reltivement

Plus en détail

Théorie des langages Automates finis

Théorie des langages Automates finis Théorie des lngges Automtes finis Elise Bonzon http://we.mi.prisdescrtes.fr/ onzon/ elise.onzon@prisdescrtes.fr 1 / 51 Automtes finis Introduction Formlistion Représenttion et exemples Automtes complets

Plus en détail

Automates et langages: quelques algorithmes

Automates et langages: quelques algorithmes Automtes et lngges: quelques lgorithmes Eugene Asrin Sddek Benslem Avertissement Dns l étt ctuel ce document est rchi-sec et peut servir seulement d un ide-mémoire. Pour comprendre les lgorithmes ci-dessous

Plus en détail

1 Langages reconnaissables

1 Langages reconnaissables 8INF713 Informtique théorique Automne 2014 Exercices 1 Lngges reconnissles 1.1 Considérez les deux utomtes suivnts et répondez ux questions suivntes : q 3, q 3 q 4 () A 1 () A 2 Figure 1 () Quel est l

Plus en détail

Dynamique des systèmes et automates à états

Dynamique des systèmes et automates à états Chpitre 8 Dynmique des systèmes et utomtes à étts L modélistion sttique s intéresse à ce qu il y dns le système, à s structure, etc. L modélistion de l dynmique trite de l évolution du système dns le temps.

Plus en détail

Marc Chemillier Master M2 Atiam (Ircam), 2011-2012

Marc Chemillier Master M2 Atiam (Ircam), 2011-2012 MMIM Modèles mthémtiques en informtique musicle Mrc Chemillier Mster M2 Atim (Ircm), 2011-2012 Notions théoriques sur les lngges formels - Définitions générles o Mots, lngges o Monoïdes - Notion d utomte

Plus en détail

Théorie de langages, TD3

Théorie de langages, TD3 Théorie de lngges, TD3 Octoer 6, 25 Automtes finis. Definitions Un utomte fini déterministe (DFA deterministic finite utomton) est une mchine de clcul A qui peut être définie pr les cinq éléments suivnts.

Plus en détail

CH.1 Automates finis

CH.1 Automates finis CH.1 Automtes finis 1.1 Les utomtes finis déterministes 1.2 Les utomtes finis non déterministes 1. Les utomtes vec -trnsitions 1.4 Les expressions régulières 1.5 L'équivlence des modèles Automtes ch1 1

Plus en détail

Travaux Dirigés de Langages & XML - TD 2

Travaux Dirigés de Langages & XML - TD 2 TD Lngges - XML Exercices Corrigés TD 2 Trvux Dirigés de Lngges & XML - TD 2 Automtes deterministes Exercice Dns chcun des cs suivnts, donner un utomte déterministe reconnissnt le lngge sur l lphet {,

Plus en détail

Lycée Faidherbe, Lille MP1 Cours d informatique 2013 2014. Automates

Lycée Faidherbe, Lille MP1 Cours d informatique 2013 2014. Automates Lycée Fidhere, Lille MP Cours d informtique 203 204 Automtes I Déterministes........................... 2 Définitions 2 Exemple 2 Action des mots 3 Lngge reconnu 3 II Incomplets.............................

Plus en détail

Chapitre 2 Les automates finis

Chapitre 2 Les automates finis Chpitre 2 Les utomtes finis 28 2.1 Introduction Automtes finis : première modélistion de l notion de procédure effective.(ont ussi d utres pplictions). Dérivtion de l notion d utomte fini de celle de progrmme

Plus en détail

Examen Final Corrigé rédigé par Paul Brunet et Laure Gonnord

Examen Final Corrigé rédigé par Paul Brunet et Laure Gonnord Mster Info - 2014-2015 MIF15 Complexité et Clculbilité Exmen Finl Corrigé rédigé pr Pul Brunet et Lure Gonnord Durée 1H30 Notes de cours et de TD utorisées. Livres et ppreils électroniques interdits. Le

Plus en détail

Solution - TD Feuille 2 - Automates finis et expressions rationnelles

Solution - TD Feuille 2 - Automates finis et expressions rationnelles Solution - TD Feuille 2 - Automtes finis et expressions rtionnelles Informtique Théorique 2 - Unité JINPW Licence 3 - Université Bordeux Solution de l exercice : Pour tout l exercice, on note A = {, }.

Plus en détail

Notes de cours sur les automates (NFP108)

Notes de cours sur les automates (NFP108) Notes de cours sur les utomtes (NFP18) F. Brthélemy 8 décemre 215 Avertissement : ce document est en cours d élortion et susceptile d évoluer. Il est dns un étt provisoire. 1 Introduction Les utomtes finis

Plus en détail

2.1 Comment implanter en C un reconnaisseur de mots? Aut2 q 0 q 1

2.1 Comment implanter en C un reconnaisseur de mots? Aut2 q 0 q 1 Lngges Automtes Non-déterminisme Grmmires Attiuées et Génértives Expressions régulières Correction Prtielle de Progrmmes Ceci n'est ps un cours de Lngge C++ 2.1 Comment implnter en C un reconnisseur de

Plus en détail

2.1 L'automate minimal

2.1 L'automate minimal CH.2 Minimistion 2.1 L'utomte miniml 2.2 L'lgorithme de minimistion Automtes ch2 1 2.1 L'utomte miniml Le lngge L définit sur Σ* l reltion d'équivlence R L : x R L y ssi ( z, xz L yz L). L'AFD M définit

Plus en détail

Ecole Normale Supérieure de Cachan 61 avenue du président Wilson 94230 CACHAN. Concours d admission en 3 ème année Informatique.

Ecole Normale Supérieure de Cachan 61 avenue du président Wilson 94230 CACHAN. Concours d admission en 3 ème année Informatique. C39211 Ecole Normle Supérieure de Cchn 61 venue du président Wilson 94230 CACHAN Concours d dmission en 3 ème nnée Informtique Session 2009 INFORMATIQUE 1 Durée : 5 heures «Aucun document n est utorisé»

Plus en détail

Zéros des fonctions. 1. La dichotomie. Exo7. 1.1. Principe de la dichotomie

Zéros des fonctions. 1. La dichotomie. Exo7. 1.1. Principe de la dichotomie Exo7 Zéros des fonctions Vidéo prtie 1. L dichotomie Vidéo prtie. L méthode de l sécnte Vidéo prtie 3. L méthode de Newton Dns ce chpitre nous llons ppliquer toutes les notions précédentes sur les suites

Plus en détail

Automates et langages

Automates et langages Automtes et lngges L exmen corrigé RICM 9 jnvier 22 Grmmire Automte Expression On considère l grmmire régulière G =(Γ,Σ,S,Π) vec Γ = {S,P,R}, Σ={,} et Π={S P,P R,P S,R,R P }.. Construire un utomte A cceptnt

Plus en détail

Cours Mathématiques Discrètes IUT Belfort Montbéliard. Pierre-Cyrille HEAM

Cours Mathématiques Discrètes IUT Belfort Montbéliard. Pierre-Cyrille HEAM Cours Mthémtiques Discrètes IUT Belfort Montélird Pierre-Cyrille HEAM 23 septemre 2014 Chpitre 1 Grphes finis orientés 1.1 Premières définitions Un grphe fini orienté est un couple (V, E) où V est un ensemle

Plus en détail

Automates hyper-minimaux

Automates hyper-minimaux Université derouen UFR des sciences et techniques Projet nnuel de mster 1 Encdrnts : Pscl Cron et Ludovic Mignot Automtes hyper-minimux Jen-Bptiste PRIEZ Rouen, le 20 mi 2011 Résumé Deux lngges sont f-équivlents

Plus en détail

Automates à états fnis Damien Nouvel

Automates à états fnis Damien Nouvel Automtes Automtes à étts fnis Automtes à étts fnis Pln Représenttion des utomtes (FSA) Défnition formelle (DFA) Équivlence DFA / NFA / ε-nfa Licence Informtique L1 Automtes 2 / 30 Automtes à étts fnis

Plus en détail

Primitive et intégrale d une fonction continue

Primitive et intégrale d une fonction continue Primitive et intégrle d une fonction continue O. Simon, Université de Rennes I 24 mi 2005 Avertissement : Ceci n est ps le contenu d une leçon de CAPES. Dns le progrmme 2002 de terminles S, on introduit

Plus en détail

Rattrapage. 4 ] Quelle est la complexité dans le pire cas de l algorithme de tri fusion (pour trier n éléments)?

Rattrapage. 4 ] Quelle est la complexité dans le pire cas de l algorithme de tri fusion (pour trier n éléments)? IN 02 6 mrs 2009 Rttrpge NOM : Prénom : ucun document n est utorisé. ce QCM outit à une note sur 42 points. L note finle sur 20 ser otenue simplement en divisnt l note sur 42 pr 2. Il suffit donc de donner

Plus en détail

Intégration. Rappels. Définition 3. Soit I un intervalle réel et f : I E. On dit que F : I E est. f(x) f(a) x a

Intégration. Rappels. Définition 3. Soit I un intervalle réel et f : I E. On dit que F : I E est. f(x) f(a) x a Intégrtion Les fonctions considérées ci-dessous sont des fonctions définies sur un intervlle réel I, à vleurs réelles ou complees ou, plus générlement, à vleurs dns un espce vectoriel normé de dimension

Plus en détail

Contrôle sur le Cours d'algorithme et de langage C

Contrôle sur le Cours d'algorithme et de langage C Déprtement Génie Electrique Automtique NOM: Prénom: Contrôle sur le Cours d'algorithme et de lngge C G.Gteu et J.Régnier Le 15 Jnvier 2008- Durée 2h Documents de cours utorisé. Le contrôle est constitué

Plus en détail

Théorème de Rolle et formules de Taylor

Théorème de Rolle et formules de Taylor Théorème de Rolle et formules de Tylor 1 Extrémums des fonctions différentibles à vleurs réelles 1. Soient K un compct d un espce vectoriel normé (E, ) et f une fonction définie sur K à vleurs dns R. Montrer

Plus en détail

I. Que sont les partitions?

I. Que sont les partitions? Cours de mthémtiques frfelues LES FRACTIONS CASSÉES Prémule Voici un cours de mthémtiques qui n ur jmis s plce dns une slle de clsse un utre jour que le er vril. Son sujet : les frctions cssées, ou prtitions,

Plus en détail

Equations d'état, travail et chaleur

Equations d'état, travail et chaleur Equtions d'étt, trvil et chleur Exercice On donne R 8, SI. ) Quelle est l'éqution d'étt de n moles d'un gz prfit dns l'étt,,? En déduire l'unité de R. ) Clculer numériquement l vleur du volume molire d'un

Plus en détail

Cours d informatique théorique de M. Arfi. FMdKdD fmdkdd [à] free.fr

Cours d informatique théorique de M. Arfi. FMdKdD fmdkdd [à] free.fr Cours d informtique théorique de M. Arfi FMdKdD fmdkdd [à] free.fr Université du Hvre Année 2009 2010 Tle des mtières 1 Reltions et lois de composition internes 2 1.1 Reltions.....................................

Plus en détail

(surface d'un cercle : S = pd2 4 )

(surface d'un cercle : S = pd2 4 ) Les cordes sont de dimètres vribles. Si on les remplce pr deux cordes de même dimètre, le dimètre moyen, le résultt devrit être le même. Ici le résultt, c est sns doute l résistnce qui est proportionnelle

Plus en détail

ARBRES. Etiquettes / Arbre ordinaire : A = (N,P) - N ensemble des nœuds - P relation binaire «parent de» - r N la racine

ARBRES. Etiquettes / Arbre ordinaire : A = (N,P) - N ensemble des nœuds - P relation binaire «parent de» - r N la racine ARBRES Arbre ordinire : A = (N,P) - N ensemble des nœuds - P reltion binire «prent de» - r N l rcine x N un seul chemin de r vers x r = y o P y P y... P y n = x 0 r n ps de prent x N - { r } x exctement

Plus en détail

Analyse statique et domaines abstraits symboliques

Analyse statique et domaines abstraits symboliques Anlyse sttique et domines strits symoliques Mémoire d hilittion à diriger des recherches Lurent Muorgne Hilittion soutenue le 12 février 2007 à l Université Pris-Duphine Jury : Ptrick Cousot (rpporteur)

Plus en détail

Algorithmique et Programmation. Automates finis. Chap. I/9

Algorithmique et Programmation. Automates finis. Chap. I/9 Algorithmique et Progrmmtion. Automtes finis. Chp. I/9 Jen-Eric Pin To cite this version: Jen-Eric Pin. Algorithmique et Progrmmtion. Automtes finis. Chp. I/9. J. Akok et I. Comyn-Wttiu. Encyclopédie de

Plus en détail

Fonctions : variations et extremums. Fonctions affines

Fonctions : variations et extremums. Fonctions affines Fonctions : vritions et extremums. Fonctions ffines Clsse de seconde I. Sens de vrition d'une fonction... 1) Fonctions croissntes... ) Fonctions décroissntes... II. Tbleu de vritions...3 III. Mximum, minimum...3

Plus en détail

Apprentissage Par Projet de la Programmation avec Python Corrigé du TP5

Apprentissage Par Projet de la Programmation avec Python Corrigé du TP5 IGI-8 ESIEE Pris 5-6 Apprentissge Pr Projet de l Progrmmtion vec Python Corrigé du TP5 Jen-Clude GEORGES Listes, tuple et fichiers Les listes et les tuples sont des collections de données dont les données

Plus en détail

Notes de révision : Automates et langages

Notes de révision : Automates et langages Préprtion à l grégtion de mthémtiques 2011 2012 Notes de révision : Automtes et lngges Benjmin MONMEGE et Sylvin SCHMITZ LSV, ENS Cchn & CNRS Version du 24 octore 2011 (r66m) CC Cretive Commons y-nc-s

Plus en détail

Théorie des automates et langages formels

Théorie des automates et langages formels Fculté des sciences Déprtement de mthémtiques Théorie des utomtes et lngges formels 1 4 7, d c d 2 c c d 5 c d c d, 8 c d 3 6 9,c,d,c,d,,c,d Année cdémique 2009 2010 Michel Rigo Tle des mtières Chpitre

Plus en détail

Relations binaires. Table des matières. Marc SAGE. 18 octobre 2007. 1 Amuse gueule 2. 2 Combinatoire dans les quotients 2. 3 Problème d extréma 3

Relations binaires. Table des matières. Marc SAGE. 18 octobre 2007. 1 Amuse gueule 2. 2 Combinatoire dans les quotients 2. 3 Problème d extréma 3 Reltions binires Mrc SAGE 8 octobre 007 Tble des mtières Amuse gueule Combintoire dns les quotients 3 Problème d extrém 3 4 Un théorème de point xe 3 5 Sur l conjugisons dns R 3 6 Sur les corps totlement

Plus en détail

Chapitre 2 Le problème de l unicité des solutions

Chapitre 2 Le problème de l unicité des solutions Université Joseph Fourier UE MAT 127 Mthémtiques nnée 2009-2010 Chpitre 2 Le prolème de l unicité des solutions 1 Le prolème et quelques réponses : 1.1 Un exemple Montrer que l éqution différentielle :

Plus en détail

Chapitre 1. Dénombrer et sommer. 1.1 Rappels ensemblistes. 1.1.1 Opérations ensemblistes

Chapitre 1. Dénombrer et sommer. 1.1 Rappels ensemblistes. 1.1.1 Opérations ensemblistes Chpitre 1 Dénombrer et sommer Compter des objets et fire des dditions, voilà bien les deux ctivités les plus élémentires à l bse des mthémtiques. Et pourtnt à y regrder de plus près, ce n est ps si fcile.

Plus en détail

Majorations de l erreur dans les calculs classiques de valeurs approchées d intégrale. Notes pour la préparation au CAPES - Strasbourg- février 2006

Majorations de l erreur dans les calculs classiques de valeurs approchées d intégrale. Notes pour la préparation au CAPES - Strasbourg- février 2006 Mjortions de l erreur dns les clculs clssiques de vleurs pprochées d intégrle Notes pour l préprtion u CAPES - Strsbourg- février 00 On trouve dns différents ouvrges élémentires des démonstrtions à coup

Plus en détail

Notion de qualité de l énergie

Notion de qualité de l énergie BULLEIN DE L UNION DES PHYSICIENS 509 Notion de qulité de l énergie pr Pul ROUX et JenRobert SEIGNE Lycée Clude Furiel 42022 SintÉtienne Cedex RÉSUMÉ L conservtion de l énergie est insuffisnte pour ustifier

Plus en détail

Théorie des Langages Formels Chapitre 4 : Automates complets déterministes

Théorie des Langages Formels Chapitre 4 : Automates complets déterministes 1/2 Théorie des Lngges Formels Chpitre 4 : Automtes complets déterministes Florence Levé Florence.Leve@u-picrdie.fr Année 2015-2016 2/2 Introduction 4 5 6 7 8 9 10 11 12 Recherche de :, /2 Automte déterministe

Plus en détail

SESSION 2013 MPIN007! INFORMATIQUE. Durée : 3 heures!

SESSION 2013 MPIN007! INFORMATIQUE. Durée : 3 heures! SESSION 2013 MPIN007 EPREUVE SPECIFIQUE - FILIERE MP " INFORMATIQUE Durée : 3 heures " N.B. : Le cndidt ttcher l plus grnde importnce à l clrté, à l précision et à l concision de l rédction. Si un cndidt

Plus en détail

6.1 STRUCTURES PLANES FORMEES DE POUTRES RELATIONS ENTRE CHARGES ET ELEMENTS DE REDUCTION

6.1 STRUCTURES PLANES FORMEES DE POUTRES RELATIONS ENTRE CHARGES ET ELEMENTS DE REDUCTION 6.1 STRUTURES PLES FOREES DE POUTRES RELTIOS ETRE HRGES ET ELEETS DE REDUTIO Les vritions des éléments de réduction,,, lorsqu'on psse d'une section à l'utre, sont liées pr des reltions fondmentles que

Plus en détail

Automates finis. porte

Automates finis. porte utomtes finis Il s git d un modèle très souple, qui s dpte à des domines très différents en informtique. D une fçon générle, il sert à représenter les divers étts d un système (mécnique, électronique ou

Plus en détail

Qu'est qu'un ordinateur? Une machine à faire des calculs

Qu'est qu'un ordinateur? Une machine à faire des calculs Qu'est qu'un ordinteur? Une mchine à fire des clculs Une mchine: un ensemle de mécnismes cominés pour recevoir une forme définie d'énergie, l trnsformer et l restituer sous une forme plus ppropriée, ou

Plus en détail

Manuel d instructions du KIT de mise à niveau I

Manuel d instructions du KIT de mise à niveau I Mnuel d instructions du KIT de mise à niveu I TABLE DES MATIÈRES AVANT DE COMMENCER... 2 NOUVELLES FONCTIONNALITÉS... 2 UTILISATION DE LA TABLETTE À STYLET... 3 À propos de l tblette à stylet... 3 Utilistion

Plus en détail

Chapitre 3 Dérivées et Primitives

Chapitre 3 Dérivées et Primitives Cours de Mthémtiques Clsse de Terminle STI - Chpitre : Dérivées et Primitives Chpitre Dérivées et Primitives A) Rppels de première et compléments ) Dérivées usuelles Fonction définie sur Fonction f() =

Plus en détail

Les intégrales. f(x) dx. f(x) dx est appelée intégrale définie, c est un nombre. La variable x ne sert qu à décrire la fonction f, on a b

Les intégrales. f(x) dx. f(x) dx est appelée intégrale définie, c est un nombre. La variable x ne sert qu à décrire la fonction f, on a b Les intégrles Introduction Etnt donnée une fonction positive f définie sur un intervlle borné [, b], on veut évluer l ire comprise entre l e des bscisses, l courbe représentnt f et les verticles = et =

Plus en détail

Automates temporisés. Amal El Fallah Seghrouchni Amal.Elfallah@lip6.fr

Automates temporisés. Amal El Fallah Seghrouchni Amal.Elfallah@lip6.fr Automtes temporisés Aml El Fllh Seghrouchni Aml.Elfllh@lip6.fr Pln Introduction Définition d un utomte temporisé Composition d utomtes temporisés Automtes hybrides Conclusion Le problème à résoudre monde

Plus en détail

STRUCTURE CRISTALLINE THEORIE DES RESEAUX DE BRAVAIS

STRUCTURE CRISTALLINE THEORIE DES RESEAUX DE BRAVAIS CHAPITRE 1 STRUCTURE CRISTALLINE THEORIE DES RESEAUX DE BRAVAIS Objectifs Comme les liquides et les gz, les solides jouent un rôle très importnt en chimie. Or l pluprt des solides sont des solides cristllins.

Plus en détail

DCG session 2011 UE8 Systèmes d information et de gestion Corrigé indicatif. 1. Expliquer les cardinalités des associations NECESSITER, SE DEROULER

DCG session 2011 UE8 Systèmes d information et de gestion Corrigé indicatif. 1. Expliquer les cardinalités des associations NECESSITER, SE DEROULER DCG session 2011 UE8 Systèmes d informtion et de gestion Corrigé indictif DOSSIER 1 : PREPARER ET FORMER LES ENTRAINEURS 1. Expliquer les crdinlités des ssocitions NECESSITER, SE DEROULER Intitulé de l'ssocition

Plus en détail

BROCHURE D'EXERCICES D'ANALYSE MATHEMATIQUE 2

BROCHURE D'EXERCICES D'ANALYSE MATHEMATIQUE 2 MINISTERE DE L 'ENSEIGNEMENT SUPERIEUR FACULTE DES SCIENCES. DEPARTEMENT DE MATHEMATIQUES OSMANOV Hmid KHELIFATI Sddek BROCHURE D'EXERCICES D'ANALYSE MATHEMATIQUE PARTIE : INTEGRATION. INTEGRALE INDEFINIE

Plus en détail

Résumé sur les Intégrales Impropres & exercices supplémentaires

Résumé sur les Intégrales Impropres & exercices supplémentaires L-MATH II-(25-26). Résumé sur les Intégrles Impropres & eercices supplémentires Une fonction définie sur un intervlle I est dite loclement intégrble sur I si f est Riemnnintégrble sur tout intervlle [,

Plus en détail

FAQ sur l utilisation d Ecoline-solo

FAQ sur l utilisation d Ecoline-solo FAQ sur l utilistion d Ecoline-solo De quel mtériel i-je esoin pour compléter les informtions demndées dns Ecoline-solo? Pour remplir rpidement toutes les informtions demndées dns Ecoline-solo, vous devez,

Plus en détail

Cours de «concepts avancés de compilation» Travaux pratiques. Auteur : F. Védrine

Cours de «concepts avancés de compilation» Travaux pratiques. Auteur : F. Védrine Cours de «onepts vnés de ompiltion» Trvux prtiques Auteur : F. Védrine Les utomtes et les expressions régulières Les utomtes sont onstitués d étts et de trnsitions. Un étt définit l vnée dns l reonnissne

Plus en détail

Modélisation linguistique pour l analyse automatique de textes

Modélisation linguistique pour l analyse automatique de textes Modélistion linguistique pour l nlyse utomtique de textes Pln du cours (seconde prtie) : 1. Automte suite et fin 2. Conceptulistion de connissnces temporelles 3. Anlyse morpho-syntxique d un texte 4. Formlistion

Plus en détail

ESTIMER LA PRÉCISION DES MESURES

ESTIMER LA PRÉCISION DES MESURES ESTIMER LA PRÉCISION DES MESURES I. Précision d'une mesure directe Une mesure directe est une mesure lue sur un ppreil de mesure. Le résultt d'une mesure directe n'est jmis connu de fçon prfitement excte.

Plus en détail

Automates. Notions de base Notes de cours, IR1, 2009 Sylvain Lombardy

Automates. Notions de base Notes de cours, IR1, 2009 Sylvain Lombardy 1 Alphet, mot, lngge Automte Notion de e Note de cou, IR1, 2009 Sylvin Lomdy Un lphet A et un enemle fini de ymole ppelé lette. Un mot et une uite finie de lette. On note A l enemle de mot que l on peut

Plus en détail

IFT 615 : Devoir 4 Travail individuel

IFT 615 : Devoir 4 Travail individuel IFT 615 : Devoir 4 Trvil individuel Remise : 1 vril 01, 16h0 (u plus trd) 1. [ points] Dns le cours, nous vons vu différents types de problèmes d intelligence rtificielle insi que plusieurs solutions possibles

Plus en détail

LA CHAINE D INFORMATION :La fonction ACQUERIR

LA CHAINE D INFORMATION :La fonction ACQUERIR Livret des compétences essentielles de seconde II Fiche N 3- Niveu d cquisition exigé : «je sis en prler» LA CHAINE D INFORMATION :L fonction ACQUERIR L fonction ACQUERIR est chrgée de mettre en forme

Plus en détail

Théorie de la mesure et intégration. J.C. Pardo

Théorie de la mesure et intégration. J.C. Pardo Feuille de TD 6. Théorie de l mesure et intégrtion. J.C. Prdo Exercices. Exo. 72 Soit f une fonction sur. On considère muni de l tribu B des boréliens et d une mesure λ sur B. On suppose que f est λ-loclement

Plus en détail

Formation et Analyse d'images. La Vision Stéréoscopique

Formation et Analyse d'images. La Vision Stéréoscopique Formtion et Anlyse d'imges Jmes L. Crowley ENSIMAG 3 Premier Bimestre 2007/2008 Sénce 11 21 décemre 2007 Pln de l Sénce : L Vision Stéréoscopique L Vision Stéréoscopique...2 Les Techniques d'appriement...2

Plus en détail

Kit de survie - Bac ES

Kit de survie - Bac ES Kit de survie - Bc ES. Étude du signe d une expression ) Signe de x + Ü Ü ½ Ò µ¼ Ò ½ 0) On détermine l vleur de x qui nnule x +, puis on pplique l règle : «signe de près le 0». ) Signe de x + x + c ܾ

Plus en détail

Fonctions affines ; Equations et inéquations

Fonctions affines ; Equations et inéquations Fonctions ffines ; Equtions et inéqutions I. Fonctions ffines.. Définition Définition d une fonction ffine : on ppelle fonction ffine toute fonction définie sur pr f ( ) où et sont des réels tels que.

Plus en détail

Les langages de programmations.

Les langages de programmations. Communiction technique: L utomte progrmmle industriel (les lngges) Leçon Les lngges de progrmmtions. Introduction : L écriture d un progrmme consiste à créer une liste d instructions permettnt l exécution

Plus en détail

Rappel : Définition définitive du problème de la recherche

Rappel : Définition définitive du problème de la recherche Rppel : Définition définitive du prolème de l recherche On dispose d une prt d un mot (un texte) et d utre prt d un lngge régulier défini pr une expression régulière. On demnde de rechercher dns le texte

Plus en détail

Formation et Analyse d'images. Stéreo et la Géometrie Epipolaire

Formation et Analyse d'images. Stéreo et la Géometrie Epipolaire Formtion et Anlyse d'imges Jmes L. Crowley ENSIMAG 3 Premier Bimestre 2002/2003 Sénce 7 21 novmre 2002 Stéreo et l Géometrie Epipolire Pln de l Sénce: L Vision Stéréoscopique...2 Les Techniques d'appriement...2

Plus en détail

3 LES OUTILS DE DESCRIPTION D UNE FONCTION LOGIQUE

3 LES OUTILS DE DESCRIPTION D UNE FONCTION LOGIQUE 1GEN ciences et Techniques Industrielles Pge 1 sur 7 Automtique et Informtiques Appliquées Génie Énergétique Première 1 - LA VARIABLE BINAIRE L électrotechnique, l électronique et l mécnique étudient et

Plus en détail

LANGAGES - GRAMMAIRES - AUTOMATES

LANGAGES - GRAMMAIRES - AUTOMATES LANGAGES - GRAMMAIRES - AUTOMATES Mrie-Pule Muller Version du 14 juillet 2005 Ce cours présente et met en oeuvre quelques méthodes mthémtiques pour l informtique théorique. Ces notions de bse pourront

Plus en détail

CHAPITRE 4 LA TRANSFORMÉE DE F OURIER

CHAPITRE 4 LA TRANSFORMÉE DE F OURIER CHAPITRE 4 LA TRANSFORMÉE DE F OURIER 4. Fonctions loclement intégrbles Soit I un intervlle de R et soit f : R R une ppliction. Définition 4.. On dit que f est loclement intégrble sur I si f est intégrble

Plus en détail

Option informatique :

Option informatique : Option formtique : l deuxième nnée Lurent Chéno été 1996 Lycée Louis-le-Grnd, Pris Tle des mtières I Arres 13 1 Arres ires 15 1.1 Défitions et nottions... 15 1.1.1 Défition formelle d un rre ire... 15

Plus en détail

Cours de mathématiques. Chapitre 12 : Calcul Intégral

Cours de mathématiques. Chapitre 12 : Calcul Intégral Cours de mthémtiques Terminle S1 Chpitre 12 : Clcul Intégrl Année scolire 2008-2009 mise à jour 5 mi 2009 Fig. 1 Henri-Léon Leesgue et Bernhrd Riemnn n les confond prfois 1 Tle des mtières I Chpitre 12

Plus en détail

LE RESEAU RECIPROQUE solution

LE RESEAU RECIPROQUE solution LE RESEU RECIPROQUE solution L pge 85 de votre poly de physique est conscrée à l définition du réseu réciproque, un concept initilement introduit pr J.W. Gibbs (189-190). Ce concept, plutôt bstrit, est

Plus en détail

Séries, intégrales et probabilités

Séries, intégrales et probabilités Séries, intégrles et probbilités Thierry MEYRE Préprtion à l grégtion interne. Année 2014-2015. Université Pris Diderot. IREM. http://www.prob.jussieu.fr/pgeperso/meyre 2 BIBLIOGRAPHIE. Les ouvrges de

Plus en détail

Automates d arbres avec visibilité : rapport de stage de licence (L3)

Automates d arbres avec visibilité : rapport de stage de licence (L3) Automtes d rbres vec visibilité : rpport de stge de licence (L3) Nicols Perrin ENS de Lyon Mître de stge : Hubert Comon-Lundh - LSV, ENS Cchn Autre encdrnt : Florent Jcquemrd - LSV, ENS Cchn Résumé Mon

Plus en détail

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours Eo7 Clcls de primitives et d intégrles Eercices de Jen-Lois Roget. Retrover ssi cette fiche sr www.mths-frnce.fr * très fcile ** fcile *** difficlté moyenne **** difficile ***** très difficile I : Incontornle

Plus en détail

Chapitre 6 : Fonctions affines -28-01-12- Seconde 7, 2010-2011, Y. Angeli

Chapitre 6 : Fonctions affines -28-01-12- Seconde 7, 2010-2011, Y. Angeli Chpitre 6 : Fonctions ffines -8-01-1- Seconde 7, 010-011, Y. Angeli 1. Éqution réduite d une droite Théorème. Dns un repère, soient A(x A ;y A ) et B(x B ;y B ) tels que x A x B. Alors l droite (AB) est

Plus en détail

Chimie Avancement d une réaction chimique Chap.8

Chimie Avancement d une réaction chimique Chap.8 ère S Thème : Couleurs et imges TP n 6 Chimie Avncement d une réction chimique Chp.8 Notions et contenus Réction chimique réctif limitnt stœchiométrie notion d vncement Compétences eigiles Identifier le

Plus en détail

Espaces métriques, espaces vectoriels normés. Tewfik Sari. L2 Math

Espaces métriques, espaces vectoriels normés. Tewfik Sari. L2 Math Espces métriques, espces vectoriels normés Tewfik Sri L2 Mth Avertissement : ces notes sont l rédction, progressive et provisoire, d un résumé du cours d espces métriques de d espces vectoriels normés

Plus en détail

METHADOSE MC Dépendance aux opiacés

METHADOSE MC Dépendance aux opiacés METHADOSE MC Dépendnce ux opicés OCTOBRE 2013 Mrque de commerce : Methdose Dénomintion commune : Méthdone (chlorhydrte de) Fbricnt : Mllinckro Forme : Solution Orle Teneur : Ajout ux listes de médicments

Plus en détail

Recherche des paramètres de préréglage en injection. 1 COURS SUR LA RECHERCHE DES PARAMETRES POUR LE CHOIX ET LE PREREGLAGE DES PRESSES A INJECTER

Recherche des paramètres de préréglage en injection. 1 COURS SUR LA RECHERCHE DES PARAMETRES POUR LE CHOIX ET LE PREREGLAGE DES PRESSES A INJECTER Recherche des prmètres de préréglge en injection. 1 COURS SUR LA RECHERCHE DES PARAMETRES POUR LE CHOIX ET LE PREREGLAGE DES PRESSES A INJECTER Appliction et utilistion des préréglges : Les données de

Plus en détail

Addenda sur la mise à niveau de l'application CallPilot 100/150

Addenda sur la mise à niveau de l'application CallPilot 100/150 CllPilot 100/150 Version 3.0 Addend sur l mise à niveu logicielle Addend sur l mise à niveu de l'ppliction CllPilot 100/150 Instlltion d'un nouveu logiciel dns l crtouche de fonction du système CllPilot

Plus en détail

On voit que même pour les nombres premiers la situation n est pas claire, néanmoins c est le cas le plus simple et donc on va l étudier en premier.

On voit que même pour les nombres premiers la situation n est pas claire, néanmoins c est le cas le plus simple et donc on va l étudier en premier. Chitre 3 : Résidus qudrtiques Dns ce chitre on v essyer d extrire des rcines crrés dns ZnZ. Dns le cors des nombres réels tous les nombres ositifs sont des crrés et les nombres négtifs ne le sont s, dns

Plus en détail

CHAPITRE 9 : PRIMITIVES - INTEGRALES

CHAPITRE 9 : PRIMITIVES - INTEGRALES Primitives et intégrles Cours CHAPITRE 9 : PRIMITIVES - INTEGRALES. Primitives d une fonction Définition Soit f une fonction définie sur un intervlle I. Une fonction F est une primitive de f sur I, si

Plus en détail

OLYMPIADES ACADEMIQUES DE MATHEMATIQUES 2011 ACADEMIE DE BESANÇON

OLYMPIADES ACADEMIQUES DE MATHEMATIQUES 2011 ACADEMIE DE BESANÇON OLYMPIADES ACADEMIQUES DE MATHEMATIQUES 2011 ACADEMIE DE BESANÇON Durée : 4 heures Les clcultrices sont utorisées. Le sujet comprend qutre exercices indépendnts qui peuvent être trités dns l'ordre que

Plus en détail

Exercices reliés au chapitre 3

Exercices reliés au chapitre 3 Université Lvl Fculté des sciences et de génie Déprtement d informtique et de génie logiciel IFT-3101 Dnny Dué Version: Hiver 2013 Exercices reliés u chpitre 3 Exercices Voici les exercices que je recommnde

Plus en détail

Elaboration et construction du nouveau nuancier de couleur de la viande de veau

Elaboration et construction du nouveau nuancier de couleur de la viande de veau 2010 Compte-rendu finl n 00 10 32 009 Déprtement Techniques d élevge et Qulité Service Qulité des Vindes Croline EVRAT GEORGE Dnièle RIBAUD collection résultts Elortion et construction du nouveu nuncier

Plus en détail

Exercices Mathématiques Discrètes : Relations

Exercices Mathématiques Discrètes : Relations Exeries Mthémtiques Disrètes : Reltions Reltions inires R1 Soient A = {0, 1, 2, 3, 4} et B = {0, 1, 2, 3} deux ensemles. Erire expliitement les ouples (, ) R où (, ) R si et seulement si : =, + = 4,

Plus en détail

Cours de Mathématique - Statistique Calcul Matriciel

Cours de Mathématique - Statistique Calcul Matriciel L - Mth Stt Cours de Mthémtique - Sttistique Clcul Mtriciel F. SEYTE : Mître de conférences HDR en sciences économiques Université de Montpellier I M. TERRZ : Professeur de sciences économiques Université

Plus en détail

Préparation à l'examen écrit de maturité Mathématiques 2013

Préparation à l'examen écrit de maturité Mathématiques 2013 Wechter Loïc Mturité 2013 Mthémtiques Cours de M. Flcoz 2013 Préprtion à l'exmen écrit de mturité Mthémtiques 2013 1.Primitives et intégrles 1.1Primitives (CRM pp.77-80) Une primitive pourrit se définir

Plus en détail

Cours de DEUG Méthodes mathématiques pour les sciences de la vie I. Avner Bar-Hen

Cours de DEUG Méthodes mathématiques pour les sciences de la vie I. Avner Bar-Hen Cours de DEUG Méthodes mthémtiques pour les sciences de l vie I Avner Br-Hen Université Aix-Mrseille III 3 Tble des mtières Tble des mtières i Fonctions, limites, continuité Fonction, représenttion grphique......................

Plus en détail

LE PUITS DOUBLE L EXEMPLE STANDARD DE LA MOLECULE D AMMONIAC I. EXERCICE PRELIMINAIRE: EFFET TUNNEL

LE PUITS DOUBLE L EXEMPLE STANDARD DE LA MOLECULE D AMMONIAC I. EXERCICE PRELIMINAIRE: EFFET TUNNEL Préceptort de Mécnique Quntique 1 ère nnée Florent Krzkl, PCT, Bureu F.3-14 LE PUITS DOUBLE L EXEMPLE STANDARD DE LA MOLECULE D AMMONIAC I. EXERCICE PRELIMINAIRE: EFFET TUNNEL I-1/ Soit une brrière de

Plus en détail

Décrire et analyser le comportement d un système

Décrire et analyser le comportement d un système Décrire et nlyser le comportement d un système Cours. Mise en sitution : Prolémtique : Gérer l vnce et l inclinison du tpis en fonction de touches sur son pupitre de commnde. Comment trduire ce chier des

Plus en détail

Développement d un Code de Calcul Permettant l Optimisation des Systèmes de Chauffage de Planchers ou Sols à l Aide de Tubes Enterrés 1.

Développement d un Code de Calcul Permettant l Optimisation des Systèmes de Chauffage de Planchers ou Sols à l Aide de Tubes Enterrés 1. Rev Ener Ren : Journées de Thermique (001) 85-90 éveloppement d un Code de Clcul Permettnt l Optimistion des Systèmes de Chuffe de Plnchers ou Sols à l Aide de Tubes Enterrés O Guerri 1, A Hrhd et K Bouhdef

Plus en détail

Sur la complexité des mots q -automatiques

Sur la complexité des mots q -automatiques Université de l Méditerrnée Fculté des sciences de Luminy Thèse pour otenir le grde de Docteur de l université de l Méditerrnée Spécilité : Mthémtiques Sous l direction de M. Christin MAUDUIT, Professeur

Plus en détail

Synthèse de cours (Terminale S) Calcul intégral

Synthèse de cours (Terminale S) Calcul intégral Synthèse de cours (Terminle S) Clcul intégrl Intégrle d une onction continue positive sur un intervlle [;] Dns cette première prtie, on considère une onction continue positive sur un intervlle [ ; ] (

Plus en détail

2008 2010 MODULE M4 MATHEMATIQUES TERMINALE STAV

2008 2010 MODULE M4 MATHEMATIQUES TERMINALE STAV LEGTHP Sint Nicols STAV Promotion 8 MODULE M4 MATHEMATIQUES TERMINALE STAV Fiches de cours S. FLOQUET Septemre 9 Lycée Sint Nicols Igny Promotion 8 SOMMAIRE STAV PARTIE : RESUMES DE COURS Équtions de droites

Plus en détail