Term graphs are a kind of hypergraphs such that arbtrary graphs can be put to the place of their hyperedges. Each hyperedge in a term graph is labeled with a variable. A term graph is called regular if each variable attached to a hyperedge does not occur more than once. Let f be a regular term graph. If a regular term graph which is obtained from f by substituting any tree becomes also a tree, f is called a regular term tree. We study polynomial time inductive inference of regular term tree languages. This graph language is an extension of pattern languages of strings. We show that some classes of regular term tree languages of term caterpillars are polynomial time inductive inferable.
CITATION STYLE
Matsumoto, S., Hayashi, Y., & Shoudai, T. (1997). Polynomial time inductive inference of regular term tree languages from positive data. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1316, pp. 212–227). Springer Verlag. https://doi.org/10.1007/3-540-63577-7_45
Mendeley helps you to discover research relevant for your work.