Plan du cours : les Arbres Généraux (2) LI101 : Programmation Récursive. Schéma récursif sur les arbres généraux

Transcription

1 Plan du cours : les Arbres Généraux (2) LI101 : Programmation Récursive c Equipe enseignante Li101 Université Pierre et Marie Curie Semestre : Automne 2008 Cours 11 : Arbres généraux (2) Plan Récursion Schéma Profondeur Liste préfixe Exemples d application Recueils des exercices Numérotation des noeuds Recherche d un noeud Traduction d un AG en HTML Rappel : récursion sur les arbres généraux Schéma récursif sur les arbres généraux Un arbre général est constitué : d une étiquette et d une forêt (liste) d arbres généraux Pour traiter un arbre général : traiter son étiquette traiter sa forêt (tous ses descendants directs) traiter chaque arbre de la forêt (parcourir la liste) On utilise généralement une récursion croisée On pourra utiliser les itérateurs map et reduce. Récursion sur un arbre ; ; ; arbrerec : ArbreGeneral[α] -> β (define (arbrerec G) (combinaison1 (ag-etiquette G) (foretrec (ag-foret G))) ) Récursion sur une forêt ; ; ; foretrec : Foret[α] -> γ ; ; ; ou aussi : foretrec : Liste[ArbreGeneral[α]] -> γ (define (foretrec F) (combinaison2 (arbrerec (car F)) (foretrec (cdr F))) base))

2 Schéma récursif sur les arbres généraux Nombre de noeuds Avec les itérateurs map et reduce. Récursion sur une forêt ; ; ; foretrec : Foret[α] -> γ ; ; ; ou aussi : foretrec : Liste[ArbreGeneral[α]] -> γ (define (foretrec F) (reduce combinaison2 base (map arbrerec F)) ) Récursion sur un arbre ; ; ; arbrerec : ArbreGeneral[α] -> β (define (arbrerec G) (combinaison1 (ag-etiquette G) (reduce combinaison2 base (map arbrerec (ag-foret G)))) ) Calcul du nombre de nœuds ; ; ; nombre-noeuds-arbre : ArbreGeneral[α] -> Nat ; ; ; (nombre-noeuds-arbre G) rend le nombre de nœuds de G (define (nombre-noeuds-arbre G) ; ; nombre-noeuds-foret : Foret[α] -> Nat ; ; (nombre-noeuds-foret F) rend le nombre de nœuds de F (define (nombre-noeuds-foret F) (+ (nombre-noeuds-arbre (car F)) (nombre-noeuds-foret (cdr F))) 0) ) (+ 1 (nombre-noeuds-foret (ag-foret G))) ) Nombre de nœuds version avec itérateurs Calcul du nombre de nœuds avec map et reduce ; ; ; nombre-noeuds-arbre : ArbreGeneral[α] -> Nat ; ; ; (nombre-noeuds-arbre G) rend le nombre de nœuds de G (define (nombre-noeuds-arbre G) ; ; nombre-noeuds-foret : Foret[α] -> Nat ; ; (nombre-noeuds-foret F) rend le nombre de nœuds de F (define (nombre-noeuds-foret F) (reduce + 0 (map nombre-noeuds-arbre F))) (+ 1 (nombre-noeuds-foret (ag-foret G))) ) ou mieux Calcul du nombre de nœuds (en vrai Scheme) (define (nombre-noeuds-arbre G) (reduce + 1 (map nombre-noeuds-arbre (ag-foret G))) ) Profondeur Calcul de la profondeur d un arbre ; ; ; ag-profondeur : ArbreGeneral[α] -> Nat ; ; ; (ag-profondeur G) rend la profondeur de G (define (ag-profondeur G) ; ; foret-prof : Foret[α] -> Nat ; ; (foret-prof F) rend la profondeur de F (define (foret-prof F) (max (ag-profondeur (car F)) (foret-prof (cdr F))) 0) ) (+ 1 (foret-prof (ag-foret G))) ) ou mieux Calcul de la profondeur (en vrai Scheme) (define (ag-profondeur G) (+ 1 (reduce max 0 (map ag-profondeur (ag-foret G)))) )

3 Liste préfixe Arbre représentant les recueils d exercices Liste préfixe d un arbre ; ; ; ag-liste-prefixe : ArbreGeneral[α] -> Liste[α] ; ; ; (ag-liste-prefixe G) rend la liste préfixe des étiquettes de G (define (ag-liste-prefixe G) ; ; foret-liste-prefixe : Foret[α] -> Liste[α] ; ; (foret-liste-prefixe F) rend la liste préfixe des étiquettes de F (define (foret-liste-prefixe F) (append (ag-liste-prefixe (car F)) (foret-liste-prefixe (cdr F))) (list)) ) (cons (ag-etiquette G) (foret-liste-prefixe (ag-foret G))) ) ou mieux Liste préfixe d un arbre (en vrai Scheme) (define (ag-liste-prefixe G) (reduce append () (map ag-liste-prefixe (ag-foret G))) ) Arbre représentant les recueils d exercices Liste des exercices

4 Liste des exercices Algorithme Récupérer toutes les étiquettes des feuilles d un arbre général G cas de base : G est une feuille on rend la liste constituée de l étiquette de cette feuille cas général : noeud qui possède une forêt l étiquette de la racine ne nous intéresse pas lister les étiquettes en feuille de tous les arbres de la forêt et en faire une liste Liste des exercices Liste des feuilles d une foret ; ; ; liste-exos-foret : Foret[alpha] -> Liste[alpha] ; ; ; (liste-exos-foret F) rend la liste des etiquettes en feuille des arbres de la foret (define (liste-exos-foret F) (append (liste-exos (car F)) (liste-exos-foret (cdr F))) (list))) Liste des feuilles d un arbre ; ; ; liste-exos : ArbreGeneral[alpha] -> Liste[alpha] ; ; ; (liste-exos AG) rend la liste des etiquettes en feuille de AG (define (liste-exos AG) (if (ag-feuille? AG) (list (ag-etiquette AG)) (liste-exos-foret (ag-foret AG)))) Liste des exercices (version map/reduce) Table des matières Liste des feuilles d un arbre (version map/reduce) ; ; ; liste-exos : ArbreGeneral[alpha] -> Liste[alpha] ; ; ; (liste-exos AG) rend la liste des etiquettes en feuille de AG (define (liste-exos-map AG) (if (ag-feuille? AG) (list (ag-etiquette AG)) (reduce append () (map liste-exos-map (ag-foret AG)))))

5 Table des matières Construction de la table des matières Algorithme Récupérer toutes les étiquettes de l arbre et leur ajouter leur niveau dans le recueil (numérotation) la racine est le titre du livre et est de niveau 1 chaque chapitre porte 2 numéros 1.N c 1 correspond au titre du livre Nc est numéro du chapitre chaque section porte 3 numéros : 1.N c.n s 1 correspon titre du livre, N c au numéro de chapitre Ns est le numéro de la section dans le chapitre chaque exercice porte 4 numéros : 1.N c.n s.n e 1, N c, N s : le numéro de la section N e est le numéro de l exercice dans la section Algorithme On a besoin de la valeur de la numérotation (niveau) n de la racine pour numéroter les noeuds de l arbre AG cas de base : AG est une feuille on rend la liste contenant l étiquette de AG en lui rajoutant le numéro n en tête cas général : AG possède une forêt on traite l étiquette en lui rajoutant le numéro n en tête on construit la liste des étiquettes des sous-arbres, on donne au sous-arbres leur numéro local i.e dans la foret : 1 pour le premier, 2 pour le second... on ajoute n devant tous les numéros obtenus Fonctions utiles (1) Convertir un chiffre en une chaîne ; ; ; chiffre->string : Nat -> string ; ; ; (chiffre->string n) rend la chaine représentant n ; ; ; Hypothese : n est plus petit que 10 (define (chiffre->string n) (cond ((= n 0) 0 ) ((= n 1) 1 ) ((= n 2) 2 ) ((= n 3) 3 ) ((= n 4) 4 ) ((= n 5) 5 ) ((= n 6) 6 ) ((= n 7) 7 ) ((= n 8) 8 ) (else 9 ))) Fonctions utiles (2) Convertir un entier naturel en une chaîne ; ; ; nombre->string : Nat -> string ; ; ; (nombre->string n) rend la chaine représentant n (define (nombre->string n) (if (< n 10) (chiffre->string n) (string-append (nombre->string (quotient n 10)) (chiffre->string (remainder n 10)))))

6 Fonctions utiles (3) Liste des étiquettes numérotées d un AG de niveau n Ajouter un numéro à une étiquette d un arbre ; ; ; ajouten-etiquette : Nat * ArbreGeneral[string] -> String ; ; ; (ajouten-etiquette n AG) rend l étiquette de AG préfixée n : (define (ajouten-etiquette n AG) (string-append (nombre->string n) : (ag-etiquette AG))) ; ; ; listeetiqnum-arbre : Nat * ArbreGeneral[String] -> Liste[String] cas de base : AG est une feuille on rend la liste contenant l étiquette de AG préfixée par son numéro n cas général : AG possède une forêt construire la liste des étiquettes des sous-arbres, il faut donner aux sous-arbres leur niveau dans la foret : 1 pour le premier, 2 pour le second... ; ; ; listeetiqnum-foret : Nat * Foret[String] -> Liste[String] ajouter n, le niveau de AG, devant tous les numéros obtenus construire la liste finale = ajouter en tête de la liste obtenue l étiquette de AG préfixée par son numéro n Liste des étiquettes numérotées d un AG de niveau n Liste des étiquettes numérotées d une forêt ; ; ; listeetiqnum-arbre : Nat * ArbreGeneral[String] -> Liste[String] ; ; ; (listeetiqnum-arbre n AG) rend la liste des etiquettes de AG préfixées ; ; ; par leur niveau dans l arbre. n donne le niveau de l etiquette de AG. (define (listeetiqnum-arbre n AG) ; ; ; metnentete : String->String ; ; ; (metnentete s) rend s prefixee par n (define (metnentete s) (string-append (nombre->string n). s)) (cons (ajouten-etiquette n AG) (map metnentete (listeetiqnum-foret 1 (ag-foret AG))))) Liste des étiquettes numérotées d une forêt ; ; ; listeetiqnum-foret : Nat*Foret[String] -> Liste[String] ; ; ; (listeetiqnum-foret n F) rend la liste des étiquettes de F avec leur ; ; ; numérotation dans la forêt en comptant à partir de n : ; ; ; le premier arbre de F a le numéro n, le second (n + 1),... (define (listeetiqnum-foret n F) (append (listeetiqnum-arbre n (car F)) (listeetiqnum-foret (+ n 1) (cdr F))) (list)))

7 Table des matières Recherche d un noeud dans un AG Pour obtenir la table des matières, il ne manque plus que la fonction : Table associée à un AG ; ; ; tdm : ArbreGeneral[String] -> Liste[String] ; ; ; (tdm AG) rend la liste représentant la table des matières de AG (define (tdm AG) (listeetiqnum-arbre 1 AG)) Connaissant un numéro dans la table des matières, comment obtenir le contenu de l étiquette correspondant? Le numéro est donné sous la forme d une liste : ( ) On doit parcourir cette liste et se déplacer dans l arbre général en même temps Table des matières Algorithme de recherche d un noeud dans un AG Algorithme Étant donnés la position L et AG recherche dans AG : si L est vide : on rend faux sinon, si sa première valeur n est pas 1 : on rend faux sinon, si L ne contient qu une valeur : on rend l etiquette de AG sinon : il faut chercher dans la foret avec la position dénotée par le (cdr L) qui est non vide recherche dans une forêt avec une position L non vide si F n est pas vide si le premier numéro dans L vaut 1 alors on doit aller chercher dans le premier arbre de la forêt avec la position L sinon, il faut décrémenter le premier numéro de L et aller chercher dans les autres arbres de la forêt avec cette nouvelle position si F est vide : on rend faux

8 Recherche d un noeud à une position donnée Recherche dans une forêt ; ; ; rechercheforet : Liste[Nat] * Foret[alpha] -> alpha + #f ; ; ; (rechercheforet L F) rend l étiquette du noeud en position ; ; ; donnée par L, ou faux si cette position n existe pas ; ; ; HYPOTHESE : L est non vide Recherche dans un arbre ; ; ; recherchearbre : Liste[Nat] * ArbreGeneral[alpha] -> alpha + #f ; ; ; (recherchearbre L AG) rend l étiquette du noeud en position ; ; ; donnée par L, ou faux si cette position n existe pas Recherche d un noeud à une position donnée Recherche dans un arbre ; ; ; recherchearbre : Liste[Nat] * ArbreGeneral[alpha] -> alpha + #f (define (recherchearbre L AG) (cond ((not (pair? L)) #f) ((not (= (car L) 1)) #f) ((not (pair? (cdr L))) (ag-etiquette AG)) (else (rechercheforet (cdr L) (ag-foret AG))))) Recherche dans une forêt ; ; ; rechercheforet : Liste[Nat] * Foret[alpha] -> alpha + #f ; ; ; HYPOTHESE : Liste non vide (define (rechercheforet L F) (if (= (car L) 1) (recherchearbre L (car F)) (rechercheforet (cons (- (car L) 1) (cdr L)) (cdr F))) #f)) Exemple de recherches Affichage en HTML

9 Structure de base d un document HTML Type d un document HTML Un document commence toujours par préciser son type. Exemple <!DOCTYPE HTML PUBLIC -//W3C//DTD HTML 4.01 Transitional//EN > <html> <head> <title>table des matières</title> </head> <body> contenu de la page </body> </html> Mise en forme du texte en HTML Règles d écriture en HTML Les balises définissent les règles d affichage du texte à afficher par le navigateur. Mise du texte en gras : b Mise du texte en italique : i Souligner le texte : u Faire clignoter le texte : blink Augmenter la taille du texte (titre) : h1 à h6 Passer à la ligne : br etc. les balises encadrent le texte qu elles régissent : ouverture d une balise : <nom-de-la-balise> fermeture d une balise : </nom-de-la-balise> Les balises peuvent s imbriquer mais ne doivent pas se chevaucher modèle du parenthésage

10 D autres balises Série numérotée en HTML (source) On peut définir des puces à afficher les unes à la suite des autres La balise li permet de délimiter un élément d une série La balise ul définit une série non numérotée d éléments La balise ol définit une série numérotée d éléments Série numérotée en HTML (affichage) Entête et fin d une page HTML Entête d une page HTML ; ; ; headerhtml : ->String ; ; ; (headerhtml) rend l entete obligatoire de tout fichier HTML (define (headerhtml) (string-append <!DOCTYPE HTML PUBLIC -//W3C//DTD HTML 4.01 Transitional//EN > <html> <head> <meta http-equiv= Content-Type content= text/html ;charset=iso > <title>table des matières</title> </head> <body> ))

11 Entête et fin d une page HTML Fonction de création du HTML Fin d une page HTML ; ; ; bottomhtml : ->String ; ; ; (bottomhtml) rend la terminaison obligatoire de tout fichier HTML (define (bottomhtml) (string-append </body> </html> )) Création HTML ; ; ; ag2html : ArbreGeneral[String] -> String ; ; ; (ag2html AG) rend la chaine contenant le code HTML complet ; ; ; permettant d afficher AG dans une page web. (define (ag2html AG) (string-append (headerhtml) <ul> (ag2puceshtml AG) </ul> (bottomhtml))) Fonction de création du HTML Fonction de création du HTML Création HTML à partir d un arbre ; ; ; ag2puceshtml : ArbreGeneral[String] -> String ; ; ; (ag2html AG) rend la chaine de caractères qui correspond à ; ; ; la mise en puces HTML de l arbre AG (define (ag2puceshtml AG) (if (ag-feuille? AG) (string-append <li> (ag-etiquette AG) </li> ) (string-append <li> (ag-etiquette AG) <ul> (foret2puceshtml (ag-foret AG)) </ul> </li> ))) Création HTML à partir d une forêt ; ; ; foret2puceshtml : Foret[String] -> String ; ; ; (foret2puceshtml F) rend la chaine de caractères qui correspond à ; ; ; la mise en puces HTML de la forêt F (define (foret2puceshtml F) (string-append (ag2puceshtml (car F)) (foret2puceshtml (cdr F))) ))

12 Chaine contenant le code HTML Affichage en HTML