Single-pushout hypergraph rewriting through free completions
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/83480
Tipus de documentReport de recerca
Data publicació1997-02
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
Different relationships between single-pushout rewriting of total and
partial unary algebras are studied in this paper. In general, given a
single-pushout transformation rule r of total algebras, a
corresponding single-pushout transformation rule r' of partial
algebras can be found such that single-pushout derivations by the
application of r are epireflections of single-pushout derivations
by the application of r' But, unlike the case of double-pushout
derivations, in this case single-pushout transformation rules of partial
algebras become "larger" than corresponding rules of total algebras.
Therefore, ad hoc methods are developed to compute pushouts of
partial homomorphisms through free completions which, in the case of
hypergraphs, may lead to a slight improvement in efficiency of
pattern-matching and to a moderate improvement in efficiency of
single-pushout transformations.
CitacióAlberich, R., Francesc, R., Valiente, G. "Single-pushout hypergraph rewriting through free completions". 1997.
Forma partLSI-97-12-R
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
R97-12.ps | 292,4Kb | Postscript | Visualitza/Obre |