Equivalence in automata theory based on complete residuated lattice-valued logic

Fuzzy Sets and Systems

Volumn 158, Issue 13, 2007, Pages 1407-1422

  Xing, Hongyan ^a,b   Qiu, Daowen ^a   Liu, Fuchun ^a,b   Fan, Zhujun ^a  

^a SUN YAT SEN UNIVERSITY   (China)

^b GUANGDONG UNIVERSITY OF TECHNOLOGY   (China)

Author keywords

Equivalence; Fuzzy finite automata; Fuzzy languages; Nonclassical logic; Residuated lattice valued logic; Sequential machines

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; FUZZY LOGIC; FUZZY SETS; SEQUENTIAL MACHINES;

EQUIVALENCE; FUZZY FINITE AUTOMATA; FUZZY LANGUAGES; NONCLASSICAL LOGIC; RESIDUATED LATTICE-VALUED LOGIC;

AUTOMATA THEORY;

EID: 34248206740     PISSN: 01650114     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.fss.2007.01.008     Document Type: Article

References (34)

1. Booth T.L. Sequential Machines and Automata Theory (1968), Wiley, New York
2. Carlyle J.W. Reduced forms for stochastic sequential machines. J. Math. Anal. Appl. 7 (1963) 167-175
3. Eilenberg S. Automata, Languages and Machines Vol. A (1974), Academic Press, New York
4. Even S. Comments on the minimization of stochastic machines. IEEE Trans. Electron. Comput. 14 4 (1965) 634-637
5. Hopcroft J.E., Motwani R., and Ullman J.D. Introduction to Automata Theory, Languages and Computation. second ed. (2001), Addison-Wesley, Reading, MA
6. Klir G., and Yuan B. Fuzzy Sets and Fuzzy Logic: Theory and Applications (1995), Prentice-Hall PTR, NJ
7. E.T. Lee, L.A. Zadeh, Fuzzy languages and their acceptance by automata, In: Fourth Princeton Conference Information Science and Systems, 1970, p. 399.
8. Li Y., and Pedrycz W. Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids. Fuzzy Sets and Systems 156 1 (2005) 68-92
9. Malik D.S., and Mordeson J.N. Fuzzy Discrete Structures (2000), Physica-Verlag, Heidelberg, New York
10. Malik D.S., Mordeson J.N., and Sen M.K. On fuzzy regular languages. Inform. Sci. 88 (1996) 263-273
11. Malik D.S., Mordeson J.N., and Sen M.K. Minimization of fuzzy finite automata. Inform. Sci. 113 (1999) 323-330
12. Mordeson J.N., and Malik D.S. Fuzzy Automata and Languages: Theory and Applications (2002), Chapman & Hall, CRC, Boca Raton, London
13. Negoita C.V., and Ralescu D.A. Application of Fuzzy Sets to Systems Analysis (1975), Halsted Press, New York
14. J. Pavelka, On fuzzy logic I, II, III, Z. Math. Logik Grundlagen Math. (25) (1979) 45-52; 119-134; 447-464.
15. Paz A. Introduction to Probabilistic Automata (1971), Academic Press, New York, London
16. Peeva K. Equivalence, reduction and minimization of finite automata over semirings. Theoret. Comput. Sci. 88 (1991) 269-285
17. Peeva K. Finite L-fuzzy machines. Fuzzy Sets and Systems 141 (2004) 415-437
18. Qiu D.W. Automata theory based on complete residuated latticed-valued logic (I). Sci. China Ser. F 44 6 (2001) 419-429
19. Qiu D.W. Automata theory based on complete residuated latticed-valued logic (II). Sci. China Ser. F 45 6 (2002) 442-452
20. Qiu D.W. Supervisory control of fuzzy discrete event systems: a formal approach. IEEE Trans. Systems, Man, Cybernetics 35 1 (2005) 72-88
21. Qiu D.W. Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note. Fuzzy Sets and Systems 157 (2006) 2128-2138
22. Rabin M.O., and Scott D. Finite automata and their decision problems. IBM J. Res. Dev. 3 (1959) 114-125
23. Sanchez E.S. Resolution of composite fuzzy relation equations. Inform. and Control 30 (1976) 38-48
24. Santos E.S. Maximin automata. Inform. and Control 13 (1968) 363-377
25. Santos E.S. Max-product machines. J. Math. Anal. Appl. 37 (1972) 667-686
26. Santos E.S. On reduction of maxi-min machines. J. Math. Anal. Appl. 40 (1972) 60-78
27. Santos E.S. Fuzzy automata and languages. Inform. Sci. 10 (1976) 193-197
28. Shen J. Fuzzy languages on free monoid. Inform. Sci. 88 (1996) 149-168
29. Starke P.H. Abstract Automata (1969), VEB Deutscher Verlag der wiss, Berlin
30. Thomason M.G., and Marinos P.N. Deterministic acceptors of regular fuzzy languages. IEEE Trans. Systems, Man, Cybernetics 4 (1974) 228-230
31. Topencharov V.V., Peeva K.G., and Equivalence. reduction and minimization of finite fuzzy-automata. J. Math. Anal. Appl. 84 1 (1981) 270-281
32. G.J. Wang, Non-classical Mathematical Logics and Approximate Reasoning, Science Press, Beijing, 2000, pp. 207-274 (in Chinese).
33. W. Wechler, The Concept of Fuzziness in Automata and Language Theory, Akademie-Verlag, Berlin, 1978.
34. W. Wechler, V. Dimitrov, R-Fuzzy Automata, In: Information Processing 74, Proceedings of IFIP Congress 74, Stockholm, Sweden, August 5-10, 1974. North-Holland, 1974, 657-660.