Abstract
This work furnishes mathematical apparatus for theoretical foundations of multisets as used in Algebraic, Modal and Temporal Logics. It establishes a sufficiently generalized concept of mappings on multisets, thus resolving a long-standing obstacle in the structural study of multiset processing. It has been shown that the mapping defined herein is applicable to a vast array of already defined rewriting problems within the domain of Theoretical Computer Science. Specifically, this paper unifies and generalizes the works of Parikh in Dassow (2000), Hickman (1980), Khomenko (2003) and Nazmul et al. (2013).
Similar content being viewed by others
References
Amir Amihood, Apostolico Alberto, Landau Gad M, Satta Giorgio(2003) Efficient text fingerprinting via Parikh mapping, Journal of Discrete Algorithms, 1(5,6):409–421
Burgin M.S(1992) Concept of multisets in Cybernetics, Kibernetika Sistemmyi Analiz (3): 165-167
Drămnesc I, Jebelean T(2020a). Deductive Synthesis of Min-Max-Sort Using Multisets in Theorema, in: 2020 IEEE 14th International Symposium on Applied Computational Intelligence and Informatics (SACI). Presented at the 2020 IEEE 14th International Symposium on Applied Computational Intelligence and Informatics (SACI), pp. 000165–000172. https://doi.org/10.1109/SACI49304.2020.9118814
Drămnesc I, Jebelean T(2020b). Deductive Synthesis of Bubble–Sort Using Multisets, in: 2020 IEEE 18th World Symposium on Applied Machine Intelligence and Informatics (SAMI). Presented at the 2020 IEEE 18th World Symposium on Applied Machine Intelligence and Informatics (SAMI), pp. 123–128. https://doi.org/10.1109/SAMI48414.2020.9108725
Felisiak PA, Qin K, Li G (2020) Generalized multiset theory. Fuzzy Sets and Systems, Theme: Generalized set theory 380:104–130. https://doi.org/10.1016/j.fss.2019.05.015
Gil-Pons R, Ramírez-Cruz Y, Trujillo-Rasua R, Yero IG (2019) Distance-based vertex identification in graphs: the outer multiset dimension. Appl Math Comput 363:124612. https://doi.org/10.1016/j.amc.2019.124612
Girish KP, John SJ (2009) Relations and functions in multiset context. Information Sciences 179:758–768
Hickman JL (1980) A note on the concept of multiset. Bull Austral Math Soc 22:211–217
Jena SP, Ghosh SK, Tripathy BK (2001) On the theory of bags and lists. Information Sciences 132:241–254
Juhani Karhumäki (1980) Generalized Parikh mappings and homomorphisms. Information and Control 47(3):155–165 (December)
Kharal Athar, Topological Structure of Multisets, (submitted)
Khomenko Victor, Model Checking Based on Prefixes of Petri Net Unfoldings, PhD Thesis (2003), School of Computing Science, University of Newcastle upon Tyne
Luo J, Tjahjadi T (2020) Multi-Set Canonical Correlation Analysis for 3D Abnormal Gait Behaviour Recognition Based on Virtual Sample Generation. IEEE Access 8:32485–32501. https://doi.org/10.1109/ACCESS.2020.2973898
Mateescu A, Salomaa A, Salomaa K, Yu S (2001) A sharpening of the Parikh mapping. Theoret Inform Appl 35:551–564
Manjunath AS, John SJ (2006) On bag relations. Bull Kerala Math Assoc 3(2):15–22
Nam H, Yu M (2020) How to determine a partition up to conjugation using multisets of hook lengths. Discrete Math 343:111969. https://doi.org/10.1016/j.disc.2020.111969
Nazmul Sk, Majumdar P, Samanta S.K. On multisets and multigroups, Annals of Fuzzy Mathematics and Informatics (to appear, available online since May 2013)
Dassow J(2000). Parikh Mapping and Iteration, in: Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View, WMP ’00. Springer-Verlag, Berlin, Heidelberg, pp. 85–102
Paun G, Perez-Jimenez MJ (2006) Membrane computing: brief introduction, recent results and applications. BioSystems 85:11–22
Satyanarayana K, El-Hajjar M, Mourad AAM, Pietraski P, Hanzo L (2020) Soft-decoding for multi-set space-time shift-keying mmWave systems: a deep learning approach. IEEE Access 8:49584–49595. https://doi.org/10.1109/ACCESS.2020.2973318
Singh D, Ibrahim AM, Yohanna T, Singh JN (2007) An overview of the applications of multisets. Novi Sad J Math 37(2):73–92
Wang Y (2019) A variant of the Stanley depth for multisets. Discrete Math 342:1325–1335. https://doi.org/10.1016/j.disc.2018.12.027
Zhang H, Zhang J, Liu Y, Jing L (2020) Multiset canonical correlations analysis with global structure preservation. IEEE Access 8:53595–53603. https://doi.org/10.1109/ACCESS.2020.2980964
Acknowledgements
The authors at King Saud University extend their appreciation to the Deanship of Scientific Research at King Saud University for funding this work through research group no. RG-1441-439
Funding
Three authors from King Saud University received funding for this work from Deanship of Scientific Research at King Saud University through research grant no. RG-1441-439
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
Each author of this article declares that he/she has no conflict of interest.
Ethical approval
This article does not contain any studies with human participants or animals performed by any of the authors.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Kharal, A., Alshehri, M.H., Turki, N.B. et al. Generalized mapping for multiset rewriting systems. Soft Comput 25, 11439–11448 (2021). https://doi.org/10.1007/s00500-021-06029-0
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-021-06029-0