Knuth-Bendix procedure and non deterministic behavior. An example

Abstract : In this note, we present and study a typical example to illustrate the non determinism of the Knuth-Bendix algorithm with respect to the ordering it uses. Our example shows how different orderings on terms lead to different completion processes, and how eleven different completion sessions produce only two different rewrite systems.
Type de document :
Rapport
[Research Report] RR-0733, INRIA. 1987
Liste complète des métadonnées

https://hal.inria.fr/inria-00075819
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 19:05:49
Dernière modification le : samedi 17 septembre 2016 - 01:06:52
Document(s) archivé(s) le : vendredi 13 mai 2011 - 15:30:31

Fichiers

Identifiants

  • HAL Id : inria-00075819, version 1

Collections

Citation

Isabelle Gnaedig. Knuth-Bendix procedure and non deterministic behavior. An example. [Research Report] RR-0733, INRIA. 1987. 〈inria-00075819〉

Partager

Métriques

Consultations de la notice

83

Téléchargements de fichiers

42