Analyse LR. 1 Rappels 2005/ Le problème
|
|
- Sébastien Joseph Mélançon
- il y a 6 ans
- Total affichages :
Transcription
1 Analyse LR 2005/ Rappels 1.1 Le problème Génératif vers recognitif Rappels du cours précédent : Syntaxe foalisée par une grammaire algébrique G =, Σ, P, S. Construction automatique d un automate à pile A = Q, Σ, R, ϕ s, F, $, pour G. Une solution : l automate à pile récursif descendant. Analyseur descendant Définition 1.1. L analyseur récursif descendant pour une grammaire algébrique G =, Σ, P, S est un automate à pile A desc = Q, Σ, R, ϕ s, F, $, où Q est l ensemble des production pointées de P, notées R est l ensemble des règles [A α α ] si A αα P, (1) [A α Bα ] predict [A αb α ][B β], [A α aα ] a match [A αa α ], [A α ], ϕ s = [S S$], F = {[S S $]}. Analyse descendante 1
2 Exemple 1.2. $[S $] $ = predict $[S $][ S] $ = predict $[S $][ S][ ] $ = match $[S $][ S][ ] $ = match $[S $][ S][ ] $ = $[S $][ S] $ = predict $[S $][ S ][S ] $ = match $[S $][ S ][S ] $ = predict $[S $][ S ][S ][ ] $ = match $[S $][ S ][S ][ ] $ = match $[S $][ S ][S ][ ] $ = $[S $][ S ][S ] $ = $[S $][ S ] $ = $[S $] $ Faiblesses de l analyse descendante 1. L automate à pile est non déteiniste ; il nécessite un backtrack coûteux ; 2. l ensemble de règles R peet des règles de foe [A Aα] predict [A A α][a Aα] si grammaire est récursive gauche. Le non-déteinisme est lié aux conflits entre deux règles predict. Quelles autres possibilités s offrent à nous? 2 Analyse ascendante 2.1 Automate à pile ascendant Dérivations droites Exemple 2.1. Lors d une dérivation droite : 2
3 S S S S 3
4 4
5 S S Et si on inverse retion : si on évalue 1 depuis chaîne teinale? Analyseur ascendant Définition 2.2. L analyseur ascendant pour une grammaire algébrique G =, Σ, P, S est un automate à pile A asc =, Σ, R, ϕ s, F, $, où R est l ensemble des règles α A α A, a shift a, ϕ s = ε, 5
6 F = {S}. Définition 2.3. Le transducteur ascendant A, τ est défini par τ(α A α A ) = A α, τ( a shift a ) = ε. Analyse ascendante Exemple 2.4. $ $ $ $ $ $ = $ $ $ $ $ $ $ $ = $ $ = S $ S $ = S $ $ Exercice Exercice 2.5. Soit grammaire E E + T T, T T F F, F a (E). Donnez les étapes de l analyse de phrase a + a a par un automate à pile ascendant. Un amélioration? L automate ascendant est lui aussi fortement non-déteiniste, avec des conflits shift/reduce dans une configuration α a si production A α existe, reduce/reduce dans une configuration βα si les productions distinctes A α et B βα existent. En revanche, il n a pas de problème avec récursivité d une grammaire acyclique. 2.2 Contexte Exercice Exercice 2.6. Soit grammaire S A B, A ca a, B cb b. Montrez que l automate à pile ascendant pour cette grammaire est déteiniste. Que dire de l automate descendant? La décision de reconnaître une production de grammaire est faite juste avant de reconnaître les constituants de cette production en analyse descendante, et une fois ces constituants reconnus en analyse descendante. 6
7 Poignées Définition 2.7. Une chaîne α est un syntagme (phrase en angis) de foe sententielle ϕασ si il existe A α dans P et si S ϕaσ ϕασ. En d autres tees, réduction d α à A dans ϕασ nous donne bien une foe sententielle. Définition 2.8. Un syntagme d une foe sententielle droite dont réduction donne à nouveau une foe sententielle droite est appelé une poignée (handle en angis) : α est une poignée dans foe sententielle δαx si il existe A α dans P et si S δax δαx. Poignées S Exemple 2.9. (2) S SP Exemple Prep ε S (3) La poignée d une foe sententielle droite est unique pour une grammaire non ambiguë. Contexte d une poignée Définition Soit α une poignée de foe sententielle δαx ; on appelle δα son contexte gauche et x son contexte droit. De nombreuses méthodes d analyse ascendante déteiniste font jouer des retions entre symboles de fin du contexte gauche et symboles du début du contexte droit : analyse par précédence de symboles [Flo63, WW66, IM70], analyse considérant une portion bornée des contextes gauches et droits [Flo64]. Elles sont tombées dans l oubli face à LR... 3 Analyse LR 3.1 Grammaire caractéristique Le principe fondateur de LR est d exploiter totalité du contexte gauche des poignées. ous commençons par donner un autre point de vue sur ce contexte gauche. 7
8 Préfixe viable Exemple 3.1. S aa bb, A cac d, B cbc d. S a A S b B c A c c B c c A c c B c d d La séquence ac n d est un préfixe viable complet de grammaire : Définition 3.2. Si S δax δαβx dans G, alors δα est un préfixe viable de G, et est complet si β = ε. L intérêt de cette notion de préfixe viable est qu elle est reflétée par une notion simiire de pile viable de l analyseur ascendant. Pile viable Définition 3.3. La chaîne ϕ de Q est une pile viable pour l automate à pile A = Q, Σ, R, ϕ s, F, $, si $ϕ s w$ = $ϕ x$ = $ϕ f $ pour ϕ f dans F et w et x dans Σ. Théorème 3.4. Soit G une grammaire et A asc son automate à pile ascendant. Tout préfixe viable de G est une pile viable de A asc et réciproquement. Toute force de méthode LR réside dans le fait que les préfixes viables d une grammaire foent un ngage régulier, et qu ils peuvent donc être reconnus par un automate à états finis déteiniste. Grammaire caractéristique [Knu65] Définition 3.5. Soit une grammaire G =, Σ, P, S. La grammaire caractéristique de G est G 0 = 0,, P 0, [S] où 0 = {[A] A } et P 0 = {[A] α A α P } {[A] α[b] A αbβ P }. Exemple 3.6. La grammaire caractéristique pour est S aa bb, A cac d, B cbc d [S] a[a] aa b[b] bb, [A] c[a] cac d, [B] c[b] cbc d. La grammaire caractéristique d une grammaire G génère tous les préfixes viables complets de G. La grammaire caractéristique est une grammaire linéaire à droite ; le ngage des préfixes viables complet est donc un ngage rationnel. L exercice suivant est l occasion d exploiter cette propriété. 8
9 Exercice Exercice 3.7. Donner un automate à états finis déteiniste qui reconnaît les phrases du générées par grammaire caractéristique 3.2 Items LR(k) [S] a[a] aa b[b] bb, [A] c[a] cac d, B c[b] cbc d. te construction de l automate à états finis est foalisée par notion d items LR. ous utilisons une notion plus forte que le simple préfixe viable complet : nous souhaitons connaître exactement quelles chaînes de longueur k sont acceptables après ce préfixe. Item LR(k) valide [Knu65, AU72] Définition 3.8. Un k-item est un couple de foe [A α β, u] où A αβ est une production de P et u une chaîne de Σ k. Il est LR(k)-valide pour un préfixe γ si S δax δαβx = γβx et k : x = u. (4) Si γ est un préfixe viable de G, alors il existe un item valide pour γ, et réciproquement. Exemple 3.9. Les items [A c Ac, c] et [A d, c] sont valides pour ac n, n > 1 pour grammaire S aa bb, A cac d, B cbc d : S ac n 1 Ac n 1 $ ac n Ac n $ ac n dc n $ et 1 : c n = c. (5) L ensemble des k-items valides pour γ est noté alid k (γ) = {ι ι est un k-item valide pour γ}. (6) Retions entre items LR(k) Lemme Si S σ est une règle de P, alors [S σ, $ k ] est un k-item valide pour ε. Lemme Si [A α Xβ, u] est un k-item valide pour γ, alors [A αx β, u] est un k-item valide pour γx. On note [A α Xβ, u] X [A αx β, u]. Lemme Si [A α Bβ, u] est un k-item valide pour γ, alors [B δ, First k (βu)] est un k-item valide pour γ. On note [A α Bβ, u] ε [B δ, First k (βu)]. Théorème Exercice Exercice Donnez les ensembles alid k pour grammaire Équivalence LR(k) alid k (γ) = {ι [S σ, $ k ] γ ι}. (7) S aa bb, A cac d, B cbc d Définition La chaîne γ 1 est LR(k)-équivalente à chaîne γ 2, dénoté par γ 1 LR(k) γ 2, si et seulement si alid k (γ 1 ) = alid k (γ 2 ). Théorème Pour toute grammaire G =, Σ, P, S et entier naturel k, retion LR(k) est une retion d équivalence sur. De plus, LR(k) a un index fini et borné par 2 G Σ k. (8) Exercice Prouver le théorème précédent. Exercice Refoulez définition d une grammaire caractéristique pour utiliser fenêtre de k symboles. 9
10 3.3 Automate LR(k) L équivalence LR(k) est l équivalence induite par l automate d états finis reconnaissant G k. On note les csses d équivalence de LR(k) par [γ] k où γ est un élément de csse d équivalence, et on note l ensemble des csses d équivalence E k. Automate LR(k) Définition L automate LR(k) de grammaire G est l automate à pile ascendant A LR(k) = E k, Σ, R, [ε], {[S]}, $, où E k est l ensemble des csses d équivalences [δ] k de LR(k), l ensemble des règles R est restreint aux règles [δ] k [δx 1 ] k... [δx 1... X n ] k u A X1... Xn [δ] k[δa] k u, (9) si un item [A X 1... X n, u] est LR(k)-valide pour δ, et [δ] k au shift [δ] k [δa] k u, (10) si un item [A α aβ, v] est LR(k)-valide pour δ et si u First k 1 (βv). Analyse ascendante LR Exemple Soit grammaire S aa bb, A cac d, B cbc d : $[ε] accdcc$ $[ε][a] ccdcc$ $[ε][a][ac] cdcc$ $[ε][a][ac][acc] dcc$ $[ε][a][ac][acc][accd] cc$ $[ε][a][ac][acc][accd] cc$ = A d $[ε][a][ac][acc][acca] cc$ $[ε][a][ac][acc][acca][accac] c$ $[ε][a][ac][acc][acca][accac] c$ = A cac $[ε][a][ac][aca] c$ $[ε][a][ac][aca][acac] $ $[ε][a][ac][aca][acac] $ = A cac $[ε][a][aa] $ = A cac $[ε][a][aa] $ = S aa $[ε][s] $ Grammaires LR(k) Définition Une grammaire est LR(k) si 1. S δax δαx, 2. S γby γβzy = δαzy et 3. k : x = k : zy impliquent δax = γby. Théorème Une grammaire G est LR(k) si et seulement si son automate LR(k) est déteiniste. Théorème Si une grammaire G est LR(k), alors il existe une grammaire G LR(1) équivalente. 10
11 Langages déteinistes Théorème Les ngages générés par les grammaires LR(1) sont exactement les ngages reconnus par un automate à pile déteiniste. On appelle ces ngages les ngages déteinistes. References [AU72] Alfred. Aho and Jeffrey D. Ullman. The Theory of Parsing, Transtion, and Compiling, volume I: Parsing of Series in Automatic Computation. Prentice Hall, Englewood Cliffs, ew Jersey, [Flo63] Robert W. Floyd. Syntactic analysis and operator precedence. Journal of the ACM, 10(3): , [Flo64] [IM70] Robert W. Floyd. Bounded context syntactic analysis. Communications of the ACM, 7(2):62 67, J. D. Ichbiah and S. P. Morse. A technique for generating almost optimal Floyd-Evans productions for precedence grammars. Communications of the ACM, 13(8): , [Knu65] Donald E. Knuth. On the transtion of nguages from left to right. Infoation and Control, 8: , [WW66] ikus Wirth and Helmut Weber. EULER: a generalization of ALGOL and it foal definition. Communications of the ACM, 9(1):Part I: 13 25, and Part II: 89 99,
Théorie des Langages
Théorie des Langages Analyse syntaxique descendante Claude Moulin Université de Technologie de Compiègne Printemps 2010 Sommaire 1 Principe 2 Premiers 3 Suivants 4 Analyse 5 Grammaire LL(1) Exemple : Grammaire
Plus en détailChap 4: Analyse syntaxique. Prof. M.D. RAHMANI Compilation SMI- S5 2013/14 1
Chap 4: Analyse syntaxique 1 III- L'analyse syntaxique: 1- Le rôle d'un analyseur syntaxique 2- Grammaires non contextuelles 3- Ecriture d'une grammaire 4- Les méthodes d'analyse 5- L'analyse LL(1) 6-
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étailDérivation : Résumé de cours et méthodes
Dérivation : Résumé de cours et métodes Nombre dérivé - Fonction dérivée : DÉFINITION (a + ) (a) Etant donné est une onction déinie sur un intervalle I contenant le réel a, est dérivable en a si tend vers
Plus en détailAngles orientés et trigonométrie
Chapitre Angles orientés et trigonométrie Ce que dit le programme : CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES Trigonométrie Cercle trigonométrique. Radian. Mesure d un angle orienté, mesure principale.
Plus en détail1.1 Rappels sur le produit cartésien... 1. 1.2 Relations... 3. 1.3 Graphes dirigés... 8. 1.4 Arbres... 12. 1.5 Exercices... 19. 2.1 Motivation...
Table des matières 1 Relations et graphes 1 1.1 Rappels sur le produit cartésien.................... 1 1.2 Relations.................................. 3 1.3 Graphes dirigés..............................
Plus en détailRésolution d équations non linéaires
Analyse Numérique Résolution d équations non linéaires Said EL HAJJI et Touria GHEMIRES Université Mohammed V - Agdal. Faculté des Sciences Département de Mathématiques. Laboratoire de Mathématiques, Informatique
Plus en détailChapitre 2. Matrices
Département de mathématiques et informatique L1S1, module A ou B Chapitre 2 Matrices Emmanuel Royer emmanuelroyer@mathuniv-bpclermontfr Ce texte mis gratuitement à votre disposition a été rédigé grâce
Plus en détailRésolution de systèmes linéaires par des méthodes directes
Résolution de systèmes linéaires par des méthodes directes J. Erhel Janvier 2014 1 Inverse d une matrice carrée et systèmes linéaires Ce paragraphe a pour objet les matrices carrées et les systèmes linéaires.
Plus en détailCours de Master Recherche
Cours de Master Recherche Spécialité CODE : Résolution de problèmes combinatoires Christine Solnon LIRIS, UMR 5205 CNRS / Université Lyon 1 2007 Rappel du plan du cours 16 heures de cours 1 - Introduction
Plus en détailFrancis BISSON (06 794 819) Kenny CÔTÉ (06 836 427) Pierre-Luc ROGER (06 801 883) IFT702 Planification en intelligence artificielle
Francis BISSON (06 794 819) Kenny CÔTÉ (06 836 427) Pierre-Luc ROGER (06 801 883) PLANIFICATION DE TÂCHES DANS MS PROJECT IFT702 Planification en intelligence artificielle Présenté à M. Froduald KABANZA
Plus en détail* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours
Exo7 Continuité (étude globale). Diverses fonctions Exercices de Jean-Louis Rouget. Retrouver aussi cette fiche sur www.maths-france.fr * très facile ** facile *** difficulté moyenne **** difficile *****
Plus en détailIntroduction à l étude des Corps Finis
Introduction à l étude des Corps Finis Robert Rolland (Résumé) 1 Introduction La structure de corps fini intervient dans divers domaines des mathématiques, en particulier dans la théorie de Galois sur
Plus en détailExercices - Nombres complexes : corrigé. Formes algébriques et trigonométriques, module et argument
Formes algébriques et trigonométriques, module et argument Exercice - - L/Math Sup - On multiplie le dénominateur par sa quantité conjuguée, et on obtient : Z = 4 i 3 + i 3 i 3 = 4 i 3 + 3 = + i 3. Pour
Plus en détailChapitre 7 : Intégration sur un intervalle quelconque
Universités Paris 6 et Paris 7 M1 MEEF Analyse (UE 3) 2013-2014 Chapitre 7 : Intégration sur un intervalle quelconque 1 Fonctions intégrables Définition 1 Soit I R un intervalle et soit f : I R + une fonction
Plus en détail1 Introduction au codage
CélestineOscarDésiréAnatoleGastonEugène 1 Introduction au codage 1.1 Les ensembles L ensemble de tout les ensembles est Dieu lui-même. Kantor Ensemble des parties d un ensemble désigne l ensemble des sous-ensembles
Plus en détailImage d un intervalle par une fonction continue
DOCUMENT 27 Image d un intervalle par une fonction continue La continuité d une fonction en un point est une propriété locale : une fonction est continue en un point x 0 si et seulement si sa restriction
Plus en détailRappels et compléments, première partie : Nombres complexes et applications à la géométrie
Rappels et compléments, première partie : Nombres complexes et applications à la géométrie 1 Définition des nombres complexes On définit sur les couples de réels une loi d addition comme suit : (x; y)
Plus en détailCircuits RL et RC. Chapitre 5. 5.1 Inductance
Chapitre 5 Circuits RL et RC Ce chapitre présente les deux autres éléments linéaires des circuits électriques : l inductance et la capacitance. On verra le comportement de ces deux éléments, et ensuite
Plus en détailCalcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes.
1 Définitions, notations Calcul matriciel Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes. On utilise aussi la notation m n pour le
Plus en détailLimites finies en un point
8 Limites finies en un point Pour ce chapitre, sauf précision contraire, I désigne une partie non vide de R et f une fonction définie sur I et à valeurs réelles ou complees. Là encore, les fonctions usuelles,
Plus en détailLes indices à surplus constant
Les indices à surplus constant Une tentative de généralisation des indices à utilité constante On cherche ici en s inspirant des indices à utilité constante à définir un indice de prix de référence adapté
Plus en détailContinuité d une fonction de plusieurs variables
Chapitre 2 Continuité d une fonction de plusieurs variables Maintenant qu on a défini la notion de limite pour des suites dans R n, la notion de continuité s étend sans problème à des fonctions de plusieurs
Plus en détailCours d Analyse. Fonctions de plusieurs variables
Cours d Analyse Fonctions de plusieurs variables Licence 1ère année 2007/2008 Nicolas Prioux Université de Marne-la-Vallée Table des matières 1 Notions de géométrie dans l espace et fonctions à deux variables........
Plus en détailINF 232: Langages et Automates. Travaux Dirigés. Université Joseph Fourier, Université Grenoble 1 Licence Sciences et Technologies
INF 232: Langages et Automates Travaux Dirigés Université Joseph Fourier, Université Grenoble 1 Licence Sciences et Technologies Année Académique 2013-2014 Année Académique 2013-2014 UNIVERSITÉ JOSEPH
Plus en détailEncryptions, compression et partitionnement des données
Encryptions, compression et partitionnement des données Version 1.0 Grégory CASANOVA 2 Compression, encryption et partitionnement des données Sommaire 1 Introduction... 3 2 Encryption transparente des
Plus en détail1 Première section: La construction générale
AMALGAMATIONS DE CLASSES DE SOUS-GROUPES D UN GROUPE ABÉLIEN. SOUS-GROUPES ESSENTIEL-PURS. Călugăreanu Grigore comunicare prezentată la Conferinţa de grupuri abeliene şi module de la Padova, iunie 1994
Plus en détailContinuité et dérivabilité d une fonction
DERNIÈRE IMPRESSIN LE 7 novembre 014 à 10:3 Continuité et dérivabilité d une fonction Table des matières 1 Continuité d une fonction 1.1 Limite finie en un point.......................... 1. Continuité
Plus en détailCalcul différentiel sur R n Première partie
Calcul différentiel sur R n Première partie Université De Metz 2006-2007 1 Définitions générales On note L(R n, R m ) l espace vectoriel des applications linéaires de R n dans R m. Définition 1.1 (différentiabilité
Plus en détailÉvaluation et implémentation des langages
Évaluation et implémentation des langages Les langages de programmation et le processus de programmation Critères de conception et d évaluation des langages de programmation Les fondations de l implémentation
Plus en détailFigures composées de pixels et monoïde inversif
Figures composées de pixels et monoïde inversif Michel Latteux Denis Robilliard David implot Résumé Une figure pointée est un ensemble fini de pixels connexes muni d un point de départ et d un point d
Plus en détailÉtude des formes de pratiques de la gymnastique sportive enseignées en EPS à l école primaire
Étude des formes de pratiques de la gymnastique sportive enseignées en EPS à l école primaire Stéphanie Demonchaux To cite this version: Stéphanie Demonchaux. Étude des formes de pratiques de la gymnastique
Plus en détailConstruction de l'intégrale de Lebesgue
Université d'artois Faculté des ciences Jean Perrin Mesure et Intégration (Licence 3 Mathématiques-Informatique) Daniel Li Construction de l'intégrale de Lebesgue 10 février 2011 La construction de l'intégrale
Plus en détailCapes 2002 - Première épreuve
Cette correction a été rédigée par Frédéric Bayart. Si vous avez des remarques à faire, ou pour signaler des erreurs, n hésitez pas à écrire à : mathweb@free.fr Mots-clés : équation fonctionnelle, série
Plus en détailReprésentation géométrique d un nombre complexe
CHAPITRE 1 NOMBRES COMPLEXES 1 Représentation géométrique d un nombre complexe 1. Ensemble des nombres complexes Soit i le nombre tel que i = 1 L ensemble des nombres complexes est l ensemble des nombres
Plus en détailDéveloppements limités usuels en 0
Développements limités usuels en 0 e x sh x ch x sin x cos x = + x! + x! + + xn n! + O ( x n+) = x + x3 3! + + xn+ (n + )! + O ( x n+3) = + x! + x4 4! + + xn (n)! + O ( x n+) = x x3 3! + + ( )n xn+ (n
Plus en détailThéorème du point fixe - Théorème de l inversion locale
Chapitre 7 Théorème du point fixe - Théorème de l inversion locale Dans ce chapitre et le suivant, on montre deux applications importantes de la notion de différentiabilité : le théorème de l inversion
Plus en détailMathématique et Automatique : de la boucle ouverte à la boucle fermée. Maïtine bergounioux Laboratoire MAPMO - UMR 6628 Université d'orléans
Mathématique et Automatique : de la boucle ouverte à la boucle fermée Maïtine bergounioux Laboratoire MAPMO - UMR 6628 Université d'orléans Maitine.Bergounioux@labomath.univ-orleans.fr Plan 1. Un peu de
Plus en détail14/04/2014. un ensemble d'informations sur un sujet : exhaustif, non redondant, structuré, persistant. Gaëlle PERRIN SID2 Grenoble.
Gaëlle PERRIN SID2 Grenoble Le 10/04/2014 Base de Données (BD) : une grande quantité de données, centralisées ou non, servant pour les besoins d'une ou plusieurs applications, interrogeables et modifiables
Plus en détailChp. 4. Minimisation d une fonction d une variable
Chp. 4. Minimisation d une fonction d une variable Avertissement! Dans tout ce chapître, I désigne un intervalle de IR. 4.1 Fonctions convexes d une variable Définition 9 Une fonction ϕ, partout définie
Plus en détailTD n 10 : Ma première Base de Données
TD n 10 : Ma première Base de Données 4 heures Rédigé par Pascal Delahaye 11 mars 2015 Le but de ce TD est de découvrirles principales fonctions d OpenOffice Base, le systèmede gestion de bases de données
Plus en détailExercice autour de densité, fonction de répatition, espérance et variance de variables quelconques.
14-3- 214 J.F.C. p. 1 I Exercice autour de densité, fonction de répatition, espérance et variance de variables quelconques. Exercice 1 Densité de probabilité. F { ln x si x ], 1] UN OVNI... On pose x R,
Plus en détailExercices - Polynômes : corrigé. Opérations sur les polynômes
Opérations sur les polynômes Exercice 1 - Carré - L1/Math Sup - Si P = Q est le carré d un polynôme, alors Q est nécessairement de degré, et son coefficient dominant est égal à 1. On peut donc écrire Q(X)
Plus en détail8.1 Généralités sur les fonctions de plusieurs variables réelles. f : R 2 R (x, y) 1 x 2 y 2
Chapitre 8 Fonctions de plusieurs variables 8.1 Généralités sur les fonctions de plusieurs variables réelles Définition. Une fonction réelle de n variables réelles est une application d une partie de R
Plus en détailCREATION D UNE EVALUATION AVEC JADE par Patrick RUER (www.mathenvideo.comuv.com)
TABLE DES MATIERES I) Le logiciel JADE 2 II) Etablissements 3 1) Configuation de l établissement 3 2) Importation des classes avec SCONET 4 3) Les groupes d élèves 6 4) Les variables supplémentaires 6
Plus en détailExo7. Calculs de déterminants. Fiche corrigée par Arnaud Bodin. Exercice 1 Calculer les déterminants des matrices suivantes : Exercice 2.
Eo7 Calculs de déterminants Fiche corrigée par Arnaud Bodin Eercice Calculer les déterminants des matrices suivantes : Correction Vidéo ( ) 0 6 7 3 4 5 8 4 5 6 0 3 4 5 5 6 7 0 3 5 4 3 0 3 0 0 3 0 0 0 3
Plus en détailTD 1 - Structures de Traits et Unification
TD 1 - Structures de Traits et Unification 1 Définitions Un trait (en: feature) est un couple attribut-valeur. Une structure de traits (en: feature structure) est un ensemble de traits. On peut les représenter
Plus en détailProblème 1 : applications du plan affine
Problème 1 : applications du plan affine Notations On désigne par GL 2 (R) l ensemble des matrices 2 2 inversibles à coefficients réels. Soit un plan affine P muni d un repère (O, I, J). Les coordonnées
Plus en détailNégociation. Compensation. Formation
www.m-x.ca Négociation Compensation Formation Information de marché Réglementation La Bourse de Montréal est la bourse de produits dérivés financiers au Canada. Elle offre aux investisseurs particuliers
Plus en détailStructures algébriques
Structures algébriques 1. Lois de composition s Soit E un ensemble. Une loi de composition interne sur E est une application de E E dans E. Soient E et F deux ensembles. Une loi de composition externe
Plus en détailCONJUGUÉ D'UN POINT PAR RAPPORT À UN TRIANGLE
CONJUGUÉ D'UN POINT PAR RAPPORT À UN TRIANGLE Jean Luc Bovet, Auvernier L'article de Monsieur Jean Piquerez (Bulletin de la SSPMP No 86), consacré aux symédianes me paraît appeler une généralisation. En
Plus en détailInitiation à la programmation en Python
I-Conventions Initiation à la programmation en Python Nom : Prénom : Une commande Python sera écrite en caractère gras. Exemples : print 'Bonjour' max=input("nombre maximum autorisé :") Le résultat de
Plus en détailCours 02 : Problème général de la programmation linéaire
Cours 02 : Problème général de la programmation linéaire Cours 02 : Problème général de la Programmation Linéaire. 5 . Introduction Un programme linéaire s'écrit sous la forme suivante. MinZ(ou maxw) =
Plus en détailGrammaires d unification
Cours sur le traitement automatique des langues (IV) Violaine Prince Université de Montpellier 2 LIRMM-CNRS Grammaires d unification Grammaire catégorielle Grammaire syntagmatique généralisée (GPSG) Les
Plus en détailCommun à tous les candidats
EXERCICE 3 (9 points ) Commun à tous les candidats On s intéresse à des courbes servant de modèle à la distribution de la masse salariale d une entreprise. Les fonctions f associées définies sur l intervalle
Plus en détailLa NP-complétude. Johanne Cohen. PRISM/CNRS, Versailles, France.
La NP-complétude Johanne Cohen PRISM/CNRS, Versailles, France. Références 1. Algorithm Design, Jon Kleinberg, Eva Tardos, Addison-Wesley, 2006. 2. Computers and Intractability : A Guide to the Theory of
Plus en détailMaintenabilité d un parc applicatif
1 Maintenabilité d un parc applicatif Une méthode pour évaluer les charges de maintenance 13/06/01 Jean-François Bailliot 2 Maintenabilité d un parc applicatif Maintenance / Développement importance relative
Plus en détailFormula Negator, Outil de négation de formule.
Formula Negator, Outil de négation de formule. Aymerick Savary 1,2, Mathieu Lassale 1,2, Jean-Louis Lanet 1 et Marc Frappier 2 1 Université de Limoges 2 Université de Sherbrooke Résumé. Cet article présente
Plus en détailFONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4)
FONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4) Bernard Le Stum Université de Rennes 1 Version du 13 mars 2009 Table des matières 1 Fonctions partielles, courbes de niveau 1 2 Limites et continuité
Plus en détailChapitre 2 Le problème de l unicité des solutions
Université Joseph Fourier UE MAT 127 Mathématiques année 2011-2012 Chapitre 2 Le problème de l unicité des solutions Ce que nous verrons dans ce chapitre : un exemple d équation différentielle y = f(y)
Plus en détailCégep de Saint Laurent Direction des communications et Direction des ressources technologiques. Projet WebCSL : Guide de rédaction web
Cégep de Saint Laurent Direction des communications et Direction des ressources technologiques Projet WebCSL : Laurence Clément, conseillère en communication édimestre Marc Olivier Ouellet, webmestre analyste
Plus en détailPLAN DE COURS. GPA750 Ordonnancement des systèmes de production aéronautique
Département de génie de la production automatisée Programme de baccalauréat Professeur Pontien Mbaraga, Ph.D. Session/année Automne 2004 Groupe(s) 01 PLAN DE COURS GPA750 Ordonnancement des systèmes de
Plus en détailBACCALAUREAT GENERAL MATHÉMATIQUES
BACCALAUREAT GENERAL FEVRIER 2014 MATHÉMATIQUES SERIE : ES Durée de l épreuve : 3 heures Coefficient : 5 (ES), 4 (L) 7(spe ES) Les calculatrices électroniques de poche sont autorisées, conformement à la
Plus en détailTests non-paramétriques de non-effet et d adéquation pour des covariables fonctionnelles
Tests non-paramétriques de non-effet et d adéquation pour des covariables fonctionnelles Valentin Patilea 1 Cesar Sanchez-sellero 2 Matthieu Saumard 3 1 CREST-ENSAI et IRMAR 2 USC Espagne 3 IRMAR-INSA
Plus en détailActivités numériques [13 Points]
N du candidat L emploi de la calculatrice est autorisé. Le soin, la qualité de la présentation entrent pour 2 points dans l appréciation des copies. Les résultats seront soulignés. La correction est disponible
Plus en détailUne forme générale de la conjecture abc
Une forme générale de la conjecture abc Nicolas Billerey avec l aide de Manuel Pégourié-Gonnard 6 août 2009 Dans [Lan99a], M Langevin montre que la conjecture abc est équivalente à la conjecture suivante
Plus en détailJeux de caracte res et encodage (par Michel Michaud 2014)
Jeux de caracte res et encodage (par Michel Michaud 2014) Les ordinateurs ne traitent que des données numériques. En fait, les codages électriques qu'ils conservent en mémoire centrale ne représentent
Plus en détail04002-LOR 2004 Mars 2004
04002-LOR 2004 LES INTERACTIONS IPSEC/DNS ---ooo--- Abstract :!! "!! $!!! "!! %$ & '( ) * + *, $ $,, $ ---ooo - - *./ 0! 1023224" 4 %- - *5 " 6 " 6 7 6 8./ 0! 1023224" 4 %6 "6 7 5 " - - * Jean-Jacques.Puig@int-evry.fr
Plus en détail1 Définition et premières propriétés des congruences
Université Paris 13, Institut Galilée Département de Mathématiques Licence 2ème année Informatique 2013-2014 Cours de Mathématiques pour l Informatique Des nombres aux structures Sylviane R. Schwer Leçon
Plus en détailSAS ENTERPRISE MINER POUR L'ACTUAIRE
SAS ENTERPRISE MINER POUR L'ACTUAIRE Conférence de l Association des Actuaires I.A.R.D. 07 JUIN 2013 Sylvain Tremblay Spécialiste en formation statistique SAS Canada AGENDA Survol d Enterprise Miner de
Plus en détailNote de cours. Introduction à Excel 2007
Note de cours Introduction à Excel 2007 par Armande Pinette Cégep du Vieux Montréal Excel 2007 Page: 2 de 47 Table des matières Comment aller chercher un document sur CVMVirtuel?... 8 Souris... 8 Clavier
Plus en détailExcel 2007 Niveau 3 Page 1 www.admexcel.com
Excel 2007 Niveau 3 Page 1 TABLE DES MATIERES UTILISATION DE LISTES DE DONNEES... 4 REMARQUES PREALABLES SUR LES LISTES DE DONNEES... 4 METTRE EN FORME LE TABLEAU... 6 METTRE LA LISTE A JOUR... 7 a/ Directement
Plus en détailEléments constitutifs et synthèse des convertisseurs statiques. Convertisseur statique CVS. K à séquences convenables. Source d'entrée S1
1 Introduction Un convertisseur statique est un montage utilisant des interrupteurs à semiconducteurs permettant par une commande convenable de ces derniers de régler un transfert d énergie entre une source
Plus en détailQuantification Scalaire et Prédictive
Quantification Scalaire et Prédictive Marco Cagnazzo Département Traitement du Signal et des Images TELECOM ParisTech 7 Décembre 2012 M. Cagnazzo Quantification Scalaire et Prédictive 1/64 Plan Introduction
Plus en détailBaccalauréat ES Pondichéry 7 avril 2014 Corrigé
Baccalauréat ES Pondichéry 7 avril 204 Corrigé EXERCICE 4 points Commun à tous les candidats. Proposition fausse. La tangente T, passant par les points A et B d abscisses distinctes, a pour coefficient
Plus en détailPour l épreuve d algèbre, les calculatrices sont interdites.
Les pages qui suivent comportent, à titre d exemples, les questions d algèbre depuis juillet 003 jusqu à juillet 015, avec leurs solutions. Pour l épreuve d algèbre, les calculatrices sont interdites.
Plus en détailCH IV) Courant alternatif Oscilloscope.
CH IV) Courant alternatif Oscilloscope. Il existe deux types de courant, le courant continu et le courant alternatif. I) Courant alternatif : Observons une coupe transversale d une «dynamo» de vélo. Galet
Plus en détailFONCTION EXPONENTIELLE ( ) 2 = 0.
FONCTION EXPONENTIELLE I. Définition Théorème : Il eiste une unique fonction f dérivable sur R telle que f ' = f et f (0) =. Démonstration de l'unicité (eigible BAC) : L'eistence est admise - Démontrons
Plus en détailManuel d utilisation 26 juin 2011. 1 Tâche à effectuer : écrire un algorithme 2
éducalgo Manuel d utilisation 26 juin 2011 Table des matières 1 Tâche à effectuer : écrire un algorithme 2 2 Comment écrire un algorithme? 3 2.1 Avec quoi écrit-on? Avec les boutons d écriture........
Plus en détailContinuité en un point
DOCUMENT 4 Continuité en un point En général, D f désigne l ensemble de définition de la fonction f et on supposera toujours que cet ensemble est inclus dans R. Toutes les fonctions considérées sont à
Plus en détailMODE D EMPLOI OUTLOOK ADD-IN POUR SELECTLINE
MODE D EMPLOI OUTLOOK ADD-IN POUR SELECTLINE IOWARE SA WARPELSTRASSE 10 3186 DÜDINGEN +41 26 492 90 30 WWW.IOWARE.SA INFO@IOWARE.CH MODE D EMPLOI MODULE ADD IN (pour Outlook) L Add In est un programme
Plus en détailConnexion à SQL server
Micromedia International Etude technique Auteur : Pierre Chevrier Nombre de pages : 18 Société : Date : 12/09/2012 Réf. : ETT_20110624_000001.docx Connexion à SQL server Ce document précise les modalités
Plus en détailTABLE DES MATIÈRES 1. DÉMARRER ISIS 2 2. SAISIE D UN SCHÉMA 3 & ' " ( ) '*+ ", ##) # " -. /0 " 1 2 " 3. SIMULATION 7 " - 4.
TABLE DES MATIÈRES 1. DÉMARRER ISIS 2 2. SAISIE D UN SCHÉMA 3! " #$ % & ' " ( ) '*+ ", ##) # " -. /0 " 1 2 " 3' & 3. SIMULATION 7 0 ( 0, - 0 - " - & 1 4. LA SOURIS 11 5. LES RACCOURCIS CLAVIER 11 STI Electronique
Plus en détailDémonstration de la conjecture de Dumont
C. R. Acad. Sci. Paris, Ser. I 1 (005) 71 718 Théorie des nombres/combinatoire Démonstration de la conjecture de Dumont Bodo Lass http://france.elsevier.com/direct/crass1/ Institut Camille Jordan, UMR
Plus en détailUtilitaires méconnus de StrataFrame
Utilitaires méconnus de StrataFrame Voici quelques classes d utilitaires, parmi ceux qui se trouvent dans le NameSpace MicroFour.StrataFrame.Tools. Cette liste n est pas exhaustive, et les regroupements
Plus en détailRappels sur les suites - Algorithme
DERNIÈRE IMPRESSION LE 14 septembre 2015 à 12:36 Rappels sur les suites - Algorithme Table des matières 1 Suite : généralités 2 1.1 Déition................................. 2 1.2 Exemples de suites............................
Plus en détailCorrigé du baccalauréat S Asie 21 juin 2010
Corrigé du baccalauréat S Asie juin 00 EXERCICE Commun à tous les candidats 4 points. Question : Le triangle GBI est : Réponse a : isocèle. Réponse b : équilatéral. Réponse c : rectangle. On a GB = + =
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étail10 leçon 2. Leçon n 2 : Contact entre deux solides. Frottement de glissement. Exemples. (PC ou 1 er CU)
0 leçon 2 Leçon n 2 : Contact entre deu solides Frottement de glissement Eemples (PC ou er CU) Introduction Contact entre deu solides Liaisons de contact 2 Contact ponctuel 2 Frottement de glissement 2
Plus en détailELEC2753 Electrotechnique examen du 11/06/2012
ELEC2753 Electrotechnique examen du 11/06/2012 Pour faciliter la correction et la surveillance, merci de répondre aux 3 questions sur des feuilles différentes et d'écrire immédiatement votre nom sur toutes
Plus en détailPrésentation du logiciel
Chapitre A Présentation du logiciel R Pré-requis et objectif La lecture du chapitre sur l installation de R dans les Annexes peut se révéler utile. Ce chapitre présente les origines, l objectif et les
Plus en détailPolynômes à plusieurs variables. Résultant
Polynômes à plusieurs variables. Résultant Christophe Ritzenthaler 1 Relations coefficients-racines. Polynômes symétriques Issu de [MS] et de [Goz]. Soit A un anneau intègre. Définition 1.1. Soit a A \
Plus en détailNombres premiers. Comment reconnaître un nombre premier? Mais...
Introduction Nombres premiers Nombres premiers Rutger Noot IRMA Université de Strasbourg et CNRS Le 19 janvier 2011 IREM Strasbourg Definition Un nombre premier est un entier naturel p > 1 ayant exactement
Plus en détailMesure. Multimètre écologique J2. Réf : 251 055. Français p 1. Version : 0110
Français p 1 Version : 0110 Sommaire 1 Présentation... 2 1.1 Description... 2 1.2 Type d alimentation... 3 1.2.1 Alimentation par générateur... 3 1.2.2 Alimentation par piles... 3 2 Sécurité... 3 2.1 Signalétique
Plus en détailCours de Programmation 2
Cours de Programmation 2 Programmation à moyenne et large échelle 1. Programmation modulaire 2. Programmation orientée objet 3. Programmation concurrente, distribuée 4. Programmation monadique 5. Les programmes
Plus en détailIMMS-CELL-GSM. Kit de Communication Cellulaire IMMS-CELL- [GSM, ou GSM-E] Instructions d installation
IMMS-CELL-GSM Kit de Communication Cellulaire IMMS-CELL- [GSM, ou GSM-E] Instructions d installation TABLE DES MATIERES... Avant l installation... 1 Systèmes d exploitation : GSM et GSM-E...2 Données à
Plus en détailMODE OPERATOIRE OPENOFFICE BASE
MODE OPERATOIRE OPENOFFICE BASE Openoffice Base est un SGBDR : Système de Gestion de Base de Données Relationnelle. L un des principaux atouts de ce logiciel est de pouvoir gérer de façon efficace et rapide
Plus en détailChapitre 3. Quelques fonctions usuelles. 1 Fonctions logarithme et exponentielle. 1.1 La fonction logarithme
Chapitre 3 Quelques fonctions usuelles 1 Fonctions logarithme et eponentielle 1.1 La fonction logarithme Définition 1.1 La fonction 7! 1/ est continue sur ]0, +1[. Elle admet donc des primitives sur cet
Plus en détail* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable
Eo7 Fonctions de plusieurs variables Eercices de Jean-Louis Rouget Retrouver aussi cette fiche sur wwwmaths-francefr * très facile ** facile *** difficulté moenne **** difficile ***** très difficile I
Plus en détailIntelligence Artificielle Planification
Intelligence Artificielle Planification Bruno Bouzy http://web.mi.parisdescartes.fr/~bouzy bruno.bouzy@parisdescartes.fr Licence 3 Informatique UFR Mathématiques et Informatique Université Paris Descartes
Plus en détail