Resolution d'equations sur les mots : etude et implementation lisp de l'algorithme de makanin

par Habib Abdulrab

Thèse de doctorat en Sciences appliquées

Sous la direction de J. P. DUVAL.

Soutenue en 1987

à Rouen .

    mots clés mots clés


  • Résumé

    Introduction de certaines notions et quelques ameliorations et simplifications de l'algorithme de makanin. L'objectif est de donner une nouvelle version poursuivant l'etude de cet algorithme et de realiser une implementation permettant de traiter des equations non triviales. Proposition d'un systeme interactif ecrit en lisp fonctionnant sur vax 780 sous unix et sur machine-lisp. Ce systeme permet de visualiser les equations en position de l'arborescence, calculer une solution de l'equation a resoudre et fournit un outil permettant de comprendre, experimenter et etudier cet algorithme


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 266 P.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rouen. Service commun de la documentation. Section sciences site Madrillet.
  • Disponible pour le PEB
  • Cote : 87/ROUE/S013
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.