New directions in general fuzzy automata: a dynamic-logical view

Document Type : Original Article

Authors

1 Dept. of Math., Faculty Member, Islamic Azad University, Shiraz, Iran

2 Dept. of Math., Graduate University of Advanced Technology, Kerman, Iran

3 Dept. of Math., Behbahan Khatam Alanbia University of Technology, Behbahan, Iran

10.22060/ajmc.2020.18629.1040

Abstract

In the current study, by a general fuzzy automaton we aim at showing a set of propositions related to a given automaton showing that the truth-values are depended on thestates, inputs and membership values of active states at time t. This new approach enables us to consider automata from a different point of view which is more close to logical treatment and helps us make estimations about the behavior of automaton particularly in a nondeterministic mode. The logic consists of propositions on the given GFA and its dynamic nature is stated by means of the so-called transition functor. This logic enables us to derive a certain relation on the set of states labeled by inputs. In fact, it is shown that if our set of propositions is large enough, this recovering of the transition relation is possible. Through a synthesis in the theory of systems, this study contributes to construct a general fuzzy automaton which realizes a dynamic process at least partially known to the user, which has been fully achieved in Theorem 3.6. Also, we study the theory of general fuzzy automata by using the concepts of operators. Such operators help us in the algebraic study of general fuzzy automata theory and provide a platform to use fuzzy topological therein. Further, a Galois connection is obtained between the state-transition relation on states and thetransition operators on propositions. To illustrate the proposed approach, the subject matter is more elaborated in detail through examples.

Keywords

Main Subjects


[1] K. Abolpour, M. M. Zahedi, M. Shamsizadeh, BL-general fuzzy automata and minimal realization: based on the associated categories, Iranian Journal of Fuzzy Systems, 17 (2020) 155-169.
[2] K. Abolpour, M. M. Zahedi, BL-general fuzzy automata and accept behavior, Journal of Applied Mathematics and Computations, 38 (2012) 103-118.
[3] K. Abolpour, M. M. Zahedi, Isomorphism between two BL-general fuzzy automata, Soft Computing, 16 (2012) 729-736.
[4] K. Abolpour, M. M. Zahedi, General fuzzy automata based on complete residuated lattice-valued, Iranian Journal of Fuzzy Systems, 14 (2017) 103-121.
[5] 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.
[6] A. Bisio, G. M. Dariano, P. Perinotti, A. Tosini, Free quantum field theory from quantum cellular automata, Foundations of Physics, 45 (2015) 1137-1152.
[7] I.Chajada, J. Paseka, Transition operators assigned to physical systems, Reports on Mathematical Physics, 78 (2016) 259-280.
[8] P. Das, A fuzzy topology associated with a fuzzy finite state machine, Fuzzy Sets and Systems, 105 (1999) 469-479.
[9] M. Doostfatemeh, S. C. Kremer, New directions in fuzzy automata, International Journal of Approximate Reasoning, 38 (2005) 175-214.
[10] W. M. L. Holcombe, Algebraic Automata Theory, Cambridge University Press, Cambridge 1982.
[11] M. Horry, M. M. Zahedi, Some (fuzzy) topologies on general fuzzy automata, Iranian Journal of Fuzzy Systems, 10 (2013), 73-89.
[12] M. Ito, Algebraic structures of automata, Theoretical Computer Science, 429 (2012) 164-168.
[13] J. H. Jin, Q. G. Li, Y. M. Li, Algebraic properties of L-fuzzy finite automata, Information Sciences, 234 (2013) 182-202.
[14] Y. H. Kim, J. G. Kim, S. J. Cho, Products of T-generalized state machines and T-generalized transformation semigroups, Fuzzy Sets and Systems, 93 (1998) 87-97.
[15] F. C. Liu, D. Qiu, Diagnosability of fuzzy discrete event systems: f Fuzzy approach, IEEE Transactions on Fuzzy Systems, 17 (2009) 372-384.
[16] D. S. Malik, J. N. Mordeson, M. K. Sen, Submachines of fuzzy finite state machine, The Journal of Fuzzy Mathematics, 2 (1994) 781-792.
[17] J. Mockor, A category of fuzzy automata, International Journal of General Systems, 20 (1991) 73-82.
[18] J. Mockor, Fuzzy and non-deterministic automata, Soft Computing, 3 (1999) 221-226.
[19] J. Mockor, Semigroup homomorphisms and fuzzy automata, Soft Computing, 6 (2002) 423-427.
[20] P. Pal, S. P. Tiwari, R. Verma, On different operators in automata theory based on residuated and co-residuated lattices, New Mathematics and Natural Computations, 15 (2019) 169-190.
[21] K. Peeva, Behavior, reduction and minimization of finite L-automata, Fuzzy Sets and Systems, 28 (1988) 171-181.
[22] K. Peeva, Fuzzy acceptors for syntactic pattern recognition, International Journal of Approximate Reasoning, 5 (1991) 291-306.
[23] D. Qiu, Automata theory based on complete residuated lattice-valued logic (I), Science in China Series F Information Sciences, 44 (2001) 419-429.
[24] D. Qiu, Automata theory based on complete residuated lattice-valued logic (II), Science in China Series F Information Sciences, 45 (2002) 442-452.
[25] D. Qiu, Automata theory based on quantum logic: some characterizations, Information and Computation, 190 (2004) 179-195.
[26] D. Qiu, Characterizations of fuzzy finite automata, Fuzzy Sets and Systems, 141 (2004) 391-414.
[27] E. S. Santos, Maximin automata, Information and Control, 12 (1968), 367-377.
[28] A. K. Srivastava, S. P. Tiwari, A topology for fuzzy automata, Lecture Notes in Artificial Intelligence, 2275 (2002) 485-490.
[29] S. P. Tiwari, V. Gautam B. Davvaz, On minimal realization for a fuzzy language and Brzozowskis algorithm, Journal of Intelligent & Fuzzy Systems, 29 (2015) 1949-1956.
[30] S. P. Tiwari, S. Sharan, Fuzzy automata based on lattice-ordered monoids with algebraic and topological aspects, Fuzzy Information and Engineering, 4 (2012) 155-164.
[31] S. P. Tiwari, A. K. Singh, S. Sharan, V. K. Yadav, Bifuzzy core of fuzzy automata, Iranian Journal of Fuzzy Systems, 12 (2015) 63-73.
[32] S. P. Tiwari, A. K. Srivastava, On a decomposition of fuzzy automata, Fuzzy Sets and Systems, 151 (2005) 503-511.
[33] S. P. Tiwari, V. K. Yadav, A. K. Singh, Construction of a minimal realization and monoid for a fuzzy language, a categorical approach, Journal of Applied Mathematics and Computing, 47 (2015) 401-416.
[34] V. Topencharov, K. Peeva, Equivalence, reduction and minimization of finite fuzzy automata, Journal of Mathematical Analysis and applications, 84 (1981) 270-281.
[35] W. G. Wee, On generalization of adaptive algorithm and application of the fuzzy sets concept to pattern classification, Ph.D. Thesis, Purdue University, Lafayette, IN, 1967.
[36] L. A. Zadeh, Fuzzy sets, Information and Control, 8 (1965) 338-353.