Vector simulations and minimal quotient automata in vector general fuzzy automata

Document Type : Original Manuscript

Authors

1 Department of Mathematics and Statistics, Faculty of Energy and Data Science, Behbahan Khatam Alanbia University of Technology, Behbahan, Iran.

2 Department of Mathematics, Shi.C., Islamic Azad University, Shiraz, Iran

3 Center for Information Technologies and Applied Mathematics, University of Nova Gorica, Slovenia.

Abstract

In this paper, we introduce the concept of vector simulation for vector general fuzzy automata (VGFAs). An algorithm is developed to decide vector simulation between two VGFAs in polynomial time. We prove that the union of vector simulations is again a vector simulation. For any VGFA, we construct its quotient automaton and show that the identity relation is the only vector simulation on the quotient, which implies its minimality.

Keywords

Main Subjects


[1] Z. Bavel, J. W. Thomas, On the decomposability of monadic algebras and automata, in: Proceedings of the 8th Annual Symposium on Switching and Automata Theory, (1967), 322-335. https://doi.org/10.1109/FOCS.1967. 24
[2] M. Doostfatemeh, S. C. Kremer, New directions in fuzzy automata, International Journal of Approximate Reasoning, 38(2) (2005), 175-214. https://doi.org/10.1016/j.ijar.2004.08.001
[3] D. Dubois, H. Prade, Fuzzy sets and systems: Theory and applications, Mathematics in Science and Engineering, 144, Academic Press, New York, NY, USA, 1980.
[4] W. M. L. Holcombe, Algebraic automata theory, Cambridge University Press, Cambridge, 1982.
[5] M. Ito, Algebraic structures of automata, Theoretical Computer Science, 429 (2012), 164-168. https://doi.org/ 10.1016/j.tcs.2011.12.035
[6] A. T. Jahromi, P. Karimaghaee, S. G. Haghighi, et al., Intelligent selective packet discarding using general fuzzy automata, in: 2008 IEEE International Conference on Systems, Man and Cybernetics, (2008), 3714-3720. https: //doi.org/10.1109/ICSMC.2008.4811877
[7] R. Kaur, A. Tripathi, State minimization of general finite fuzzy automata, International Journal of Mathematical, Engineering and Management Sciences, 6 (2021), 1709. https://doi.org/10.33889/IJMEMS.2021.6.6.101
[8] R. Kaur, A. Tripathi, Dynamic state general fuzzy automata under semantically similar environment: An application-based study on air pollution for smart cities 4.0, New Mathematics and Natural Computation, (2025), 1-24. https://doi.org/10.1142/S1793005727500189
[9] E. K. La Guardia, et al., On semi-vector spaces and semi-algebras with applications in fuzzy automata, Axioms, 13(5) (2024), 308. https://doi.org/10.3390/axioms13050308
[10] E. T. Lee, L. A. Zadeh, Note on fuzzy languages, Information Sciences, 1(4) (1969), 421-434. https://doi.org/ 10.1016/0020-0255(69)90025-5
[11] F. Lin, H. Ying, Modeling and control of fuzzy discrete event systems, IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 32(4) (2002), 408-415. https://doi.org/10.1109/TSMCB.2002.1018761
[12] D. S. Malik, J. N. Mordeson, Fuzzy discrete structures, Studies in Fuzziness and Soft Computing, 58, Physica Verlag, New York, NY, USA, 2000. https://doi.org/10.1007/978-3-7908-1838-3
[13] J. N. Mordeson, D. S. Malik, Fuzzy automata and languages: Theory and applications, Chapman and Hall/CRC, Boca Raton, FL, USA, 2002. https://doi.org/10.1201/9781420035643
[14] D. W. Qiu, Supervisory control of fuzzy discrete event systems: A formal approach, IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, 35(1) (2005), 72-88. https://doi.org/10.1109/TSMCB.2004.840457
[15] E. S. Santos, Maximin automata, Information and Control, 13(4) (1968), 363-377. https://doi.org/10.1016/ S0019-9958(68)90864-4
[16] E. S. Santos, On reduction of max-min machines, Journal of Mathematical Analysis and Applications, 40(1) (1972), 60-78. https://doi.org/10.1016/0022-247X(72)90031-5
[17] M. Shamsizadeh, E. Movahednia, M. De la Sen, Isomorphism between two vector general fuzzy automata, Infor matica, 34(3) (2023), 617-633. https://doi.org/10.15388/23-INFOR514
[18] M. G. Thomason, P. N. Marinos, Deterministic acceptors of regular fuzzy languages, IEEE Transactions on Systems, Man, and Cybernetics, SMC-4(2) (1974), 228-230. https://doi.org/10.1109/TSMC.1974.5409123
[19] R. J. Wai, Y. W. Lin, Adaptive moving-target tracking control of a vision-based mobile robot via a dynamic Petri recurrent fuzzy neural network, IEEE Transactions on Fuzzy Systems, 21(4) (2013), 688-701. https://doi.org/ 10.1109/TFUZZ.2012.2227974
[20] W. Wechler, The concept of fuzziness in automata and language theory, Akademie-Verlag, Berlin, Germany, 1978. https://doi.org/10.1515/9783112733356
[21] W. G. Wee, On generalizations of adaptive algorithm and application of the fuzzy sets concept to pattern classification, Ph.D. Dissertation, Purdue University, West Lafayette, IN, USA, 1967.
[22] G. D. Wu, P. H. Huang, A vectorization-optimization-method-based type-2 fuzzy neural network for noisy data classification, IEEE Transactions on Fuzzy Systems, 21(1) (2013), 1-15. https://doi.org/10.1109/TFUZZ.2012. 2197754