Algebraic templates of -trees, similarity and templates generated by semantic schemas

摘要

In this paper we introduce the concepts of algebraic template and similar templates. An algebraic template is the greatest equivalence class of-trees generated bythe same nonterminal label and the split noetherian mapping. We show that the similarity relation is an equivalence one. Such templates can be generated by a semantic schema and we exemplify this case.