Normal view MARC view ISBD view

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

Auteur principal : Despland, Annie, AuteurAuteur secondaire collectivité : Université Pierre et Marie Curie, Paris, 1971-2017, Organisme de soutenanceLangue :de page de contenus, Français.Publication : [S.l.] : [s.n.], 1982Description : 1 vol. (147 p.) : ill. ; 30 cmISBN : 2-7261-0307-3.Dewey: 510Classification : 001.D.02Résumé : 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.Bibliographie: Bibliogr. p. 146.Thèse : .Sujet : STRUCTURE DE DONNEES ;ARBRE
Current location Call number Status Date due Barcode
Centre de recherche en informatique
EM AI CI1605 Sur demande

FRA . APPLICATION:

Bibliogr. p. 146

Thèse de 3e cycle Mathématiques appliquées Paris 6 1982

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

Powered by Koha