Preprint Article Version 1 Preserved in Portico This version is not peer-reviewed

Fuzzy Multiset Finite Automata: Some Algebraic and Lattice Theoretic Characterizations

Version 1 : Received: 14 August 2023 / Approved: 15 August 2023 / Online: 16 August 2023 (03:15:42 CEST)

How to cite: Ruhela, S.; Syropoulos, A.; Yadav, V.; Kumari, M.; Verma, S.; Yadav, S.; Sharma, B. Fuzzy Multiset Finite Automata: Some Algebraic and Lattice Theoretic Characterizations. Preprints 2023, 2023081133. https://doi.org/10.20944/preprints202308.1133.v1 Ruhela, S.; Syropoulos, A.; Yadav, V.; Kumari, M.; Verma, S.; Yadav, S.; Sharma, B. Fuzzy Multiset Finite Automata: Some Algebraic and Lattice Theoretic Characterizations. Preprints 2023, 2023081133. https://doi.org/10.20944/preprints202308.1133.v1

Abstract

The aim of this work is to broaden the theory of computation by making use of fuzzy sets and multisets, which are generalization of ordinary sets. We study fuzzy multiset finite automata (FMFA), which are characterized by the incorporation of vagueness when it comes to the choice of the next state and multiple occurrences of the same input symbol. The resulting automaton is a genaralization of both classical automata and fuzzy automata. We discuss the algebraic characteristics of FMFA sub-automata—separatedness, strongly connectedness, cyclic, directable, and triangular FMFA in terms of equivalence classes induced by an equivalence relation defined on state set of FMFA. Intrestingly, for a given FMFA, a new FMFA can be constructed that is a homomorphic image of the original FMFA. We define different posets structures that can be associated with a given FMFA and show that some of them are upper semilattices and discuss the inter-relationship of a given poset, a finite upper semilattice (FUSL), a FMFA and a posets/FUSL associated with a given FMFA. Finally, we introduce the concept of decomposition of a FMFA in two different ways and characterize the strongly connected, triangular and directable FMFA.

Keywords

Fuzzy Multiset finite automaton; Subautomaton of a FMFA; Upper semi-lattices; Strongly connected FMFA; Lower set; Principle lower set; Decomposition of a FMFA.

Subject

Computer Science and Mathematics, Computer Science

Comments (0)

We encourage comments and feedback from a broad range of readers. See criteria for comments and our Diversity statement.

Leave a public comment
Send a private comment to the author(s)
* All users must log in before leaving a comment
Views 0
Downloads 0
Comments 0
Metrics 0


×
Alerts
Notify me about updates to this article or when a peer-reviewed version is published.
We use cookies on our website to ensure you get the best experience.
Read more about our cookies here.