Conception et réalisation d'un système de définition, reconnaissance et manipulation d'arbres / Annie Despland

Date : 1982

Editeur / Publisher : [Lieu de publication inconnu] : [Éditeur inconnu] , 1982

Type : Livre / Book

Langue / Language : français / French

ISBN : 2-7261-0307-3

Arbres (théorie des graphes) -- Informatique

Langages de programmation

Classification Dewey : 510

Université Pierre et Marie Curie (Paris ; 1971-2017) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : QUELQUES THEORIES ALGEBRIQUES, BREF RESUME DU TRAVAIL DE KRON, ETUDE D'UN LANGAGE DE DESCRIPTION RUDIMENTAIRE, AUQUEL LA THEORIE DE L'UNIFICATION APPORTE UN SUPPORT FORMEL. UN LANGAGE PLUS ELABORE, LARGEMENT INSPIRE DES EXPRESSIONS REGULIERES. UNE SOLUTION POUR TESTER LE DETERMINISME DE LA GRAMMAIRE D'ARBRES, DE MEME INSPIRATION QUE CELLE RENCONTREE DANS LES AUTOMATES LR(K). CONSTRUCTION DE L'ARBRE DE DERIVATION A PARTIR DE L'ARBRE DONNE ET DES MODELES PROPOSES. ALGORITHMES DE CONSTRUCTION D'UN ANALYSEUR ET ESSAI DE COMPARAISON DE LEURS PERFORMANCES RESPECTIVES. EXEMPLES DES DIFFERENTES ETAPES DE CE SYSTEME QUI TOURNE ACTUELLEMENT SUR LE SYSTEME MULTICS DE L'INRIA