Confluence of Layered Rewrite Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Confluence of Layered Rewrite Systems

Résumé

We investigate the new, Turing-complete class of layered systems, whose lefthand sides of rules can only be overlapped at a multiset of disjoint or equal positions. Layered systems define a natural notion of rank for terms: the maximal number of non-overlapping redexes along a path from the root to a leaf. Overlappings are allowed in finite or infinite trees. Rules may be non-terminating, non-left-linear, or non-right-linear. Using a novel unification technique, cyclic unification, and the so-alled subrewriting relation, we show that rank non-increasing layered systems are confluent provided their cyclic critical pairs have cyclic-joinable decreasing diagrams.
Nous étudions la confluence des systèmes de règles sans hypothèse de terminaison.
Fichier principal
Vignette du fichier
CSL-StandAloneVersion.pdf (291.04 Ko) Télécharger le fichier
CSL-Presentation.pdf (145.63 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Format : Présentation
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01199062 , version 1 (15-09-2015)
hal-01199062 , version 2 (01-12-2015)

Identifiants

Citer

Jean-Pierre Jouannaud, Jiaxiang Liu, Mizuhito Ogawa. Confluence of Layered Rewrite Systems. Proceedings, 24th annual EATCS Computer Science Logic, Stephan Kreutzer, Sep 2015, Berlin, Germany. ⟨hal-01199062v1⟩
395 Consultations
112 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More