Résolution d'équations sur les mots : étude et implémentation Lisp de l'algorithme de Makanin

Solving equations in words: study and implementation of Makanin's algorithm

• Auteur / Autrice : Habib Abdulrab
• Direction : Jean-Pierre Duval
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1987
• Etablissement(s) : Rouen

Mots clés

Mots clés contrôlés

Complexité de calcul (informatique)

LISP (langage de programmation)

Systèmes conversationnels (informatique)

Algorithmes

Mots clés libres

Sciences appliquées

Informatique, automatique théorique, systèmes

Algorithmique

Système conversationnel

Résolution équation

Lisp

Etude théorique

Complexité

Informatique théorique

Thèse

Makanin

Algorithmics

Interactive system

Equation resolution

Lisp language

Theoretical study

Complexity

Computer theory

Thesis

Résumé

Introduction de certaines notions et quelques améliorations et simplifications de l'algorithme de Makanin. L'objectif est de donner une nouvelle version poursuivant l'étude de cet algorithme et de réaliser une implémentation permettant de traiter des équations non triviales. Proposition d'un système interactif écrit en Lisp fonctionnant sur VAX 780 sous UNIX et sur machine Lisp. Ce système permet de visualiser les équations en position de l'arborescence, calculer une solution de l'équation à résoudre et fournit un outil permettant de comprendre, expérimenter et étudier cet algorithme