Redundancy and subsumption in high-level replacement systems
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/93042
Tipus de documentReport de recerca
Data publicació1999-07
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
System verification in the broadest sense deals with those semantic
properties that can be decided or deduced by analyzing a syntactical
description of the system. Hence, one may consider the notions of
redundancy and subsumption in this context as they are known from the
area of rule-based systems. A rule is redundant if it can be removed
without affecting the semantics of the system; it is subsumed by
another rule if each application of the former one can be replaced by
an application of the latter one with the same effect. In this paper,
redundancy and subsumption are carried over from rule-based systems to
high-level replacement systems, which in turn generalize graph and
hypergraph grammars. The main results presented in this paper are a
characterization of subsumption and a sufficient condition for
redundancy, which involves composite productions.
CitacióValiente, G., Kreowski, H. "Redundancy and subsumption in high-level replacement systems". 1999.
Forma partR99-24
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
R99-24.pdf | 536,1Kb | Visualitza/Obre |