Consider a class C of hyperedge-replacement graph grammars and a numeric function on graphs like the number of edges, the degree (i.e., the maximum of the degrees of all nodes of a graph), the number of simple paths, the size of a maximum set of independent nodes, etc. Each such function induces a Boundedness Problem for the class C: Given a grammar HRG in C, are the function values of all graphs in the language L(HRG), generated by HRG, bounded by an integer or not? We show that the Boundedness Problem is decidable if the corresponding function is compatible with the derivation process of the grammars in C and if it is composed of maxima, sums, and products in a certain way. This decidability result applies particularly to the examples listed above.
CITATION STYLE
Habel, A., Kreowski, H. J., & Vogler, W. (1989). Decidable boundedness problems for hyperedge-replacement graph grammars. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 351 LNCS, pp. 275–289). Springer Verlag. https://doi.org/10.1007/3-540-50939-9_138
Mendeley helps you to discover research relevant for your work.