摘要:In this paper, we introduce a new paradigm – multiset-based tree model. We show that trees can be represented in the form of wellfounded multisets. We also show that the conventional approach for this representation is not injective from a set of trees to the class of multisets representing such trees. We establish a one-to-one correspondence between trees and suitable permutations of a wellfounded multiset, which we call tree structures. We give formal definitions of a tree structure and a subtree structure of a tree structure. Finally, we represent membrane structures in the form of tree structures – a form in which membrane structures can suitably be represented at programming level.
关键词:wellfounded multiset; saw-like structure; multiset-based tree structure; membrane structure.