Finite automata theory with membership values in lattices

Information Sciences

Volumn 181, Issue 5, 2011, Pages 1003-1017

  Li, Yongming ^a  

^a SHAANXI NORMAL UNIVERSITY   (China)

Author keywords

Finite automata; Language; Lattice; Subset construction

Indexed keywords

DETERMINISTIC FINITE AUTOMATA; DISTRIBUTIVE LAWS; KLEENE THEOREM; LANGUAGE; LATTICE; MEMBERSHIP VALUES; MINIMIZATION ALGORITHMS; SUBSET CONSTRUCTION;

THEOREM PROVING;

AUTOMATA THEORY;

EID: 78650567159     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2010.11.006     Document Type: Article

References (33)

1. R. Bělohlávek Determinism and fuzzy automata Information Sciences 142 2002 205 209
2. G. Birkhoff Lattice Theory third ed. 1973 Amer. Math. Soc. Providence, Rhode Island, USA
3. M. Chechik, B. Devereux, A. Gurfinkel, and S. Easterbrook Multi-valued symbolic model-checking ACM Transactions on Software Engineering and Methodology 12 4 2004 1 38
4. M. Droste, and P. Gastin Weighted automata and weighted logics Theoretical Computer Science 380 2007 69 86
5. S. Eilenberg Automata, Languages and Machines vols. A, B 1974 Academic Press New York
6. C.A. Gama, A.G. Evsukoff, P. Weber, and N.F.F. Ebecken Parameter identification of recurrent fuzzy systems with fuzzy finite-state automata representation IEEE Transactions on Fuzzy Systems 16 1 2008 213 224
7. M.M. Gupta, and G.N. Saridis Fuzzy Automata and Decision Processes 1977 North-Holland New York
8. J.E. Hopcroft, and J.D. Ullman Introduction to Automata Theory, Languages and Computation 1979 Addison-Wesley New York
9. J. Ignjatović, and M. Ćirić Formal power series and regular operations on fuzzy languages Information Sciences 180 7 2010 1104 1120
10. J. Ignjatović, M. Ćirić, and S. Bogdanović Determinization of fuzzy automata with membership values in complete residuated lattices Information Sciences 178 1 2008 164 180
11. G. Kalmbach Orthomodular Lattices 1983 Academic Press London
12. S.C. Kleene Representation of events in nerve nets and finite automata C.E. Shannon, J. McCarthy, Automata Studies 1956 Princeton University Press Princeton, NJ 3 42
13. W. Kuich, and G. Rahonis Fuzzy regular languages over finite and infinite words Fuzzy Sets and Systems 157 2006 1532 1549
14. W. Kuich, and A. Salomaa Semirings, Automata Languages EATCS Monographs on Theoretical Computer Science vol. 5 1986 Springer-Verlag Berlin/Heidelberg/ New York/Tokyo
15. O. Kupferman, Y. Lustig, Lattice automata, in: Proceedings of VWCAI2007, LNCS, vol. 4349, 2007, pp. 199-213.
16. E.T. Lee, and L.A. Zadeh Note on fuzzy languages Information Sciences 1 1969 421 434
17. Y.M. Li, and Z.H. Li Free semilattices and strongly free semilattices generated by partially ordered sets Northeastern Mathematical Journal 9 3 1993 359 366
18. Y.M. Li Analysis of Fuzzy Systems 2005 Academic Press Beijing (in Chinese)
19. Y.M. Li, and W. Pedrycz Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids Fuzzy Sets and Systems 156 2005 68 92
20. Y.M. Li, and W. Pedrycz Minimization of lattice finite automata and its application to the decomposition of lattice languages Fuzzy Sets and Systems 158 2007 1423 1436
21. P. Li, and Y.M. Li Algebraic properties of LA-languages Information Sciences 176 2006 3232 3255
22. Z.H. Li, P. Li, and Y.M. Li The relationships among several types of fuzzy automata Information Sciences 176 2006 2208 2226
23. J.N. Mordeson, and D.S. Malik Fuzzy Automata and Languages: Theory and Applications 2002 Chapman & Hall/CRC Boca Raton, London
24. D.W. Qiu Automata theory based on complete residuated lattice-valued logic Science in China Series F 44 6 2001 419 429
25. D.W. Qiu Automata theory based on complete residuated lattice-valued logic (II) Science in China Series F 45 6 2002 442 452
26. D.W. Qiu Pumping lemma in automata theory based on complete residuated lattice-valued logic Fuzzy Sets and Systems 157 2006 2128 2138
27. D.W. Qiu Automata theory based on quantum logic: reversibilities and pushdown automata Theoretical Computer Science 386 2007 38 56
28. D.W. Qiu Automata theory based on quantum logic: some characterizations Information and Computation 190 2007 179 195
29. D.W. Qiu Notes on automata theory based on quantum logic Science in China Series F: Information Sciences 50 2 2007 154 169
30. M.O. Rabin, and D. Scott Finite automata and their decision problems IBM Journal of Research and Development 3 1959 114 125
31. M.P. Schützenberger On the definition of a family of automata Information and Control 4 1961 245 270
32. W. Wechler The Concept of Fuzzyiness in Automata and Language Theory 1978 Akademie-Verlag Berlin
33. M.S. Ying A theory of computation based on quantum logic (I) Theoretical Computer Science 344 2005 134 207