Algorithmes sur les mots (séquences)

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

Download "Algorithmes sur les mots (séquences)"

Transcription

1 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) sécurité informtique Livres : M.Crochemore, C.Hncrt, T.Lecroq, Algorithmique du texte, Vuiert Recherche d un motif dns un texte Recherche d un motif dns un texte T[1..n] texte P[1..m] motif Tâche : locliser toutes les occurrences de P dns T (vrintes : vérifier si P pprit dns T, compte le nomre d occurrences) T = P = Algorithme nïf : O(n m) T= = n P= = m

2 Recherche d un motif dns un texte Recherche d un motif dns un texte T = P = T = P = Recherche d un motif dns un texte Recherche d un motif dns un texte T = P = T = P =

3 Recherche d un motif dns un texte Recherche d un motif dns un texte T = P = T = P = Recherche d un motif dns un texte Recherche d un motif dns un texte T = P = T = P =

4 Recherche d un motif dns un texte Recherche d un motif dns un texte T = P = T = P = Recherche d un motif dns un texte Recherche d un motif dns un texte T = P = T = P =

5 Recherche d un motif dns un texte Recherche d un motif dns un texte T = P = T = P = Recherche d un motif dns un texte Recherche d un motif dns un texte T = P = T = P =

6 Recherche d un motif dns un texte Recherche d un motif dns un texte T = P = T = P = Recherche d un motif dns un texte Recherche d un motif dns un texte Quelques oservtions : à chque ps on progresse d une lettre dns le texte l étt de l recherche est défini pr les positions dns le texte et dns le motif le déclge du motif est défini en fonction de l position d échec dns le motif et l lettre du texte qui provoqué l échec Quelques oservtions : à chque ps on progresse d une lettre dns le texte l étt de l recherche est défini pr les positions dns le texte et dns le motif le déclge du motif est défini en fonction de l position d échec dns le motif et l lettre du texte qui provoqué l échec T = * * * * * * * * = = = P = * * * * * T = * * * * * * * * = = = P = * * * * * Automte fini!

7 Recherche d un motif dns un texte Recherche d un motif dns un texte P utomte fini étt! préfixe de P (position) q! P q = P[1..q] q+1, si =P[q+1] "(q,)= mx{ i P i est un suffixe de P q } sinon P = Algorithme qui en résulte : 1. Prétritement : clculer l utomte O(m A ) 2. Recherche : fire mrcher l utomte sur le texte O(n) But : otenir un lgorithme ne dépendnt ps de l tille d lphet Invrint: P q est le préfixe mximl de P qui est un suffixe de l prtie lue de T Algorithme de Knuth-Morris-Prtt Algorithme de Knuth-Morris-Prtt T = * * * * = = = P = Quels sont les déclges possiles du motif? Fonction d échec (de supplénce) : f(q)=mx{ k k<q et P k =P[1..k] est un suffixe de P q } q f(q) P = c

8 Algorithme de Knuth-Morris-Prtt Algorithme de Knuth-Morris-Prtt q f(q) P = c Automte de Knuth-Morris-Prtt c Une fois l fonction f clculée KMP(T[1..n],f) j=0 /* pointeur dns P */ for i=1 to n do while j#0 nd P[j+1]$T[i] do j=f(j) endwhile j=j+1 if j==m then output(occurrence de P à l position (i-m)) j=f(j) endif endfor Algorithme de Knuth-Morris-Prtt Algorithme de Knuth-Morris-Prtt Comment clculer l fonction d échec Clcul de l fonction d échec P i-1 i j 1 j 2 j 1 =f(i-1) j 2 =f(j 1 ) Décler le motif pr rpport à lui-même jusqu à ce que P[j q +1]=P[i] FE(P[1..m]) f[0]=-1 f[1]=0 k=0 for j=2 to m do while k#0 nd P[k+1]$P[j] do k=f(k) endwhile k=k+1 f(j)=k endfor

9 Algorithme de Knuth-Morris-Prtt Algorithme de Knuth-Morris-Prtt Version optimisée (KMP vs MP) Clcul de l fonction d échec optimisée h T = * * * * * = = P = c c h(3)=0 h fonction d échec optimisée q f(q) h(q) déclge inutile FE(P[1..m]) h[0]=-1 h[1]=0 k=0 for j=2 to m do while k#0 nd P[k+1]$P[j] do k=h(k) endwhile k=k+1 f(j)=k if P[j] $P[k] then h(j)=h(k) else h(j)=k endfor Algorithme de Knuth-Morris-Prtt Différence vec l pproche utomte : on peut «piétiner» sur une position de texte u plus log % m déclges sur une position, où %=(1+&5)/2 nomre d or Algorithme de Aho-Corsick Complexité mortie O(n) pour l recherche (KMP) O(m) pour le pré-tritement (FE) Historique : Morris-Prtt (1969), Knuth (1970)

10 Algorithme de Aho-Corsick Algorithme de Aho-Corsick Les idées de KMP peuvent se générliser pour l recherche simultnée de plusieurs motifs Algorithme de Aho-Corsick (1974) S={,, } rre digitl (trie) Algorithme de Aho-Corsick Algorithme de Aho-Corsick S={,, } S={,, } rre digitl (trie) + fonction d échec rre digitl (trie) + fonction d échec + étts finux

11 Algorithme de Aho-Corsick S={,, } rre digitl (trie) + fonction d échec + étts finux = Automte de Aho-Corsick (AC) L utomte de AC peut être construit en temps O(m) où m est l tille totle des mots de S 5 6 Algorithme de Krp-Rin (1987) 742 Algorithme de Krp-Rin Algorithme de Krp-Rin soit A={0,1,2,3,4,5,6,7,8,9} chque mot P[1..m] peut être encodé pr un nomre: p=p[1] 10 m-1 +P[2] 10 m-2 + +P[m-1] 10+P[m] p peut être clculé en temps O(m) vec le schém de Horner : p=p[m]+10 (P[m-1]+10 (P[m-2] (P[2]+10 P[1]) )) idée générle : comprer p successivement vec les codges t i de T[i..i+m-1], pour i=1..n-m+1 le pssge de t i à t i+1 se fit en temps constnt : t i+1 =10 (t i -10 m-1 T[i])+T[i+m] (en supposnt que 10 m-1 est pré-clculé) soit A={0,1,2,3,4,5,6,7,8,9} chque mot P[1..m] peut être encodé pr un nomre: p=p[1] 10 m-1 +P[2] 10 m-2 + +P[m-1] 10+P[m] p peut être clculé en temps O(m) vec le schém de Horner : p=p[m]+10 (P[m-1]+10 (P[m-2] (P[2]+10 P[1]) )) idée générle : comprer p successivement vec les codges t i de T[i..i+m-1], pour i=1..n-m+1 le pssge de t i à t i+1 se fit en temps constnt : t i+1 =10 (t i -10 m-1 T[i])+T[i+m] (en supposnt que 10 m-1 est pré-clculé) Prolème : les nomres mnipulés peuvent être très grnds Prde : mnipuler les nomres modulo q

12 Algorithme de Krp-Rin Algorithme de Krp-Rin on lors t i+1 =10 (t i -h T[i])+T[i+m] modulo q, où h=10 m-1 modulo q pssge de t i à t i+1 (illustrtion) : ttention, on peut voir des «fux positifs»! dès qu on trouve une fenêtre cndidte (t i =p), on vérifie en comprnt P et T[i..i+m-1] crctère pr crctère Algorithme de Krp-Rin l lgorithme nécessite un pré-tritement en O(m) et mrche en temps O(mn) dns le pire des cs en moyenne il mrche en temps O(n + m (v+n/q)) où v est le nomre d occurrences du motif très fcile à implémenter, plus efficce que l lgorithme nïf 747

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

Algorithme exhaustif Force brute. Algorithme de Boyer-Moore. Algorithme de Boyer-Moore. Algorithme de Boyer-Moore

Algorithme exhaustif Force brute. Algorithme de Boyer-Moore. Algorithme de Boyer-Moore. Algorithme de Boyer-Moore CSI2510 Structures de données et lgorithmes Recherche des motifs Chînes de crctères (string) Exemples de chînes (ou séquences) de crctères: Progrmme Jv HML document séquence DNA Imge numérique Un lphbet

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

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

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

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

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

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

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

Plus en détail

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

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

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

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

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

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

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

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

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

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

Les règles de Descartes et de Budan Fourier

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

Plus en détail

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

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

= K M est le plus petit langage (pour l inclusion ensembliste) solution de l équation ensembliste d inconnue X :

= K M est le plus petit langage (pour l inclusion ensembliste) solution de l équation ensembliste d inconnue X : MP fo-correction devoir surveillé n o 3, smedi 06 février 016 1/5 1 utour du lemme d rden Q1. On considère K et M deux lngges. Le lngge L défi pr L def = K M est le plus petit lngge (pour l clusion ensemliste)

Plus en détail

Reconnaissance de motifs. Problème localiser les segments d'un texte décrits par une expression rationnelle (régulière) r

Reconnaissance de motifs. Problème localiser les segments d'un texte décrits par une expression rationnelle (régulière) r Reconnissnce de motifs Prolème locliser les segments d'un texte décrits pr une expression rtionnelle (régulière) r texte t segment x décrit pr r Applictions édition : vi, emcs, sed, ed,... recherche :

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

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

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

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

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

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

PROJET INFORMATIQUE RECHERCHE DE SOUS-CHAÎNE DE CARACTERES

PROJET INFORMATIQUE RECHERCHE DE SOUS-CHAÎNE DE CARACTERES PROJET INFORMATIQUE RECHERCHE DE SOUS-CHAÎNE DE CARACTERES I-Présentation Un algorithme de recherche de sous-chaine est un type d'algorithme de recherche qui a pour objectif de trouver une chaîne de caractères

Plus en détail

Mesure de résistances

Mesure de résistances GEL 1002 Trvux prtiques Lortoire 2 1 Trvux prtiques Lortoire 2 (1 sénce) Mesure de résistnces Ojectifs Les ojectifs de cette phse des trvux prtiques sont : ) d utiliser déqutement l plquette de montge

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

Calculabilité. F. Sur - ENSMN. Motivation. 1 Motivation. 2 Que signifie calculer? 4 Classes de complexité. P et NP. d optimisation et.

Calculabilité. F. Sur - ENSMN. Motivation. 1 Motivation. 2 Que signifie calculer? 4 Classes de complexité. P et NP. d optimisation et. Cours de Tronc Commun Scientifique Recherche Opértionnelle Introduction à l clculilité Introduction à l clculilité 2 3 Frédéric Sur École des Mines de Nncy www.lori.fr/ sur/enseignement/ro/ 4 5 6 /34 2/34

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

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

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

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

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

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

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

Automates temporisés

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

Plus en détail

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

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

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

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

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

Plus en détail

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

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

Plus en détail

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

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

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

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

Plus en détail

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

Validation et génération de tableaux de Knuth-Morris-Pratt

Validation et génération de tableaux de Knuth-Morris-Pratt Validation et génération de tableaux de Knuth-Morris-Pratt Jean-Pierre Duval, Thierry Lecroq et Arnaud Lefebvre {Jean-Pierre.Duval,Thierry.Lecroq,Arnaud.Lefebvre}@univ-rouen.fr Laboratoire d Informatique,

Plus en détail

Analyse ascendante. Analyseur ascendant. Exemple. Exemple de reconnaissance. Exemple. Analyse ascendante : défis. Exemple de reconnaissance

Analyse ascendante. Analyseur ascendant. Exemple. Exemple de reconnaissance. Exemple. Analyse ascendante : défis. Exemple de reconnaissance Bureu 203 - etension M3 mirelle.neut t lifl.fr 2012-2013 2/93 nlyseur scendnt Eemple Effectue des lectures et des réductions ; construit un rre en ordre postfie ; en prtnt du mot à reconnître ; construction

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

MP1 Janson DS6 du 17 janvier 2014/2015. 1 n x.

MP1 Janson DS6 du 17 janvier 2014/2015. 1 n x. MP Jnson DS6 du 7 jnvier 24/25 Problème (CCP) Toutes les fonctions de ce problème sont à vleurs réelles. PARTE PRÉLMNARE Les résultts de cette prtie seront utilisés plusieurs fois dns le problème.. Fonction

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

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

Exercices reliés au chapitre 3

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

Plus en détail

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

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

Plus en détail

Recherche de Motifs. Samuel Blanquart, d après les supports de Hélène Touzet. AeA M1 informatique

Recherche de Motifs. Samuel Blanquart, d après les supports de Hélène Touzet. AeA M1 informatique Recherche de Motifs Samuel Blanquart, d après les supports de Hélène Touzet AeA M informatique Longtemps, je me suis couché de bonne heure. Parfois, à peine ma bougie éteinte, mes yeux se fermaient si

Plus en détail

SYSTEMES LOGIQUES LOGIQUE COMBINATOIRE

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

Plus en détail

Baccalauréat S Asie 19 juin 2014 Corrigé

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

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

Arbres Binaires de Recherche : Introduction

Arbres Binaires de Recherche : Introduction Arbres Binaires de Recherche : Introduction I. Guessarian cours ISN 11 janvier 2012 LIAFA, CNRS and University Paris Diderot 1/13 Arbre Binaire de Recherche Un Arbre Binaire de Recherche (ABR) est un arbre

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

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

Développements limités. Motivation. Exo7

Développements limités. Motivation. Exo7 Eo7 Développements limités Vidéo prtie. Formules de Tlor Vidéo prtie 2. Développements limités u voisinge d'un point Vidéo prtie 3. Opértions sur les DL Vidéo prtie 4. Applictions Eercices Développements

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

Arbre des suffixes - Recherche de répétitions

Arbre des suffixes - Recherche de répétitions Arre des suffixes - Reherhe de répétitions Arre des suffixes: Struture de données reflétnt les rtéristiques internes des séquenes Applition nturelle: Reherhe exte dns un texte Phse de prétritement: Constrution

Plus en détail

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

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

Plus en détail

EPUUniversité de Tours

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

Plus en détail

devant l Université de Rennes 1

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

Plus en détail

Cryptographie RSA. Introduction Opérations Attaques. Cryptographie RSA NGUYEN Tuong Lan - LIU Yi 1

Cryptographie RSA. Introduction Opérations Attaques. Cryptographie RSA NGUYEN Tuong Lan - LIU Yi 1 Cryptographie RSA Introduction Opérations Attaques Cryptographie RSA NGUYEN Tuong Lan - LIU Yi 1 Introduction Historique: Rivest Shamir Adleman ou RSA est un algorithme asymétrique de cryptographie à clé

Plus en détail

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

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

Plus en détail

Corrigé des exercices

Corrigé des exercices Chpitre 4 option informtiue Corrigé des exeries Automtes finis déterministes Exerie. Le lngge des mots ontennt u moins une fois l lettre :, 2. Le lngge des mots ontennt u plus une fois l lettre : 3. Le

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

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

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

Plus en détail

animeo La commande automatique de Somfy pour une gestion dynamique des façades

animeo La commande automatique de Somfy pour une gestion dynamique des façades nimeo L commnde utomtique de Somfy pour une gestion dynmique des fçdes nimeo Le système de Somfy pour une gestion dynmique des fçdes ENERGY SAVING solutions nimeo est une gmme de produits qui offre une

Plus en détail

Directive relative à la mise en oeuvre de grues et de machines de chantier à proximité de lignes électriques aériennes

Directive relative à la mise en oeuvre de grues et de machines de chantier à proximité de lignes électriques aériennes Directive reltive à l mise en oeuvre de grues et de mchines de chntier à proximité de lignes électriques ériennes 1 Chmp d ppliction Chmp d ppliction L présente directive s pplique ux trvux exécutés u

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

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

Equations d'état, travail et chaleur

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

Plus en détail

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

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

Techniques d analyse de circuits

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

Plus en détail

Lasers multicolores pour le diagnostic cellulaire

Lasers multicolores pour le diagnostic cellulaire Lsers multicolores pour le dignostic cellulire Nelly RONGEAT et Philippe NERIN Hori Medicl Vincent COUDERC et Philippe LEPROUX XLIM Guillume HUSS Leukos nelly.ronget@hori.com Le dignostic cellulire est

Plus en détail

Algorithmique et Analyse d Algorithmes

Algorithmique et Analyse d Algorithmes Algorithmique et Analyse d Algorithmes L3 Info Cours 11 : Arbre couvrant Prétraitement Benjamin Wack 2015-2016 1 / 32 La dernière fois Rappels sur les graphes Problèmes classiques Algorithmes d optimisation

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

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

(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

Examen M1 PluriTal : durée 1h

Examen M1 PluriTal : durée 1h Exmen M PluriTl : durée h Les documents ppiers ou digitles ne sont ps utorisés durnt l exmen. Exercice : Automte (3 Pts). Quel est le voculire V A de l utomte A? 2. Quel est le lngge L A reconnu pr l utomte

Plus en détail

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

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

Plus en détail

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

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

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

Plus en détail

OLYMPIADES ACADEMIQUES DE MATHEMATIQUES 2011 ACADEMIE DE BESANÇON

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

Plus en détail

Sources de photons jumeaux : des débats sur l intrication aux nouvelles technologies quantiques

Sources de photons jumeaux : des débats sur l intrication aux nouvelles technologies quantiques Sources de photons jumeux : des déts sur l intriction ux nouvelles technologies quntiques Sr DUCCI Lortoire Mtériux et Phénomènes Quntiques, Université Pris Diderot sr.ducci@univ-pris-diderot.fr L intriction

Plus en détail

Caractérisation de l épaisseur et du module d élasticité du béton des dalles par des techniques acoustiques

Caractérisation de l épaisseur et du module d élasticité du béton des dalles par des techniques acoustiques 1 ème Congrès Frnçis de Mécnique Bordeux, 6 u 30 oût 013 Crctéristion de l épisseur et du module d élsticité du éton des dlles pr des techniques coustiques N. RENAULT, P. PLIYA, J-L. GALLIAS. Lortoire

Plus en détail

/HVV\VWqPHVFRPELQDWRLUHV

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