Knuth-Bendix procedure and non deterministic behavior. An example - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1987

Knuth-Bendix procedure and non deterministic behavior. An example

Isabelle Gnaedig

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-0733.pdf (376.4 Ko) Télécharger le fichier

Dates and versions

inria-00075819 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00075819 , version 1

Cite

Isabelle Gnaedig. Knuth-Bendix procedure and non deterministic behavior. An example. [Research Report] RR-0733, INRIA. 1987. ⟨inria-00075819⟩
46 View
27 Download

Share

Gmail Facebook Twitter LinkedIn More