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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 «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

edatenq est une application qui permet aux entreprises de compléter et d'envoyer leurs déclarations statistiques par internet.

edatenq est une application qui permet aux entreprises de compléter et d'envoyer leurs déclarations statistiques par internet. Sttistique mensuelle tourisme et hôtellerie Introduction edatenq est une ppliction qui permet ux entreprises de compléter et d'envoyer leurs déclrtions sttistiques pr internet. Il s'git d'une ppliction

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

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

Algorithmes sur les mots (séquences)

Algorithmes sur les mots (séquences) Introduction Algorithmes sur les mots (séquences) Algorithmes sur les mots (textes, séquences, chines de crctères) Nomreuses pplictions : ses de données iliogrphiques ioinformtique (séquences de iomolécules)

Plus en détail

Systèmes de transitions Automates à états finis

Systèmes de transitions Automates à états finis M2P GLRE Génie Logiciel, logiciels Réprtis et Embrqués Systèmes de trnsitions Automtes à étts finis Z. Mmmeri 1. Comportement de système L description de comportement d un système désigne l expression

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

Correction de l épreuve CCP 2001 PSI Maths 2 PREMIÈRE PARTIE ) (

Correction de l épreuve CCP 2001 PSI Maths 2 PREMIÈRE PARTIE ) ( Correction de l épreuve CCP PSI Mths PREMIÈRE PARTIE I- Soit t u voisinge de, t Alors ϕt t s = ϕt ρt s ρs Pr hypothèse, l fonction ϕt ϕt est lorsque t, il en est donc de même de ρt s ρt s ρs cr ρ s est

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

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

Techniques d analyse de circuits

Techniques d analyse de circuits Chpitre 3 Tehniques d nlyse de iruits Ce hpitre présente différentes méthodes d nlyse de iruits. Ces méthodes permettent de simplifier l nlyse de iruits ontennt plusieurs éléments. Bien qu on peut résoudre

Plus en détail

Systèmes logiques combinatoires

Systèmes logiques combinatoires «'enseignement devrit être insi : celui qui le reçoit le recueille comme un don inestimle mis jmis comme une contrinte pénile.» Alert Einstein Systèmes logiques comintoires Définitions. es vriles inires

Plus en détail

gfaubert septembre 2010 1

gfaubert septembre 2010 1 Notes de cours Pour l e secondire Compiltion et/ou crétion Guyline Fuert Septemre 00 gfuert septemre 00 Géométrie------------------------------------------------------------------------------------------------------------------------

Plus en détail

Logiciel Anti-Spyware Enterprise Module

Logiciel Anti-Spyware Enterprise Module Logiciel Anti-Spywre Enterprise Module version 8.0 Guide Qu est-ce qu Anti-Spywre Enterprise Module? McAfee Anti-Spywre Enterprise Module est un module d extension qui permet d étendre les cpcités de détection

Plus en détail

Chapitre 11 : L inductance

Chapitre 11 : L inductance Chpitre : inductnce Exercices E. On donne A πr 4π 4 metn N 8 spires/m. () Selon l exemple., µ n A 4π 7 (8) 4π 4 (,5) 5 µh (b) À prtir de l éqution.4, on trouve ξ ξ 4 3 5 6 6,3 A/s E. On donne A πr,5π 4

Plus en détail

devant l Université de Rennes 1

devant l Université de Rennes 1 N o d ordre: 3708 THÈSE Présentée devnt devnt l Université de Rennes 1 pour otenir le grde de : Docteur de l Université de Rennes 1 Mention Informtique pr Thoms Gzgnire Équipe d ccueil : DistriCom - IRISA

Plus en détail

STI2D Logique binaire SIN. L' Algèbre de BOOLE

STI2D Logique binaire SIN. L' Algèbre de BOOLE L' Algère de BOOLE L'lgère de Boole est l prtie des mthémtiques, de l logique et de l'électronique qui s'intéresse ux opértions et ux fonctions sur les vriles logiques. Le nom provient de George Boole.

Plus en détail

Chapitre 7. Primitives et Intégrales. 7.1 Primitive d une fonction. 7.2 Propriétés des primitives. 7.3 Intégrale définie ou Intégrale de Riemannn)

Chapitre 7. Primitives et Intégrales. 7.1 Primitive d une fonction. 7.2 Propriétés des primitives. 7.3 Intégrale définie ou Intégrale de Riemannn) Chpitre 7 Primitives et Intégrles 7. Primitive d une fonction Soit f une fonction définie sur un intervlle K de R. On ppelle primitive de f, une fonction F dont l dérivée est f : F (x) = f(x). On note

Plus en détail

CAP PRO E SCHEMA : LE MOTEUR

CAP PRO E SCHEMA : LE MOTEUR CAP PRO E SCHEMA : E MOTEUR folio folio folio folio folio folio folio 7 folio 8 folio 9 plque signlétique d un moteur puissnce sorée pr un moteur plque à ornes d un moteur triphsé e couplge étoile e couplge

Plus en détail

LICENCE DE MATHÉMATIQUES DEUXIÈME ANNÉE. Unité d enseignement LCMA 4U11 ANALYSE 3. Françoise GEANDIER

LICENCE DE MATHÉMATIQUES DEUXIÈME ANNÉE. Unité d enseignement LCMA 4U11 ANALYSE 3. Françoise GEANDIER LICENCE DE MATHÉMATIQUES DEUXIÈME ANNÉE Unité d enseignement LCMA 4U ANALYSE 3 Frnçoise GEANDIER Université Henri Poincré Nncy I Déprtement de Mthémtiques . Tble des mtières I Séries numériques. Séries

Plus en détail

Module 2 : Déterminant d une matrice

Module 2 : Déterminant d une matrice L Mth Stt Module les déterminnts M Module : Déterminnt d une mtrice Unité : Déterminnt d une mtrice x Soit une mtrice lignes et colonnes (,) c b d Pr définition, son déterminnt est le nombre réel noté

Plus en détail

Automates temporisés

Automates temporisés Automtes temporisés introdution pr un néophyte Prtie I / II Mots et utomtes temporisés Merredi 30 otore 20002 ÉNS Lyon Jérôme DURAND-LOSE jerome.durnd-lose@ens-lyon.fr MC2 LIP - ÉNS Lyon Automtes temporisés

Plus en détail

Créer des jeux avec GLUP

Créer des jeux avec GLUP Créer des jeux vec GLUP GLUP (générteur ludopédgogique) est un service en ligne du CRDP de l cdémie de Versilles. Il permet de trnsformer des exercices à se de texte en mini-jeux téléchrgeles. Les jeux

Plus en détail

SYSTEME DE TELEPHONIE

SYSTEME DE TELEPHONIE YTEME DE TELEPHOIE LE OUVEUTE PTIE MOITEU COULEU Le système de téléphonie comporte un moniteur vec un écrn couleurs de intégré u téléphone. Cette prtie est disponile en lnc, nthrcite et Tech. TLE DE MTIEE

Plus en détail

TD : Arbres Binaires de Recherche (A.B.R.)

TD : Arbres Binaires de Recherche (A.B.R.) TD : Arres Binires de eherhe (A.B..) Olivier ynud rynud@isim.fr http ://www.isim.fr/rynud ésumé Dns e Td nous proposons trois exeries. Le premier est onsré à l implémenttion du T.D.A. Ensemles dynmiques

Plus en détail

2006-2007 PARTIE I (VERSION 1.0) (VERSION 4.0)

2006-2007 PARTIE I (VERSION 1.0) (VERSION 4.0) INITIATION A SCILAB M1-M2 MODELISATION EN BIOLOGIE DES POPULATIONS ET DES ECOSYSTEMES MODELISATION DU FONCTIONNEMENT DES ECOSYSTEMES 2006-2007 PARTIE I (VERSION 1.0) (VERSION 4.0) Soudni Kmel (Mître de

Plus en détail

ANALYSE NUMERIQUE NON-LINEAIRE

ANALYSE NUMERIQUE NON-LINEAIRE Université de Metz Licence de Mthémtiques - 3ème nnée 1er semestre ANALYSE NUMERIQUE NON-LINEAIRE pr Rlph Chill Lbortoire de Mthémtiques et Applictions de Metz Année 010/11 1 Tble des mtières Chpitre

Plus en détail

Chapitre VI Contraintes holonomiques

Chapitre VI Contraintes holonomiques 55 Chpitre VI Contrintes holonomiques Les contrintes isopérimétriques vues u chpitre précéent ne sont qu un eemple prticulier e contrintes sur les fonctions y e notre espce e fonctions missibles. Dns ce

Plus en détail

Les règles de Descartes et de Budan Fourier

Les règles de Descartes et de Budan Fourier Ojectifs de ce chpitre Mthémtiques ssistées pr ordinteur Chpitre 4 : Rcines des polynômes réels et complexes Michel Eisermnn Mt49, DLST LS4, Année 8-9 www-fourierujf-grenolefr/ eiserm/cours # mo Document

Plus en détail

Site web de réservations de voyages mettant en relation des clients voyageurs, des prestataires de services leur gestionnaire de

Site web de réservations de voyages mettant en relation des clients voyageurs, des prestataires de services leur gestionnaire de Usger Gérer session utilisteur Client Système comptble Client fidélisé Gérer Suivi Rés Administrteur site de réservtion Gestionnire fidélité Gérer Fidélité Gestionnire Hotels Gérer Hotels Site web de réservtions

Plus en détail

Chapitre 9: Primitives et intégrales

Chapitre 9: Primitives et intégrales PRIMITIVES ET INTEGRALES 7 Chpitre 9: Primitives et intégrles Prérequis: Limites, dérivées Requis pour: Emen de mturité 9. «À quoi ç sert?» Un peu d histoire Isc Newton (64-77) Les clculs d ire de figures

Plus en détail

Assemblages angulaires de plans de travail de cuisine d'une largeur de 60 cm

Assemblages angulaires de plans de travail de cuisine d'une largeur de 60 cm N 529 Assemlges ngulires de plns de trvil de cuisine d'une lrgeur de 60 cm A Description Le grit de frisge APS 900 et une défonceuse Festool, p. ex. l défonceuse OF 1400, permettent de réliser rpidement

Plus en détail

3.8. 1 Estimation de l aire d une région curviligne. Exemple 1 Estimer l aire de la région sous une hyperbole. Solution

3.8. 1 Estimation de l aire d une région curviligne. Exemple 1 Estimer l aire de la région sous une hyperbole. Solution .8 Aperçu de l intégrle.8 APERÇU DE L INTÉGRALE Estimtion de l ire d une région curviligne Erreur d pproimtion Aire ecte d une région curviligne 4 Intégrle définie 5 Intégrle définie négtive 6 Propriétés

Plus en détail

L'algèbre de BOOLE ou algèbre logique est l'algèbre définie pour des variables ne pouvant prendre que deux états.

L'algèbre de BOOLE ou algèbre logique est l'algèbre définie pour des variables ne pouvant prendre que deux états. ciences Industrielles ystèmes comintoires Ppnicol Roert Lycée Jcques Amyot I - YTEME COMBINATOIRE A. Algère de Boole. Vriles logiques: Un signl réel est une grndeur physique en générl continue, on ssocie

Plus en détail

Table des matières Dénombrer et sommer Événements et Probabilités

Table des matières Dénombrer et sommer Événements et Probabilités Tble des mtières 1 Dénombrer et sommer 5 1.1 Rppels ensemblistes............................. 5 1.1.1 Opértions ensemblistes....................... 5 1.1.2 Bijections............................... 7 1.2

Plus en détail

Savoir-faire expérimentaux.

Savoir-faire expérimentaux. LYCEE LOUIS DE CORMONTAIGNE. 12 Plce Cormontigne BP 70624. 57010 METZ Cedex 1 Tél.: 03 87 31 85 31 Fx : 03 87 31 85 36 Sciences Appliquées. Svoir-fire expérimentux.. Référentiel.. :. S5 Sciences. Appliquées......

Plus en détail

Séquence 8. Probabilité : lois à densité. Sommaire

Séquence 8. Probabilité : lois à densité. Sommaire Séquence 8 Proilité : lois à densité Sommire. Prérequis 2. Lois de proilité à densité sur un intervlle 3. Lois uniformes 4. Lois exponentielles 5. Synthèse de l séquence Dns cette séquence, on introduit

Plus en détail

Test et QCM JAVA. 2. Quelle est la visibilité d'une classe publique, quelle est la visibilité par défaut?

Test et QCM JAVA. 2. Quelle est la visibilité d'une classe publique, quelle est la visibilité par défaut? Auteur Agnès Guerrz Dte : Otore 2006 Module : TC2 Test et QCM JAVA Instrutions pour le QCM : Ce Test / QCM sert à vérifier vos onnissnes du lngge jv. Cohez le ou les réponses prmi les hoix proposés, vous

Plus en détail

Caisse enregistreuse électronique CE-6100 GROCERY DAIRY H.B.A. 6!00 FROZEN FOOD DELICATESSEN. Mode d emploi. Eu Di U.K.

Caisse enregistreuse électronique CE-6100 GROCERY DAIRY H.B.A. 6!00 FROZEN FOOD DELICATESSEN. Mode d emploi. Eu Di U.K. Cisse enregistreuse électronique CE-6100 GROCERY DAIRY H.B.A. 6!00 FROZEN FOOD DELICATESSEN Eu Di U.K. Mode d emploi Introduction et tle des mtières Introduction Toutes nos félicittions pour l cht de cette

Plus en détail

Caisse enregistreuse électronique CE-T300 GROCERY DAIRY H.B.A. FROZEN FOOD DELICATESSEN. Mode d emploi. Eu Di U.K.

Caisse enregistreuse électronique CE-T300 GROCERY DAIRY H.B.A. FROZEN FOOD DELICATESSEN. Mode d emploi. Eu Di U.K. Cisse enregistreuse électronique CE-T300 GROCERY DAIRY H.B.A. FROZEN FOOD DELICATESSEN Eu Di U.K. Mode d emploi Introduction et tle des mtières Introduction Toutes nos félicittions pour l cht de cette

Plus en détail

Des extraits de cette norme seront présentés pour la compréhension de la démarche.

Des extraits de cette norme seront présentés pour la compréhension de la démarche. Estimtion de l incertitude de l mesure : Appliction à l incertitude sur le clcul de l concentrtion d EDTA lors de l détermintion de l dureté d une eu nturelle Pour cette démrche, nous nous ppuierons sur

Plus en détail

Tout ce qu il faut savoir en math

Tout ce qu il faut savoir en math Tout ce qu il fut svoir en mth 1 Pourcentge Prendre un pourcentge t % d un quntité : t Clculer le pourcentge d une quntité pr rpport à une quntité b : Le coefficient multiplicteur CM pour une ugmenttion

Plus en détail

Séquence 7. Intégration. Sommaire

Séquence 7. Intégration. Sommaire Séquence 7 Intégrtion Sommire. Prérequis. Aire et intégrle d une fonction continue et positive sur [ ; ]. Primitives 4. Primitives et intégrles d une fonction continue 5. Synthèse de l séquence Dns ce

Plus en détail

Guide d'utilisation Easy Interactive Tools Ver. 2

Guide d'utilisation Easy Interactive Tools Ver. 2 Guide d'utilistion Esy Interctive Tools Ver. 2 Guide d'utilistion Esy Interctive Tools Ver.2 Présenttion de Esy Interctive Tools 3 Crctéristiques Fonction de dessin Vous pouvez utiliser Esy Interctive

Plus en détail

Calcul int egral. 15 d ecembre 2008

Calcul int egral. 15 d ecembre 2008 Clcul intégrl. 15 décembre 2008 2 Tble des mtières I Intégrles multiples 5 1 Rppels sur l intégrle définie des fonctions d une vrible. 7 1.1 Motivtions................................ 7 1.1.1 Cs des fonctions

Plus en détail

Document créé le 28 novembre 2013 Lien vers la dernière mise à jour de ce document Lien vers les exercices de ce chapitre

Document créé le 28 novembre 2013 Lien vers la dernière mise à jour de ce document Lien vers les exercices de ce chapitre Document créé le 28 novembre 2013 Lien vers l dernière mise à jour de ce document Lien vers les exercices de ce chpitre Chpitre 20 Intégrtion Sommire 20.1 Continuité uniforme.................................

Plus en détail

Mathématiques discrètes Chapitre 4 : relations binaires

Mathématiques discrètes Chapitre 4 : relations binaires U.P.S. I.U.T. A, Déprtement Informtique Année 2009-2010 Mthémtiques isrètes Chpitre 4 : reltions inires 1. Générlités Définition Soient E 1, E 2,...E n es ensemles. Une reltion n-ire est l onnée un sous-ensemle

Plus en détail

Théorème de Poincaré - Formule de Green-Riemann

Théorème de Poincaré - Formule de Green-Riemann Chpitre 11 Théorème de Poincré - Formule de Green-Riemnn Ce chpitre s inscrit dns l continuité du précédent. On vu à l proposition 1.16 que les formes différentielles sont bien plus grébles à mnipuler

Plus en détail

semestre 3 des Licences MISM annnée universitaire 2004-2005

semestre 3 des Licences MISM annnée universitaire 2004-2005 MATHÉMATIQUES 3 semestre 3 des Licences MISM nnnée universitire 24-25 Driss BOULARAS 2 Tble des mtières Rppels 5. Ensembles et opértions sur les ensembles.................. 5.. Prties d un ensemble.........................

Plus en détail

Théorème de Lax Milgram Application au problème de Dirichlet pour l équation de Sturm Liouville

Théorème de Lax Milgram Application au problème de Dirichlet pour l équation de Sturm Liouville Théorème de Lx Milgrm Appliction u problème de Dirichlet pour l éqution de Sturm Liouville Résumé du cours de MEDP Mîtrise de mthémtiques 2000 2001 2001nov18 (medp-lx-milgrm.tex) Dns ce chpitre, on se

Plus en détail

Systèmes de détection Exemples académiques & commerciaux

Systèmes de détection Exemples académiques & commerciaux Systèmes de détection Exemples cdémiques & commerciux Système de détection: Propgtion de logiciels mlveillnts Exemple I: MIT, ICSI & Consentry Jen-Mrc Robert, ETS Protection contre les mences - Détection

Plus en détail

Cours 9: Automates finis

Cours 9: Automates finis Cours 9: Automates finis Olivier Bournez ournez@lix.polytechnique.fr LIX, Ecole Polytechnique INF421-a Bases de la programmation et de l algorithmique Aujourd hui Rappels Déterminisation Automates et expressions

Plus en détail

SYSTEMES LOGIQUES LOGIQUE COMBINATOIRE

SYSTEMES LOGIQUES LOGIQUE COMBINATOIRE Ch.I Commnde des systèmes logiques ogique comintoire - p1 SYSTEMES OGIQUES OGIQUE COMBINATOIRE I Commnde des systèmes logiques 1. Structure des systèmes utomtisés Reprenons l structure étlie dns le cours

Plus en détail

Université Paris-Dauphine DUMI2E. UFR Mathématiques de la décision. Notes de cours. Analyse 2. Filippo SANTAMBROGIO

Université Paris-Dauphine DUMI2E. UFR Mathématiques de la décision. Notes de cours. Analyse 2. Filippo SANTAMBROGIO Université Pris-Duphine DUMI2E UFR Mthémtiques de l décision Notes de cours Anlyse 2 Filippo SANTAMBROGIO Année 2008 2 Tble des mtières 1 Optimistion de fonctions continues et dérivbles 5 1.1 Continuité........................................

Plus en détail

EPUUniversité de Tours

EPUUniversité de Tours DI 3ème nnée EPUUniversité de Tours Déprtement Informtique 007-008 ANALYSE NUMERIQUE Chpitre 3 Intégrtion numérique résumé du cours 1 Introduction Il s git d une mniére générle de déterminer, le mieux

Plus en détail

Introduction à la modélisation et à la vérication p. 1/8

Introduction à la modélisation et à la vérication p. 1/8 Introduction à l modélistion et à l vériction Appliction ux systèmes temporisés Ptrici Bouyer LSV CNRS & ENS de Cchn Introduction à l modélistion et à l vériction p. 1/8 Modélistion & Vériction Introduction

Plus en détail

Adaptation spatio-temporelle et hypermédia de documents multimédia

Adaptation spatio-temporelle et hypermédia de documents multimédia Adpttion sptio-temporelle et hypermédi de documents multimédi Séstien Lorie Jérôme Euzent Nil Lyïd INRIA Rhône-Alpes - LIG 655 Avenue de l Europe Montonnot - Sint Mrtin 38334 Sint Ismier Cedex {Sestien.Lorie,Jerome.Euzent,Nil.Lyid}@inrilpes.fr

Plus en détail

Turbine hydraulique Girard simplifiée pour faibles et très faibles puissances

Turbine hydraulique Girard simplifiée pour faibles et très faibles puissances Turbine hydrulique Girrd simplifiée pour fibles et très fibles puissnces Prof. Ing. Zoltàn Hosszuréty, DrSc. Professeur à l'université technique de Kosice Les sites hydruliques disposnt de fibles débits

Plus en détail

ACCESSOIRES OXYGENOTHERAPIE ACCESSOIRES

ACCESSOIRES OXYGENOTHERAPIE ACCESSOIRES OXYGENOTHERAPIE HUMIDIFICATEURS IR médicl dministré u ptient pr voies respirtoires. Il se visse à l sortie d un déitmètre (à ille ou ien précliré) et s utilise vec de l eu stérile. Principles crctéristiques

Plus en détail

Interface Velleman VM110 et robot FISCHER TECHNIK pour résoudre la Tour de Hanoï

Interface Velleman VM110 et robot FISCHER TECHNIK pour résoudre la Tour de Hanoï Interfce Vellemn VM110 et root FISCHER TECHNIK pour résoudre l Tour de Hnoï ROBOTIQUE sous LOGO L Tour de Hnoï Sommire 1. PRÉAMBULE... 4 2. OBJECTIFS... 4.21. LE LANGAGE LOGO... 4.22. LA CARTE INTERFACE

Plus en détail

UNIVERSITE PARIS 1 PANTHEON SORBONNE UFR DE GESTION

UNIVERSITE PARIS 1 PANTHEON SORBONNE UFR DE GESTION UNIVERSITE PRIS PNTHEON SORBONNE UFR DE GESTION MTHEMTIQUES PPLIQUEES L ECONOMIE ET L GESTION LICENCE nnée Cours de Thierry LFY TRVUX DIRIGES semestre 7-8 Thème n : Rppels Eercice Déterminez l ensemble

Plus en détail

6 apprentissages supplémentaires

6 apprentissages supplémentaires 6 pprentissges supplémentires pour être polybâtisseur étnchéité couverture construction de fçdes Construction d échfudges systèmes de protection solire Ferblntier T crrière! Polybâtisseur des métiers vec

Plus en détail

P hotographies aériennes. Photographies aériennes actuelles. La BD ORTHO de l IGN. Les photographies «satellitales»

P hotographies aériennes. Photographies aériennes actuelles. La BD ORTHO de l IGN. Les photographies «satellitales» P hotogrphies ériennes Pr rpport ux crtes, les photogrphies ériennes pportent deux vntges mjeurs : leur mise à jour est eucoup plus fréquente ; leur possiilité d nlyse est ien supérieure : on distingue

Plus en détail

Calcul intégral. II Intégrale d une fonction 4

Calcul intégral. II Intégrale d une fonction 4 BTS DOMOTIQUE Clcul intégrl 8- Clcul intégrl Tble des mtières I Primitives I. Définitions............................................... I. Clculs de primitives.........................................

Plus en détail

Intégrale et primitives

Intégrale et primitives Chpitre 5 Intégrle et primitives 5. Ojetif On herhe dns e hpitre à onstruire l opérteur réiproue de l opérteur de dérivtion. Les deux uestions suivntes sont lors nturelles. Question : Soit f une pplition

Plus en détail

Calcul de la rugosité surfacique

Calcul de la rugosité surfacique VI èmes Journées d Etudes Techniques 200 The Interntionl congress for pplied mechnics L mécnique et les mtériux, moteurs du développement durble du 05 u 07 mi 200, Mrrkech Mroc Clcul de l rugosité surfcique

Plus en détail

DEUG MIAS 1 Année 2002-2003 Premier et deuxième semestres Feuilles de Cours

DEUG MIAS 1 Année 2002-2003 Premier et deuxième semestres Feuilles de Cours Deug Mis 1 Année 2002-2003 J.-F. Burnol Université Lille 1 1 DEUG MIAS 1 Année 2002-2003 Premier et deuxième semestres Feuilles de Cours Toutes les fiches de cours distribuées ux étudints pendnt l nnée

Plus en détail

Cours 1 - La numération

Cours 1 - La numération Cours - L numértion I - éfinitions I-) Expression générle L se d'un système de numértion représente le nomre d'unités d'un certin rng, nécessires pour former une unité de rng imméditement supérieur. L'ensemle

Plus en détail

Toyota Assurances Toujours la meilleure solution

Toyota Assurances Toujours la meilleure solution Toyot Assurnces Toujours l meilleure solution De quelle ssurnce vez-vous besoin? Vous roulez déjà en Toyot ou vous ttendez s livrison. Votre voiture est neuve ou d occsion. Vous vlez les kilomètres ou

Plus en détail

Exercices corrigés 9325 = 2 4662 + 1 4662 = 2 2331 + 0 2331 = 2 1165 + 1

Exercices corrigés 9325 = 2 4662 + 1 4662 = 2 2331 + 0 2331 = 2 1165 + 1 Grenoble INP Pgor 1ère nnée Exercices corrigés Anlyse numérique NB : Les exercices corrigés ici sont les exercices proposés durnt les sénces de cours. Les corrections données sont des corrections plus

Plus en détail

Electromagne tisme 2 : Induction

Electromagne tisme 2 : Induction Electromgne tisme : Induction Induction de Neumnn Eercice 1 : Clcul d une force électromotrice induite n dispose d'un cdre crré fie de côté comportnt N spires d'un fil conducteur d'etrémités A et C dns

Plus en détail

Strasbourg, 12 novembre 2013 (projet) T-CY (2013) 26. Comité de la Convention Cybercriminalité (T-CY)

Strasbourg, 12 novembre 2013 (projet) T-CY (2013) 26. Comité de la Convention Cybercriminalité (T-CY) www.coe.int/tcy Strsourg, 12 novemre 2013 (projet) T-CY (2013) 26 Comité de l Convention Cyercriminlité (T-CY) Note d orienttion n 8 du T-CY Otention, dns le cdre d une enquête pénle, de données reltives

Plus en détail

CAISSE ENREGISTREUSE ELECTRONIQUE TK-T200 MERCI VOTRE REÇU REVENEZ! EPICERIE CREMERIE PRODUITS CONGELES EPICERIE FINE MODE D EMPLOI. Eu Di U.K.

CAISSE ENREGISTREUSE ELECTRONIQUE TK-T200 MERCI VOTRE REÇU REVENEZ! EPICERIE CREMERIE PRODUITS CONGELES EPICERIE FINE MODE D EMPLOI. Eu Di U.K. CAISSE ENREGISTREUSE ELECTRONIQUE TK-T200 MERCI VOTRE REÇU REVENEZ! EPICERIE CREMERIE PRODUITS CONGELES EPICERIE INE Eu Di U.K. MODE D EMPLOI Précutions de sécurité Veuillez lire ce mnuel ttentivement

Plus en détail

Statuts ASF Association Suisse Feldenkrais

Statuts ASF Association Suisse Feldenkrais Sttuts ASF Assocition Suisse Feldenkris Contenu Pge I. Nom, siège, ojectif et missions 1 Nom et siège 2 2 Ojectif 2 3 Missions 2 II. Memres 4 Modes d ffilition 3 5 Droits et oligtions des memres 3 6 Adhésion

Plus en détail

Devoir de physique-chimie n 4bis (2H)

Devoir de physique-chimie n 4bis (2H) TS jn 2014 Devoir de physique-chimie n 4bis (2H) Nom:...... LES EXERIES SNT INDEPENDANTS ALULATRIE AUTRISEE PHYSIQUE : ETILE BINAIRE /20 1. Le télescope 8 Les 3 prties sont indépendntes. Document 1 : L

Plus en détail