Théorie des Langages Épisode 2 Automates finis
|
|
- Noël St-Pierre
- il y a 8 ans
- Total affichages :
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.
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étailChapitre 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étailLANGAGES - 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étailAlgorithmes 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étailSynthè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étailCorrection 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étailTechniques 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étailSTI2D 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étailChapitre 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étailLICENCE 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étailModule 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étailSYSTEME 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étailANALYSE 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étailChapitre 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étailSé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étailL'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étailGuide 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étailIntroduction à 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étailTout 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étailUniversité 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étailThé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étailsemestre 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étailTurbine 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étailInté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étailToyota 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étailAvant d utiliser l appareil, lisez ce Guide de référence rapide pour connaître la procédure de configuration et d installation.
Guide de référence rpide Commencer Avnt d utiliser l ppreil, lisez ce Guide de référence rpide pour connître l procédure de configurtion et d instlltion. NE rccordez PAS le câle d interfce mintennt. 1
Plus en détailStatuts 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étailPour développer votre entreprise LES LOGICIELS EN LIGNE, VOUS ALLEZ DIRE OUI!
Pour développer votre entreprise Gestion Commercile Gérez le cycle complet des chts (demnde de prix, fcture fournisseur), des stocks (entrée, sortie mouvement, suivi) et des ventes (devis, fcture, règlement,
Plus en détail3- Les taux d'intérêt
3- Les tux d'intérêt Mishkin (2007), Monnie, Bnque et mrchés finnciers, Person Eduction, ch. 4 et 6 Vernimmen (2005), Finnce d'entreprise, Dlloz, ch. 20 à 22 1- Mesurer les tux d'intérêt comprer les différents
Plus en détail/HVV\VWqPHVFRPELQDWRLUHV
/HVV\VWqPHVFRPELQDWRLUHV I. Définition On ppelle système combintoire tout système numérique dont les sorties sont exclusivement définies à prtir des vribles d entrée (Figure ). = f(x, x 2,,, x n ) x x
Plus en détailSommaire. 6. Tableau récapitulatif... 10. Sophos NAC intégré Vs. NAC Advanced - 17 Février 2009 2
Sommire 1. A propos de Sophos... 3 2. Comprtif des solutions Sophos NAC... 4 3. Sophos NAC pour Endpoint Security nd Control 8.0... 4 3.1. Administrtion et déploiement... 4 3.2. Gestion des politiques
Plus en détailCOURS D ANALYSE. Licence d Informatique, première. Laurent Michel
COURS D ANALYSE Licence d Informtique, première nnée Lurent Michel Printemps 2010 2 Tble des mtières 1 Éléments de logique 5 1.1 Fbriquer des énoncés........................ 5 1.1.1 Enoncés élémentires.....................
Plus en détailChapitre 1 : Fonctions analytiques - introduction
2e semestre 2/ UE 4 U : Abrégé de cours Anlyse 3: fonctions nlytiques Les notes suivntes, disponibles à l dresse http://www.iecn.u-nncy.fr/ bertrm/, contiennent les définitions et les résultts principux
Plus en détailINFORMATIONS TECHNIQUES
0 INFORMATIONS TECHNIQUES tle des mtieres 06 Alimenttions et ccessoires 08 Postes extérieurs Sfer Postes extérieurs minisfer 9 Postes internes Accessoires d instlltion Centrux téléphoniques PABX Cmérs
Plus en détailCommencer DCP-7055W / DCP-7057W /
Guide d instlltion rpide Commencer DCP-7055W / DCP-7057W / DCP-7070DW Veuillez lire ttentivement le livret Sécurité et réglementtion vnt d'effectuer les réglges de votre ppreil. Consultez ensuite le Guide
Plus en détailInfluence du milieu d étude sur l activité (suite) Inhibition et activation
Influence du milieu d étude sur l ctivité (suite) Inhibition et ctivtion Influence de l tempérture Influence du ph 1 Influence de l tempérture Si on chuffe une préprtion enzymtique, l ctivité ugmente jusqu
Plus en détailConseils et astuces pour les structures de base de la Ligne D30
Conseils et stuces pour les structures de bse de l Ligne D30 Conseils et stuces pour l Ligne D30 Ligne D30 - l solution élégnte pour votre production. Rentbilité optimle et méliortion continue des séquences
Plus en détailPartie 4 : La monnaie et l'inflation
Prtie 4 : L monnie et l'infltion Enseignnt A. Direr Licence 2, 1er semestre 2008-9 Université Pierre Mendès Frnce Cours de mcroéconomie suite 4.1 Introduction Nous vons vu dns l prtie introductive que
Plus en détailBaccalauréat S Asie 19 juin 2014 Corrigé
Bcclurét S Asie 9 jui 24 Corrigé A. P. M. E. P. Exercice Commu à tous les cdidts 4 poits Questio - c. O peut élimier rpidemet les réposes. et d. cr les vecteurs directeurs des droites proposées e sot ps
Plus en détailLITE-FLOOR. Dalles de sol et marches d escalier. Information technique
LITE-FLOOR Dlles de sol et mrches d esclier Informtion technique Recommndtions pour le clcul et l pose de LITE-FLOOR Générlités Cette rochure reprend les règles de se à respecter pour grntir l rélistion
Plus en détailProbabilités sur un univers fini
[http://mp.cpgedupuydelome.fr] édité le 10 août 2015 Enoncés 1 Proailités sur un univers fini Evènements et langage ensemliste A quelle condition sur (a,, c, d) ]0, 1[ 4 existe-t-il une proailité P sur
Plus en détailManSafe. pour les Utilitiés. La Protection antichute pour les Industries de l'energie. Français. TowerLatch LadderLatch
MnSfe pour les Utilitiés L Protection ntichute pour les Industries de l'energie Frnçis TowerLtch LdderLtch Les questions de protection nti-chute Les chutes de huteur sont l cuse de mortlité l plus importnte
Plus en détailLa pratique institutionnelle «à plusieurs»
L prtique institutionnelle «à plusieurs» mury Cullrd Février 2013 Nicols, inquiet: «Qund je suis seul vec quelqu un, il se psse des choses» Vlentin, à propos de l institution : «Ici, y beucoup de gens,
Plus en détailThèse Présentée Pour obtenir le diplôme de doctorat en sciences En génie civil Option : structure
République Algérienne Démocrtique et Populire Ministère de l enseignement supérieur et de l recherche scientifique Université Mentouri de Constntine Fculté des sciences et sciences de l ingénieur Déprtement
Plus en détailLicence M.A.S.S. Cours d Analyse S4
Université Pris I, Pnthéon - Sorbonne Licence MASS Cours d Anlyse S4 Jen-Mrc Brdet (Université Pris 1, SAMM) UFR 27 et Equipe SAMM (Sttistique, Anlyse et Modélistion Multidisiplinire) Université Pnthéon-Sorbonne,
Plus en détailPour développer votre entreprise. Compta LES LOGICIELS EN LIGNE, VOUS ALLEZ DIRE OUI!
Pour développer votre entreprise Compt Avec EBP Compt, vous ssurez le suivi de l ensemble de vos opértions et exploitez les données les plus complexes en toute sécurité. Toutes les fonctionnlités essentielles
Plus en détailCours d Analyse IV Suites et Séries de fonctions
Université Clude Bernrd, Lyon I Licence Sciences, Technologies & Snté 43, boulevrd 11 novembre 1918 Spécilité Mthémtiques 69622 Villeurbnne cedex, Frnce L. Pujo-Menjouet pujo@mth.univ-lyon1.fr Cours d
Plus en détailANALYSE : FONCTIONS D UNE VARIABLE RÉELLE
Jen-Pierre Dedieu, Jen-Pierre Rymond ANALYSE : FONCTIONS D UNE VARIABLE RÉELLE Institut de Mthémtiques Université Pul Sbtier 31062 Toulouse cedex 09 jen-pierre.dedieu@mth.univ-toulouse.fr jen-pierre.rymond@mth.univ-toulouse.fr
Plus en détailCompte rendu de la validation d'un observateur cascade pour la MAS sans capteurs mécaniques sur la plate-forme d'essai de l'irccyn
Compte rendu de l vlidtion d'un oservteur cscde pour l MAS sns cpteurs mécniques sur l plte-forme d'essi de l'irccyn Mlek GHANES, Alin GLUMINEAU et Roert BOISLIVEAU Le 1 vril IRCCyN: Institut de Recherche
Plus en détailLa plateforme Next Generation Mini guide
L plteforme Next Genertion Mini guie Ce guie onis été réé pour vous permettre e vous fmiliriser rpiement ve les nomreuses fontionnlités et outils isponiles sur l plteforme Next Genertion. Apprenez où trouver
Plus en détailPortiers audio et vidéo ABB-Welcome et ABB-Welcome M
Portiers udio et vidéo ABB-Welcome et ABB-Welcome M Connectivité Votre regrd vers l'extérieur et ce, où que vous soyez Flexiilité Des esoins les plus simples ux instlltions les plus complexes Gmmes ABB-Welcome
Plus en détailINTENTION LES PROCESSUS MATHÉMATIQUES
INTENTION Adpttios u Cdre commu des progrmmes d études de mthémtiques M-9 telles que reflétées ds le documet Mthémtiques M-9 : Progrmme d études de l Albert (2007) Le coteu du documet Mthémtiques M-9 :
Plus en détailLOGICIEL FONCTIONNEL EMC VNX
LOGICIEL FONCTIONNEL EMC VNX Améliortion des performnces des pplictions, protection des données critiques et réduction des coûts de stockge vec les logiciels complets d EMC POINTS FORTS VNX Softwre Essentils
Plus en détailINSTRUCTIONS POUR L INSTALLATION ET LE FONCTIONNEMENT DES SERRURES À POIGNÉE BÉQUILLE
INSTRUCTIONS POUR L INSTALLATION ET LE FONCTIONNEMENT DES SERRURES À POIGNÉE BÉQUILLE POUR LES SERRURES D ENTRÉE À CLÉ EXTÉRIEURES VERROUILLABLES, À POIGNÉE DE BRINKS HOME SECURITY. POUR LES PORTES DE
Plus en détailModification simultanée de plusieurs caractéristiques d un bien hédonique : une nouvelle méthode de calcul de la variation de bien-être des ménages
Modifiction simultnée de plusieurs crctéristiques d un bien hédonique : une nouvelle méthode de clcul de l vrition de bien-être des ménges Trvers Muriel * Version provisoire Résumé : De nombreuses situtions
Plus en détailMcAfee Firewall Enterprise Control Center
Guie e émrrge rpie Révision A MAfee Firewll Enterprise Control Center version 5.3.1 Ce guie e émrrge rpie fournit es instrutions générles sur l onfigurtion e MAfee Firewll Enterprise Control Center. 1
Plus en détailSuites numériques 3. 1 Convergence et limite d une suite
Suites numériques 3 1 Convergence et limite d une suite Nous savons que les termes de certaines suites s approchent de plus en plus d une certaine valeur quand n augmente : par exemple, les nombres u n
Plus en détailGuide de l'utilisateur
Guide de l'utilisteur Symboles Utilisés Dns ce Guide Indictions de sécurité L documenttion et le projecteur utilisent des symboles grphiques qui indiquent comment utiliser l ppreil en toute sécurité. Veillez
Plus en détailGuide des bonnes pratiques
Livret 3 MINISTÈRE DE LA RÉFORME DE L'ÉTAT, DE LA DÉCENTRALISATION ET DE LA FONCTION PUBLIQUE 3 Guide des bonnes prtiques OUTILS DE LA GRH Guide des bonnes prtiques Tble des mtières 1. Introduction p.
Plus en détailAUTOUR D UN MÉMOIRE INÉDIT : LA CONTRIBUTION D HERMITE AU DÉVELOPPEMENT DE LA THÉORIE DES FONCTIONS ELLIPTIQUES. Bruno BELHOSTE (*)
Revue d histoire des mthémtiques, 2 (1996), p. 1 66. AUTOUR D UN MÉMOIRE INÉDIT : LA CONTRIBUTION D HERMITE AU DÉVELOPPEMENT DE LA THÉORIE DES FONCTIONS ELLIPTIQUES Bruno BELHOSTE (*) RÉSUMÉ. Dns cet rticle,
Plus en détailFONDATION CLEMENTINE ET MAURICE ANTILLE
FONDATION CLEMENTINE ET MAURICE ANTILLE Règlement d ttriution de ourses et de prêts d études et de formtion du déemre 006 Artile premier Ojet et hmp d pplition Le présent règlement est étli en pplition
Plus en détailProjet d informatique M1BI : Compression et décompression de texte. 1 Généralités sur la compression/décompression de texte
Projet d informatique M1BI : Compression et décompression de texte Le but de ce projet est de coder un programme réalisant de la compression et décompression de texte. On se proposera de coder deux algorithmes
Plus en détailAnnexe II. Les trois lois de Kepler
Annexe II es tois lois de Keple écnique & 4 èe - Annexe II es tois lois de Keple Johnnes Keple (57-6), pulie en 596 son peie ouge, ysteiu Cosogphicu Teize nnées plus td, en 69, il pulie Astonoi No, dns
Plus en détailMagister en : Génie Mécanique
الجمهورية الجزاي رية الديمقراطية الشعبية République Algérienne Démocrtique et Populire وزارة التعليم العالي و البحث العلمي Ministère de l enseignement supérieur et de l recherche scientifique Université
Plus en détailMcAfee Firewall Enterprise, Multi Firewall Edition
Guie e émrrge rpie Révision A MAfee Firewll Enterprise, Multi Firewll Eition version 8.3.x Ce guie e émrrge rpie fournit es instrutions générles sur l onfigurtion e MAfee Firewll Enterprise, Multi Firewll
Plus en détailSolutions IHM. Gammes Graphite et G3 Outils pour l'usine connectée
Solutions IHM Gmmes Grphite et G3 Outils pour l'usine connectée Des IHM ux fonctions étendues : > Conversion de plus de 250 protocoles > Serveur Web intégré > Enregistreur de données sécurisées > Modules
Plus en détailLe canal étroit du crédit : une analyse critique des fondements théoriques
Le cnl étroit du crédit : une nlyse critique des fondements théoriques Rfl Kierzenkowski 1 CREFED Université Pris Duphine Alloctire de Recherche Avril 2001 version provisoire Résumé A l suite des trvux
Plus en détailIII- Raisonnement par récurrence
III- Raisonnement par récurrence Les raisonnements en mathématiques se font en général par une suite de déductions, du style : si alors, ou mieux encore si c est possible, par une suite d équivalences,
Plus en détailTOUT CE QU IL FAUT SAVOIR POUR LE BREVET
TOUT E QU IL FUT SVOIR POUR LE REVET NUMERIQUE / FONTIONS eci n est qu un rappel de tout ce qu il faut savoir en maths pour le brevet. I- Opérations sur les nombres et les fractions : Les priorités par
Plus en détailRéalisation de sites Internet PME & Grandes entreprises Offre Premium. Etude du projet. Webdesign. Intégration HTML. Développement.
Rélistion de sites Internet PME & Grndes entreprises Offre Premium Etude du projet Réunions de trvil et étude personnlisée de votre projet Définition d une strtégie de pré-référencement Webdesign Définition
Plus en détailLa paye. La comptabilité. Comparez et choisissez votre logiciel. Comparez et choisissez votre logiciel. Paye Bâtiment 2012. Paye Agricole 2013
L comptbilité Comprez et choisissez votre logiciel L pye Comprez et choisissez votre logiciel TABLEAUX COMPARATIFS Compt Prtic Pour les créteurs et les entrepreneurs novice en Compt Compt Clssic Pour l
Plus en détailRadioCommunications CDMA
Conservtoire tionl es Arts et Métiers Cours u Conservtoire tionl es Arts et Métiers RioCommunitions CDMA (Version 7) Mihel Terré terre@nmfr Eletronique C4 / Conservtoire tionl es Arts et Métiers Les performnes
Plus en détail- Phénoméne aérospatial non identifié ( 0.V.N.I )
ENQUETE PRELIMINAIRE ANALYSE ET REFEREWCES : Phénoméne érosptil non identifié ( 0VNI ) B8E 25400 DEF/GEND/OE/DOlRENS du 28/9/1992 Nous soussigné : M D L chef J S, OPJ djoint u commndnt de l brigde en résidence
Plus en détailElectrovanne double Dimension nominale Rp 3/8 - Rp 2 DMV-D/11 DMV-DLE/11
Electrovnne double Dimension nominle 3/8 - DMV-D/11 DMV-DLE/11 7.30 M Edition 11.13 Nr. 223 926 1 6 Technique L électrovnne double DUNGS DMV intère deux électrovnnes dns un même bloc compct : - vnnes d
Plus en détailBloc notes. a À faire tout de suite. Gardez secret votre code confidentiel. À conserver précieusement. Protégez votre carte
Q U O T I D I E N Crte Mestro Comment voir tous les touts de votre crte bien en min Guide mémo + Notice d Assistnce Octobre 2010 Bloc notes À fire tout de suite Votre crte est strictement personnelle,
Plus en détailDirectives COV et alternative lipochimique : peintures, encres, nettoyage, dégraissage...
Directives COV et lterntive lipochimique : peintures, encres, nettoyge, dégrissge... Alin LEMOR Recherche & Développement, Novnce, BP 20609, Venette, 60206 Compiègne Cedex, Frnce, Fx. +33 (0)3 44 90 70
Plus en détailClasseur courtier d assurance. Comment organiser son activité et se préparer à un contrôle
Clsseur courtier d ssurnce Comment orgniser son ctivité et se préprer à un contrôle 67, venue Pierre Grenier 92517 BOULOGNE-BILLANCOURT CEDEX Tél : 01.46.10.43.80 Fx : 01.47.61.14.85 www.streevocts.com
Plus en détaill appareil et vérifier les composants Module tambour-cartouche de toner (pré-installé)
Guide d instlltion rpide Commener MFC-8510DN MFC-8520DN Commenez pr lire le Guide de séurité du produit, puis suivez ttentivement l proédure d instlltion et de onfigurtion dérite dns e Guide d'instlltion
Plus en détailARBRES BINAIRES DE RECHERCHE
ARBRES BINAIRES DE RECHERCHE Table de symboles Recherche : opération fondamentale données : éléments avec clés Type abstrait d une table de symboles (symbol table) ou dictionnaire Objets : ensembles d
Plus en détailV- Manipulations de nombres en binaire
1 V- Manipulations de nombres en binaire L ordinateur est constitué de milliards de transistors qui travaillent comme des interrupteurs électriques, soit ouverts soit fermés. Soit la ligne est activée,
Plus en détailINSTALLATION DE DETECTION INCENDIE
reglement > > instlltion E ETECTON NCENE NSTALLATON E ETECTON NCENE Une instlltion de détection incendie pour objectif de déceler et signler, le plus tôt possible, d une mnière fible, l nissnce d un incendie,
Plus en détailDéfinitions. Numéro à préciser. (Durée : )
Numéro à préciser (Durée : ) On étudie dans ce problème l ordre lexicographique pour les mots sur un alphabet fini et plusieurs constructions des cycles de De Bruijn. Les trois parties sont largement indépendantes.
Plus en détailSciences Industrielles Précision des systèmes asservis Papanicola Robert Lycée Jacques Amyot
Scence Indutrelle Précon de ytème erv Pncol Robert Lycée Jcque Amyot I - PRECISION DES SYSTEMES ASSERVIS A. Poton du roblème 1. Préentton On vu que le rôle d un ytème erv et de fre uvre à l orte (t) une
Plus en détailContexte. Pour cela, elles doivent être très compliquées, c est-à-dire elles doivent être très différentes des fonctions simples,
Non-linéarité Contexte Pour permettre aux algorithmes de cryptographie d être sûrs, les fonctions booléennes qu ils utilisent ne doivent pas être inversées facilement. Pour cela, elles doivent être très
Plus en détailCH.6 Propriétés des langages non contextuels
CH.6 Propriétés des langages non contetuels 6.1 Le lemme de pompage 6.2 Les propriétés de fermeture 6.3 Les problèmes de décidabilité 6.4 Les langages non contetuels déterministes utomates ch6 1 6.1 Le
Plus en détailCommencer MFC-J4410DW
Guie instlltion rpie Commener MFC-J440DW MFC-J460DW Veuillez lire le Guie e séurité u prouit vnt 'instller l'ppreil. Lisez ensuite e Guie 'instlltion rpie pour onnître l proéure e onfigurtion et 'instlltion
Plus en détailFIG. 1 Module de stockage en position horizontale ; positionnement des jauges de déformation.
Anlyse thermo-mécnique dun prototype de stockge hybride (solide-gzeux) dhydrogène D. CHAPELLE, O. GILLIA b, M. FELDIC. Institut FEMTO ST, UMR 6174, Déprt. Mécnique Appliquée, 24 rue de l Epitphe, 25000
Plus en détailLa spirale de Théodore bis, et la suite «somme=produit».
Etde d e vrite de l spirle de Théodore, dot issce à e site dot les sommes prtielles sot égles x prodits prtiels. Mots clés : spirle de Théodore, théorème de Pythgore, site, série, polyôme. L spirle de
Plus en détailIntroduction à la théorie des graphes. Solutions des exercices
CAHIERS DE LA CRM Introduction à la théorie des graphes Solutions des exercices Didier Müller CAHIER N O 6 COMMISSION ROMANDE DE MATHÉMATIQUE 1 Graphes non orientés Exercice 1 On obtient le graphe biparti
Plus en détailCompression Compression par dictionnaires
Compression Compression par dictionnaires E. Jeandel Emmanuel.Jeandel at lif.univ-mrs.fr E. Jeandel, Lif CompressionCompression par dictionnaires 1/25 Compression par dictionnaire Principe : Avoir une
Plus en détailChapitre 3. Mesures stationnaires. et théorèmes de convergence
Chapitre 3 Mesures stationnaires et théorèmes de convergence Christiane Cocozza-Thivent, Université de Marne-la-Vallée p.1 I. Mesures stationnaires Christiane Cocozza-Thivent, Université de Marne-la-Vallée
Plus en détailRégression multiple : principes et exemples d application. Dominique Laffly UMR 5 603 CNRS Université de Pau et des Pays de l Adour Octobre 2006
Régression multiple : principes et eemples d ppliction Dominique Lffly UMR 5 603 CNRS Université de Pu et des Pys de l Adour Octobre 006 Destiné à de futurs thémticiens, notmment géogrphes, le présent
Plus en détailL import massif introduit plusieurs nouvelles fonctionnalités, selon que l on importe un thésaurus, un ensemble de valeurs contrôlées ou un corpus.
Import Massif Nouvelles fonctionnalités L import massif introduit plusieurs nouvelles fonctionnalités, selon que l on importe un thésaurus, un ensemble de valeurs contrôlées ou un corpus. Le fonctionnement
Plus en détailGroupe symétrique. Chapitre II. 1 Définitions et généralités
Chapitre II Groupe symétrique 1 Définitions et généralités Définition. Soient n et X l ensemble 1,..., n. On appelle permutation de X toute application bijective f : X X. On note S n l ensemble des permutations
Plus en détailA11 : La représentation chaînée (1ère partie)
A11 : L représettio chîée (1ère prtie) - Défiitio et schéms de cosulttio - Schéms de mise à jour (isertio, suppressio) - Exemples J-P. Peyri - L représettio chîée (première prtie) 0 Pricipe de l représettio
Plus en détailClients légers IGEL et bureaux virtuels : synergie idéale et coût minimal
Clients légers IGEL et bureux virtuels : synergie idéle et coût miniml Infrstructure de bureux virtuels vec clients légers IGEL Universl Desktop : Une plus grnde liberté de conception pour vos postes de
Plus en détailExprimez-vous lors du choix de vos pneus:
xprimez-vous lors du choix de vos pneus: xigez des pneus sûrs, ÉnergÉtiquement efficaces et silencieux! 72 d 72 d POUR MILLURS PNUS SUR LS ROUTS SUISSS S exprimer lors du choix des pneus? onner son avis
Plus en détailDAns un système multi-utilisateurs à temps partagé, plusieurs processus
Chapitre 8 Ordonnancement des processus Dns un système multi-utilisateurs à temps partagé, plusieurs processus peuvent être présents en mémoire centrale en attente d exécution. Si plusieurs processus sont
Plus en détailBases de programmation. Cours 5. Structurer les données
Bases de programmation. Cours 5. Structurer les données Pierre Boudes 1 er décembre 2014 This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 3.0 License. Types char et
Plus en détail