On minimal realization of IF-languages: A categorical approach

Document Type : Research Paper


1 Department of Mathematics, National Institute of Technology, Jamshedpur-831014, Jharkhand, India

2 Department of Applied Mathematics, Indian School of Mines, Dhanbad- 826004, Jharkhand, India


he purpose of this work is to introduce and study the concept of minimal deterministic automaton with IF-outputs which realizes the given IF-language. Among two methods for construction of such automaton presented here, one is based on Myhill-Nerode's theory while the other is based on derivatives of the given IF-language. Meanwhile, the categories of deterministic automata with IF-outputs and IF-languages alongwith a functorial relationship between them are introduced


[1] M. A. Arbib and E. G. Manes, Machines in a category: An expository introduction, SIAM
Review, 16 (1974), 285{302.
[2] K. T. Atanassov, Intuitionistic fuzzy sets, Fuzzy Sets and Systems, 20 (1986), 87{96.
[3] K. T. Atanassov, More on Intuitionistic fuzzy sets, Fuzzy Sets and Systems, 33 (1989), 37{45.
[4] A. Choubey and K. M. Ravi, Minimization of deterministic nite automata with vague ( nal)
states and intuitionistic fuzzy ( nal) states, Iranian Journal of Fuzzy System, 10 (2013), 75{
[5] T. Y. Chen, H. P. Wang and J. C. Wang, Fuzzy automata based on Atanassov fuzzy sets
and applications on consumers, advertising involvement, African Journal of Business Man-
agement, 6 (2012), 865{880.
[6] T. Y. Chen and C. C. Chou, Fuzzy automata with Atanassov's intuitionstic fuzzy sets and
their applications to product involvement, Journal of the Chinese Institute of Industrial En-
gineers, 26 (2009), 245{254.
[7] D. Dubois, S. Gottwald, P. Hajek, J. Kacprzyk and H. Prade, Terminological diculties in
fuzzy set theory the case of intuitionistic fuzzy sets, Fuzzy Sets and Systems, 156 (2005),
[8] J. A. Goguen, Minimal realization of machines in closed categories, Bulletin of American
Mathematical Society, 78 (1972), 777{783.
[9] J. Ignjatovic, M.  Ciric, S. Bogdanovic and T. Petkovic, Myhill-Nerode type theory for fuzzy
languages and automata, Fuzzy Sets and Systems, 161 (2010), 1288{1324.
[10] Y. B. Jun, Intuitionistic fuzzy nite state machines, Journal of Applied Mathematics and
Computing, 17 (2005), 109{120.
[11] Y. B. Jun, Quotient structures of intuitionistic fuzzy nite state machines, Information Sci-
ences, 177 (2007), 4977{4986.
[12] Y. H. Kim, J. G. Kim and S. J. Cho, Products of T-generalized state machines and T-
generalized transformation semigroups, Fuzzy Sets and Systems, 93 (1998), 87{97.
[13] H. V. Kumbhojkar and S. R. Chaudhri, On proper fuzzi cation of fuzzy nite state machines,
International Journal of Fuzzy Mathematics, 4 (2008), 1019{1027.
[14] E. T. Lee and L. A. Zadeh, Note on fuzzy languages, Information Sciences, 1 (1969), 421{434.
[15] F. Lin and H. Ying, Modeling and control of fuzzy discrete event systems, IEEE Transactions
on Systems, Man, and Cybernetics-Part B, 32 (2002), 408{415.
[16] D. S. Malik, J. N. Mordeson and M. K. Sen, Submachines of fuzzy nite state machine,
Journal of Fuzzy Mathematics, 2 (1994), 781{792.
[17] D. S. Malik and J. N. Mordeson, Fuzzy automata and languages: theory and applications,
Chapman Hall, CRC Boca Raton, 2002.
[18] D. Qiu, Supervisory control of fuzzy discrete event systems: A formal approach, IEEE Trans-
actions on Systems, Man, and Cybernetics-Part B, 35 (2005), 72{88.
[19] D. Qiu and F. Liu, Fuzzy discrete event systems under fuzzy observability and a test-
algorithm, IEEE Transactions on Fuzzy Systems, 17 (2009), 578{589.
[20] E. S. Santos, Maximin automata, Information and Control, 12 (1968), 367{377.
[21] A. K. Srivastava and S. P. Tiwari, IF-topologies and IF-automata, Soft Computing, 14 (2010),
[22] S. P. Tiwari and Anupam K. Singh, On bijective correspondence between IF-preorders and
saturated IF-topologies, International Journal of Machine Learning and Cybernetics, 4 (2013),
[23] S. P. Tiwari and Anupam K. Singh, IF-preorder, IF-topology and IF-automata, International
Journal of Machine Learning and Cybernetics, 6 (2015), 205{211.
[24] M. G. Thomason and P. N. Marinos, Deterministic acceptors of regular fuzzy languages,
IEEE Transactions Systems Man Cybernetics, 4 (1974), 228{230.
[25] W. G.Wee, On generalizations of adaptive algorithm and application of the fuzzy sets concept
to pattern classi cation, Ph. D. Thesis, Purdue University, Lafayette, IN 1967.
[26] L. A. Zadeh, Fuzzy Sets, Information and Control, 8 (1965), 338{353.
[27] L. A. Zadeh, Fuzzy languages and their relation to human and machine intelligence, Electrn.
Research Laboratory University California, Berkeley, CA,Technical Report 1971.
[28] X. Zhang and Y. Li, Intuitionistic fuzzy recognizers and intuitionistic fuzzy nite automata,
Soft Computing, 13 (2009), 611{616.