In this paper a new approach to divergence in Knuth-Bendix completion is presented. Given a term rewriting system R, whose completion diverges, a strategy can be defined to simulate the applicalion of the (infinitely many) rewrite rules derived from critical pairs without attempting any completion. This is done by applying some of the rules in R also as expansion rules.
A strategy to deal with divergent rewrite systems
1992
Abstract
In this paper a new approach to divergence in Knuth-Bendix completion is presented. Given a term rewriting system R, whose completion diverges, a strategy can be defined to simulate the applicalion of the (infinitely many) rewrite rules derived from critical pairs without attempting any completion. This is done by applying some of the rules in R also as expansion rules.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_453445-doc_172334.pdf
solo utenti autorizzati
Descrizione: A strategy to deal with divergent rewrite systems
Tipologia:
Versione Editoriale (PDF)
Dimensione
851.38 kB
Formato
Adobe PDF
|
851.38 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
