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

Nicolae Tandareanu, Cristina Zamfir


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.

Full Text: