Lycée Faidherbe, Lille MP1 Cours d informatique Automates

Save this PDF as:
 WORD  PNG  TXT  JPG

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

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

Transcription

1 Lycée Fidhere, Lille MP Cours d informtique Automtes I Déterministes Définitions 2 Exemple 2 Action des mots 3 Lngge reconnu 3 II Incomplets Accessiilité 4 Automte simplifié 4 Automtes incomplets 5 Complétion 6 Émondge 7 III A.F.N.D Définition 7 Lngge reconnu 9 Déterministion 9 IV Asynchrones Définition Synchronistion Déterministion 4 V Exercices Divisiilté pr trois 4 Petits utomtes 5 Alphet à une lettre 5 Complet et co-ccessile 5 Construction 5 Explosion exponentielle 5 Lngge trnsposé 5 Mélnge 6 E.N.S Le rmn veugle 6 Automtes pge

2 I Déterministes I. Définitions Un utomte fini déterministe (ou A.F.D., DFA en nglis) est un quintuplet M = (S, A, s 0, F, δ) où S est un ensemle fini d étts, A est un lphet (fini), s 0 est un élément de S, l étt initil, F est une prtie de S, l ensemle des étts finux, (on dit ussi ccepteurs ou terminux) δ est une ppliction de S A vers S : l fonction de trnsition. Les utomtes peuvent être représentés pr un grphe suivnt les conventions : les nœuds du grphe sont les étts l étt initil est précédé d un signe > ou d une flèche entrnte un étt terminl est entouré d un doule cercle ou d une flèche sortnte les rêtes du grphe sont les trnsitions une rête étiquetée pr x A v de l étt s à l étt t si et seulement si t = δ(s, x). I.2 Exemple pge 2 Automtes

3 On peut ussi représenter l utomte à l ide du tleu de définition de δ : s δ(s, ) δ(s, ) Les ensemles S et A sont lors définis pr les projections de l ensemle de définition de δ. Il reste à définir s 0 ( dns cet exemple) et F ({3, 5} ici). I.3 Action des mots Si M est un utomte sur le lngge A on générlise l fonction de trnsition à A tout entier pr l fonction δ de S A vers S pr δ(s, ) = s pour tout s S ( est le mot vide) δ(s, ux) = δ ( δ(s, u), x ) pour tout mot de l forme ux vec x A. On noter δ(s, u) = s.u. On s.u = ( ( ((s.x ).x 2 )..x n ).x n ) pour u = x x 2 x n. Prcours Si u = x x n x n est un mot de A on pose s = δ(s, x ), s 2 = δ(s, x 2 ),..., s n = δ(s n, x n ). (s, s, s 2,..., s n ) est le prcours de u à prtir de s. On noter ce prcours sous l forme s x x 2 x n s s 2 s n s n I.4 Lngge reconnu Un mot u est reconnu (ou ccepté) pr l utomte M = (S, A, s 0, F, δ) si l imge de s 0 pr u pprtient à F : s 0.u F. Le lngge reconnu (ou ccepté) pr M est l ensemle de tous les mots reconnus pr M. On le note L(M). Un lngge L est reconnissle s il existe un utomte déterministe M tel que L = L(M). Automtes pge 3

4 Exemples L(M) = A si tous les étts sont cceptnts. L(M) = si ucun étt n est cceptnt. Le mot vide,, est reconnu si et seulement si s 0 est ussi un étt finl. Pour l utomte M suivnt, L(M) est l ensemle des mots qui finissent pr un s s 2 II Incomplets II. Accessiilité Un étt s est dit ccessile s il existe u A tel que s = s 0.u. Exemples s 0 = s 0. est toujours ccessile. Pour tout mot u = x x 2 x n les étts prcourus pr x, s 0, s = s 0.x, s 2 = s 0.x x 2,..., s n = s 0.u sont ccessiles. Un étt s est dit co ccessile s il existe u A tel que s.u pprtient à F. Le lngge reconnu pr M est non vide si et seulement si il existe un étt ccessile dns F. si et seulement si s 0 est co ccessile si et seulement si il existe un étt à l fois ccessile et co ccessile II.2 Automte simplifié Si s est ccessile lors s = s 0.u donc δ(s, x) = s.x = (s 0.u).x = s 0.ux est ccessile. On insi le résultt pge 4 Automtes

5 Si M = (S, A, s 0, F, δ) est un utomte lors l ensemle S des étts ccessiles de M est stle pr δ : s S, x A δ(s, x) S Ainsi, en notnt δ l restriction de δ à S A et F = F S, le quintuplet M = (S, A, s 0, F, δ ) est encore un utomte : c est l utomte simplifié ssocié à M. On prouve lors, pr récurrence sur l longueur du mot que δ (s, u) = δ(s, u) pour tout s S ; on noter s.u le résultt dns les deux cs. De plus tout mot u reconnu pr M vérifie s 0.u = s vec s F or s est ccessile donc s F et u est reconnu pr M. Inversement tout mot u reconnu pr M vérifie s 0.u F F donc u est reconnu pr M Le lngge reconnu pr M est le même que celui reconnu pr M. II.3 Automtes incomplets Un utomte fini déterministe incomplet est un quintuplet M = (S, A, s 0, F, δ) où S est un ensemle fini d étts, A est un lphet (fini), s 0 est un élément de S, l étt initil, F est une prtie de S, l ensemle des étts finux, δ est une ppliction définie sur une prtie de S A vers S : l fonction de trnsition. On définit δ(s, u) = s.u comme pour un utomte complet lorsque cel est possile. Si u = vw vec v, w A et A est tel que s = s 0.v est défini mis δ(s, ) n est ps défini on dit que u est un mot loqunt. Le lngge reconnu pr un utomte incomplet est l ensemle des mots u non loqunts tels que s 0.u pprtient à F. Automtes pge 5

6 Exemple s s 2 s 2 Tous les mots commençnt pr sont loqunts. Le lngge reconnu pr M est l ensemle des mots commençnts pr et contennt u moins un. II.4 Complétion Si M = (S, A, s 0, F, δ) est un utomte incomplet on peut lui jouter un étt puits qui est l imge des trnsitions non encore définies et qui reste fixe. Plus précisement on définit S = S {p} et δ sur S A pr δ (s, x) = δ(s, x) pour s S si δ(s, x) existe δ (s, x) = p pour s S si δ(s, x) n est ps défini δ (p, x) = p Si u n est ps un mot loqunt dns M lors le prcours dns M est conservé dns M cr on grde toutes les trnsitions existntes d où δ (s 0, u) = δ(s 0, u). Si u = x x 2... x n est un mot loqunt de prcours incomplet dns M x x 2 x i s 0 s s 2 s i s i lors son prcours dns M est x x i x i+ s 0 s s i s i p x i+2 p p x n p Ainsi δ (s 0, u) = p. M = (S, A, s 0, F, δ ) est un utomte complet tel que L(M) = L(M ). Si u est reconnu pr M il reste reconnu pr M. Si u n est ps un mot reconnu pr M lors soit il n est ps loqunt d où δ (s 0, u) = δ(s 0, u) / F soit il est loqunt d où δ (s 0, u) = p / F dns les deux cs u n est ps reconnu pr M. pge 6 Automtes

7 II.5 Émondge Émonder un utomte complet M consiste en éliminer les étts non ccessiles ; on vu qu on otenit un utomte complet M. éliminer les étts non co ccessiles et les trnsitions qui en dépendent ; on otient lors un utomte incomplet M 2. si esoin compléter l utomte otenu : M 3. Cel revient à remplcer tous les étts non co ccessiles pr un seul. On vu que L(M) = L(M ) et L(M 2 ) = L(M 3 ). Si un mot u est reconnu pr M (ou pr M ) lors son prcours est composé d étts co ccessiles donc ce prcours est un prcours de M 2 : u pprtient à L(M 2 ). Inversement, comme M 2 est inclus dns M, tout mot reconnu pr M 2 est reconnu pr M. Émonder un utomte ne chnge ps le lngge reconnu. III A.F.N.D. III. Définition Voici un utomte qui reconnît le lngge des mots contennt : Automtes pge 7

8 Cet utomte semle plus nturel mis il est non complet (cel peut se corriger) et surtout on perdu le déterminisme : l trnsition depuis l étt vec l lettre n est ps définie de mnière unique. Un utomte fini non déterministe (ou fnd, NFA en nglis) est un quintuplet M = (S, A, I, F, δ) où S est un ensemle fini d étts, A est un lphet (fini), I est une prtie de S, l ensemle des étts initiux, F est une prtie de S, l ensemle des étts finux, δ est une ppliction de S A vers l ensemle des prties de S, P(S ), l fonction de trnsition. Le non déterminisme résulte du fit qu on le choix dns un ensemle u déprt ou pour chque trnsition. On devr donc, à chque étpe, explorer toutes les possiilités, on verr que cel peut engendrer un complexité exponentielle pr rpport u nomre d étts, ou voir un don mgique de choix pour chque étpe. Un utomte déterministe peut être considéré comme un utomte non déterministe pour lequel, pour tout couple (s, x) S A, δ(s, x) dmet exctement un élément dns le cs des utomtes complets ou u plus un élément dns le cs plus générl. On peut remplcer l fonction de trnsition pr son grphe = { (s, x, s ) / s δ(s, x) } est une prtie de S A S, c est l ensemle des trnsitions. δ est lors défini pr δ(s, x) = {s} {x} S = { s S / (s, x, s ) } pge 8 Automtes

9 III.2 Lngge reconnu Trnsition Un triplet (s, x, s )tel que s δ(s, x) (c est à dire un élément de ) est une trnsition de l utomte. On l noter s s x. s est l origine de l trnsition, s est l extrémité de l trnsition et x est l étiquette de l trnsition Un clcul de l utomte est une suite (finie) de trnsitions telle que l origine de chcune est l extrémité de l précédente. On le note s x x 2 s s xn x n n s n s est l origine du clcul s n est l extrémité du clcul u = x x 2 x n est l étiquette du clcul Exemple 2 3 3, 2 2, 2 3, sont les clculs d origine et d étiquette. Un clcul est réussi si son origine est un élément de I et son extrémité un élément de F. Un mot est reconnu (ou ccepté) pr l utomte s il est l étiquette d u moins un clcul réussi. Le lngge reconnu (ou lngge ccepté) pr un utomte M est l ensemle, L(M), des mots reconnus pr l utomte. III.3 Déterministion Automte des prties Si M = (S, A, I, F, δ) est un utomte non déterministe on définit M = ( P(S ), A, I, F, δ ) vec F est l ensemle des prties de S qui contiennent (u moins) un élément de F : Automtes pge 9

10 F = {T S : T F }. δ (T, x) est l ensemle des extrémités des trnsitions d étiquette x et d origine dns T. I est mintennt un élément de P(S ). M est un utomte déterministe complet. On lors δ (, x) = pour tout x A : est un étt puits. Dns le clcul prtique du déterminisé on ne clcule les imges des prties de S que pour les prties ccessiles : on prt de I on clcule δ (T, x) pour les différentes lettres de A puis les imges de ces derniers ensemles et insi de suite. L utomte insi otenu est émondé. Exemple 2 3 {} {, 2} {2, 3} {, 2} {, 2} {} {2, 3} {2, 3} On otient l utomte : {} S 3 S où S i = {, 2, 3} \ {i}. pge 0 Automtes

11 Pr récurrence sur l longueur de u, on montre que pour tout mot u non vide δ(t, u) = T.u est l ensemle des extrémités des trnsitions d étiquette u et d origine dns T. Ainsi, un mot u est reconnu pr M si et seulement si δ(i, u) contient un élément de F c est à dire si et seulement si I.u pprtient à F. Un utomte et son déterminisé reconnissent le même lngge. IV Asynchrones IV. Définition Un utomte vec trnsitions instntnées (ou synchrone) sur le lngge A, vec A ne contennt ps, est un utomte (non déterministe) sur le lngge A {}. Autrement dit on joute à un utomte des trnsitions de l forme s s qui se font sns qu il soit nécessire d voir une lettre qui l commnde. On noter M = (S, A, I, F, δ, ϕ) un tel utomte où δ est toujours l fonction de trnsition de S A vers P(S ) et ϕ(s) est l ensemle des extrémités des trnsitions instntnées d origine s. Les étiquettes des trnsitions sont mintennt des mots (sur A) d une lettre ou le mot vide. Si s u u 2 s s un u n n s n est un clcul son étiquette est le mot sur A, u = u u 2 u n, qui peut être de longueur inférieure à n. Le lngge reconnu est toujours l ensemle des étiquettes des clculs réussis. IV.2 Synchronistion L clôture d un étt s, κ(s), est l ensemle des étts ccessiles depuis s pr une suite finie de trnsitions instntnées : s pprtient à κ(s) si et seulement si il existe un clcul de l forme s s s 2 s n s Si K 0 = {s} et K n+ = ϕ(q) lors l suite (K n ) est une suite de prties de S et q K n κ(s) = K n. n N Automtes pge

12 On peut générliser l clôture à un sous ensemle : pour tout prtie T S, κ(t) = s T κ(s). Si M = (S, A, I, F, δ, ϕ) un utomte vec trnsitions instntnées et si I = κ(i) et δ (s, x) = κ ( δ(s, x) ) lors M = (S, A, I, F, δ ) est un utomte sns trnsition instntnée qui reconnît le même lngge que M. Exemple pge 2 Automtes

13 En émondnt l utomte on otient On peut lors déterminiser l utomte otenu : A B C vec A = {2, 6, 7}, B = {2, 6, 7, } et C = {}. Automtes pge 3

14 IV.3 Déterministion On peut ussi déterminiser un utomte synchrone directement en employnt l utomte des prties et en sturnt pr clôture les ensemles otenus. F est l ensemle des prties de S qui contiennent (u moins) un élément de F : I = κ(i). δ (T, x) = κ δ(s, x). s T M = ( P(S ), A, I, F, δ ) est un utomte déterministe complet qui reconnît le même lngge que M. Dns le clcul prtique du déterminisé on ne clcule les imges des prties de S que pour les prties ccessiles : ce seront toutes des prties sturées pr trnsitions instntnées de S. Exemple L utomte ci dessus donne, vec A = {0,, 2, 3, 5, 6, 7}, C = {9, 0, } et B = {, 2, 3, 4, 5, 6, 7, 8, 0, } A B C B B C C On retrouve le même utomte que précedemment. V Exercices V. Divisiilté pr trois Prouver que l utomte suivnt teste l divisiilité pr trois d un nomre exprimé en inire. 0 0 c 0 pge 4 Automtes

15 V.2 Petits utomtes Énumérer tous les utomtes déterministes complets à 2 étts sur A = {, } et le lngge qu ils reconnissent. V.3 Alphet à une lettre Déterminez l forme des utomtes déterministes sur un lphet à une lettre. En déduire l structure des lngges reconnissles sur un lphet à une lettre. V.4 Complet et co-ccessile À quelle condition sur le lngge reconnu un utomte complet n -t-il que des étts coccessiles? V.5 Construction Construire un utomte reconnissnt tous les mots qui finissent pr. Déterminiser l utomte otenu. V.6 Explosion exponentielle Construire un utomte à n + étts qui reconnît le lngge L = A..A n vec A = {, }. Comien d étts ccessiles comporte l utomte déterminisé? Si un utomte déterministe (S, A, s 0, F, δ) reconnît L prouver qu il u moins 2 n étts. On pourr prouver que l ppliction u s 0.u de A n vers S est injective. V.7 Lngge trnsposé M = (S, A, I, F, ) est un utomte non déterministe où est le grphe des trnsition ( S A S ). On définit t M = (S, A, F, I, t ) vec t = { (s, x, s ) / (s, x, s) } ; c est-à-dire t M est l utomte otenu en inversnt les flèches. Pour tout mot u = u u 2 u n le miroir de u est t u = u n u n u. Pour tout lngge L le le lngge miroir de L, t L, est t L = { t u ; u L}. Prouver que L( t M) = t L(M). Automtes pge 5

16 V.8 Mélnge Si u et v sont deux mots leur mélnge est le lngge u v = { / f g f 2 f n g n fi, g i A, f f 2 f n = u, g g 2 g n = v } Si L et L sont lngges leur mélnge est le lngge L L = u v. u L v L Si M = (S, A, I, F, ) et M = (S, A, I, F, ) sont deux utomtes non déterministes leur mélnge est M M = (S S, A, I I, F F, ) vec = {( (s, s ), x, (s 2, s ) ) / (s, x, s 2 ), s S } {( (s, s ), x, (s, s 2 )) / s s, (s, x, s 2 ) } Prouver que L(M M ) = L(M) L(M ) V.9 E.N.S On ppelle lngge locl sur un lphet A un lngge de l forme L = (X.A A.Y) \ (A.V.A ) vec X A, Y A, V A 2. Prouver qu un tel lngge est reconnissle. Donner un exemple non trivil de lngge reconnissle non locl. Essyer () (c). Prouver qu un lngge locl sur un lphet à n lettres peut être reconnu pr un utomte déterministe complet à n + 2 étts. Montrer que si R A est reconnissle lors il existe un lphet B un lngge L B locl et une ppliction ϕ de B vers A tel que ϕ (L) = R vec ϕ (u) = ϕ( )... ϕ( n ) pour u =... n. V.0 Le rmn veugle On dispose de 4 jetons, chcun ynt une fce leue et une fce rouge. Un joueur (le rmn) les yeux ndés. Son ut est de retourner les 4 jetons sur l même couleur (dès que les 4 jetons sont retournés l prtie s rrête et le rmn ggné). Pour cel, il peut retourner à chque tour, 2 ou 3 jetons. Un utre joueur perture le jeu en tournnt le plteu sur lequel reposent les jetons d un qurt de tour, d un demi-tour ou de trois qurts de tour entre chque opértion du rmn. En utilisnt une modélistion pr des utomtes montrer que le rmn une strtégie ggnnte, c est à dire que quoi que fsse celui qui tourne le plteu, il moyen de ggner. dig ord ord ord ord dig dig pge 6 Automtes

Théorie des Langages Formels Chapitre 5 : Automates minimaux

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

Plus en détail

Théorie des langages Automates finis

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

Plus en détail

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

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

Plus en détail

Théorie des Langages Épisode 2 Automates finis

Théorie des Langages Épisode 2 Automates finis AFD AFN Opértions Lemme de pompge 1/ 36 Théorie des Lngges Épisode 2 Automtes finis Thoms Pietrzk Université Pul Verline Metz AFD AFN Opértions Lemme de pompge Reconnisseur Définition Configurtion Accepttion

Plus en détail

Automates et langages: quelques algorithmes

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

Plus en détail

Solution - TD Feuille 2 - Automates finis et expressions rationnelles

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

Plus en détail

Théorie de langages, TD3

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

Plus en détail

1 Langages reconnaissables

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

Plus en détail

Dynamique des systèmes et automates à états

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

Plus en détail

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

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

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

Travaux Dirigés de Langages & XML - TD 2

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

Plus en détail

Notes de cours sur les automates (NFP108)

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

Plus en détail

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

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

Plus en détail

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 Mathématiques Discrètes IUT Belfort Montbéliard. Pierre-Cyrille HEAM

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

Plus en détail

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

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

Plus en détail

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

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

Plus en détail

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

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

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

Plus en détail

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

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. Notions de base Notes de cours, IR1, 2009 Sylvain Lombardy

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

Plus en détail

I. Que sont les partitions?

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

Plus en détail

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

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

Plus en détail

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

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

Fonctions affines ; Equations et inéquations

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

Plus en détail

FAQ sur l utilisation d Ecoline-solo

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

Plus en détail

LA CHAINE D INFORMATION :La fonction ACQUERIR

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

Plus en détail

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

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

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

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

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

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

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

Plus en détail

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

STRUCTURE CRISTALLINE THEORIE DES RESEAUX DE BRAVAIS

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

Plus en détail

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

Primitive et intégrale d une fonction continue

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

Plus en détail

Exemple. 4 Grammaires régulières. The quick brown fox jumps over the lazy dog. Réécriture. Application : image de synthèse. Phrase

Exemple. 4 Grammaires régulières. The quick brown fox jumps over the lazy dog. Réécriture. Application : image de synthèse. Phrase Phrse 4 Grmmires régulières Sujet Vere Complément Groupe Nominl Complément Ojet Indirect rticle Liste djectifs Nom Préposition Groupe Nominl djectif djectif rticle Liste djectifs Nom djectif The quick

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

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

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

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

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

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

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

Plus en détail

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

Synthèse de cours (Terminale S) Dérivation : rappels et compléments

Synthèse de cours (Terminale S) Dérivation : rappels et compléments Synthèse de cours (Terminle S) Dérivtion : rppels et compléments Rppels de 1ère Nombre dérivé Soit f une fonction définie sur un intervlle I et un élément de I. f ( + h) f ( ) Si l limite lim existe, on

Plus en détail

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

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

Plus en détail

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

3 Produit vectoriel. 3.1 Construction. Définition géométrique du produit vectoriel de deux vecteurs. Liens hypertextes

3 Produit vectoriel. 3.1 Construction. Définition géométrique du produit vectoriel de deux vecteurs. Liens hypertextes ProduitVectoriel-Determinnt.n 15 3-ème nnée, mthémtiques niveu vncé 3 Produit vectoriel Edition 2004-2005 Liens hypertextes Produit sclire 3D: http://www.deleze.nme/mrcel/sec2/cours/geom3d/produitsclire3d.pdf

Plus en détail

Les langages de programmations.

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

Plus en détail

Fractions. 1 Propriété des quotients égaux 1. 2 Addition, soustraction de deux fractions 3. 3 Produit de deux fractions 5

Fractions. 1 Propriété des quotients égaux 1. 2 Addition, soustraction de deux fractions 3. 3 Produit de deux fractions 5 Tle des mtières Frctions 1 Propriété des quotients égux 1 Addition, soustrction de deux frctions Produit de deux frctions Comprison de deux frctions Produit en croix 10 6 Quotient de deux frctions. Inverse

Plus en détail

Théorème de Rolle et formules de Taylor

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

Plus en détail

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

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

Plus en détail

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

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

Plus en détail

Sur la complexité des mots q -automatiques

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

Plus en détail

LE RESEAU RECIPROQUE solution

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

Plus en détail

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

2008 2010 MODULE M4 MATHEMATIQUES TERMINALE STAV

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

Plus en détail

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

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

Plus en détail

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

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

Utiliser l inverse d une matrice pour résoudre un système d équations & courbes polynomiales

Utiliser l inverse d une matrice pour résoudre un système d équations & courbes polynomiales Utiliser l inverse d une mtrice pour résoudre un système d équtions & coures polynomiles Exercice : Dns une ferme, il y des lpins et des poules. On dénomre 58 têtes et 60 pttes. Comien y -t-il de lpins

Plus en détail

Fonctions : variations et extremums. Fonctions affines

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

Plus en détail

Lois de probabilité à densité

Lois de probabilité à densité Lois de probbilité à densité Christophe ROSSIGNOL Année scolire 0/03 Tble des mtières Loi à densité sur un intervlle I. Deux exemples pour comprendre..................................... Densité de probbilité...........................................3

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

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

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

Les nombres. C est quand on simplifie au maximum une fraction : elle est dite irréductible car on ne peut plus la simplifier plus.

Les nombres. C est quand on simplifie au maximum une fraction : elle est dite irréductible car on ne peut plus la simplifier plus. Les nomres Notes Première lecture 2016 Nomres rtionnels Nomre rtionnel : c est un nomre exprimé pr un rpport de proportion entre deux nomres entiers. Il peut être écrit sous forme de frction. étnt le numérteur

Plus en détail

MPRI, Fondations mathématiques de la théorie des automates. Exercice 1. Automate minimal

MPRI, Fondations mathématiques de la théorie des automates. Exercice 1. Automate minimal MPRI, Fondtions mthémtiques de l théorie des utomtes Olivier Crton, Jen-Éric Pin Prtiel du 0 novemre 007. Durée: h, notes de cours utorisées Avertissement : On ttcher une grnde importnce à l clrté, à l

Plus en détail

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

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

Plus en détail

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

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

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

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

Plus en détail

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

CCP 2007. Filière MP. Mathématiques 1. Corrigé pour serveur UPS de JL. Lamard (jean-louis.lamard@prepas.org)

CCP 2007. Filière MP. Mathématiques 1. Corrigé pour serveur UPS de JL. Lamard (jean-louis.lamard@prepas.org) CCP 27. Filière MP. Mthémtiques. Corrigé pour serveur UPS de JL. Lmrd (jen-louis.lmrd@preps.org EXERCCE.. f est continue (en tnt de frction rtionnelle dont le dénominteur ne s nnule ps sur le compct F

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

Manuel d instructions du KIT de mise à niveau I

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

Plus en détail

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

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

Plus en détail

Transformations géodésiques en France Métropolitaine

Transformations géodésiques en France Métropolitaine Trnsformtions géodésiques en Frnce Métropolitine 1 Processus de chngement de système... 1.1 Définitions... 1. Similitude 3D à 7 prmètres... 1.3 Modèle «à 7 prmètres»... 3 1.4 Coordonnées géogrphiques (,,h)

Plus en détail

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

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

Plus en détail

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

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

Plus en détail

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

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

Plus en détail

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

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

Plus en détail

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

Exercice 1. Université Paris 7-Denis Diderot Examen du 21 mai 2012 L2 Automates finis AF4. a 1. 2 b. Voici le déterminisé : a 3. a 1.

Exercice 1. Université Paris 7-Denis Diderot Examen du 21 mai 2012 L2 Automates finis AF4. a 1. 2 b. Voici le déterminisé : a 3. a 1. Université Pris 7-Denis Diderot Exmen du 21 mi 2012 L2 Automtes finis AF4 Corrigé Exercice 1 1 3 On considère l utomte fini : 2 4 Question 1 : Déterminiser cet utomte. 1 1, 3 1, 3, 4 Voici le déterminisé

Plus en détail

Le football et ses trajectoires

Le football et ses trajectoires Le footll et ses trjectoires Guillume Dupeux (guillume.dupeux@espci.fr), Croline Cohen, Anne Le Goff, Dvid Quéré et Christophe Clnet (clnet@ldhyx.polytechnique.fr) LdHyX, MR CNRS 7646, École polytechnique,

Plus en détail

Les équations dans l ensemble des nombres complexes Le degré 1 et le degré 2

Les équations dans l ensemble des nombres complexes Le degré 1 et le degré 2 Les équtions dns l ensemle des nomres complexes Le degré et le degré Eqution du premier degré 3 Eqution du second degré : Résolution de l éqution A 4 Exemples de résolutions d équtions simples (rédction

Plus en détail

Convention européenne sur la responsabilité civile en cas de dommages causés par des véhicules automoteurs

Convention européenne sur la responsabilité civile en cas de dommages causés par des véhicules automoteurs Série des trités européens - n 79 Convention européenne sur l responsilité civile en cs de dommges cusés pr des véhicules utomoteurs Strsourg, 14.V.1973 Prémule Les Etts memres du Conseil de l'europe,

Plus en détail

Nombres relatifs en écriture fractionnaire

Nombres relatifs en écriture fractionnaire Nomres reltifs en écriture frctionnire Introduction Déterminons les nomres suivnts insi que leur nture. 2 n 8 n et n est un nomre. 2 d 7,2 d et d est un nomre. r 5 r et r est un nomre.. Écriture frctionnire

Plus en détail

S B T T R B C H N. Réponses : Groin, soies, croc, sabot, queue en tirebouchon. 2007, Fédération des producteurs de porcs du Québec

S B T T R B C H N. Réponses : Groin, soies, croc, sabot, queue en tirebouchon. 2007, Fédération des producteurs de porcs du Québec Une photo de fmi le Au Quéec, les rces de porcs utilisées pour produire une femelle hyride sont les Lndrce et les Yorkshire. Le mâle est un Duroc. On utilise ces croisements pour produire des nimux vigoureux.

Plus en détail

Chapitre I Introduction aux problèmes variationnels

Chapitre I Introduction aux problèmes variationnels Chpitre I Introduction ux problèmes vritionnels I.1. Introduction. Le clcul des vritions concerne l recherche d extrems (minimums ou mximums), et peut être considéré comme une brnche de l optimistion.

Plus en détail

Chapitre 1 Équations et Inéquations du 2nd degré

Chapitre 1 Équations et Inéquations du 2nd degré Cours de Mthémtiques Première S Chpitre 1 : équtions et inéqutions du second degré Chpitre 1 Équtions et Inéqutions du nd degré A) Les Polynômes 1) Définitions On ppelle monôme une expression de l forme

Plus en détail

[http://mp.cpgedupuydelome.fr] édité le 10 juillet 2014 Enoncés 1

[http://mp.cpgedupuydelome.fr] édité le 10 juillet 2014 Enoncés 1 [http://mp.cpgedupuydelome.fr] édité le 1 juillet 14 Enoncés 1 Topologie Ouverts et fermés Exercice 6 [ 118 ] [correction] On muni le R-espce vectoriel des suites réelles bornées de l norme u = sup u n

Plus en détail

Cours de Mathématique - Statistique Calcul Matriciel

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

Plus en détail

Ce rêve est devenu réalité!

Ce rêve est devenu réalité! Vous venez trouver une règle mise en ligne pr un collectionneur, puis 998, prtge s collection jeux société et s pssion sur Internet. Imginez puissiez ccér, jour et nuit, à cette collection, puissiez ouvrir

Plus en détail

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

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

Plus en détail