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

Abstract

In this paper we introduce the concepts of algebraic template and similar templates. An algebraic template is the greatest equivalence class of ω-trees generated by the 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.