Finite automata theory with membership values in lattices

In this paper, we study finite automata with membership values in a lattice, which are called lattice-valued finite automata. The extended subset construction of lattice-valued finite automata is introduced, then the equivalences between lattice-valued finite automata, lattice-valued deterministic finite automata and lattice-valued finite automata with @e-moves are proved. A simple characterization of lattice-valued languages recognized by lattice-valued finite automata is given, then it is proved that the Kleene theorem holds in the frame of lattice-setting. A minimization algorithm of lattice-valued deterministic finite automata is presented. In particular, the role of the distributive law for the truth valued domain of finite automata is analyzed: the distributive law is not necessary to many constructions of lattice-valued finite automata, but it indeed provides some convenience in simply processing lattice-valued finite automata.

[1]  Nelson F. F. Ebecken,et al.  Parameter Identification of Recurrent Fuzzy Systems With Fuzzy Finite-State Automata Representation , 2008, IEEE Transactions on Fuzzy Systems.

[2]  Daowen Qiu,et al.  Automata theory based on quantum logic: Reversibilities and pushdown automata , 2007, Theor. Comput. Sci..

[3]  Radim Belohlávek,et al.  Determinism and fuzzy automata , 2002, Inf. Sci..

[4]  George Rahonis,et al.  Fuzzy regular languages over finite and infinite words , 2006, Fuzzy Sets Syst..

[5]  Qiu Daowen,et al.  Automata theory based on complete residuated lattice-valued logic , 2001 .

[6]  Samuel Eilenberg,et al.  Automata, languages, and machines. A , 1974, Pure and applied mathematics.

[7]  Arto Salomaa,et al.  Semirings, Automata and Languages , 1985 .

[8]  Mingsheng Ying,et al.  A theory of computation based on quantum logic (I) , 2004, 2005 IEEE International Conference on Granular Computing.

[9]  守屋 悦朗,et al.  J.E.Hopcroft, J.D. Ullman 著, "Introduction to Automata Theory, Languages, and Computation", Addison-Wesley, A5変形版, X+418, \6,670, 1979 , 1980 .

[10]  Berndt Farwer,et al.  ω-automata , 2002 .

[11]  S C Kleene,et al.  Representation of Events in Nerve Nets and Finite Automata , 1951 .

[12]  Miroslav Ciric,et al.  Formal power series and regular operations on fuzzy languages , 2010, Inf. Sci..

[13]  M. W. Shields.  An Introduction to Automata Theory , 1988 .

[14]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[15]  邱道文.  Automata theory based on complete residuated lattice—valued logic（II） , 2001 .

[16]  Madan M. Gupta,et al.  Fuzzy automata and decision processes , 1977 .

[17]  Daowen Qiu,et al.  Notes on automata theory based on quantum logic , 2007, Science in China Series F: Information Sciences.

[18]  A. Salomaa.  Wechler, W., The Concept of Fuzziness in Automata and Language Theory. Studien zur Algebra und ihre Anwendungen 5. Berlin, Akademie‐Verlag 1978. 148 S., M 27,– , 1980 .

[19]  Dana S. Scott,et al.  Finite Automata and Their Decision Problems , 1959, IBM J. Res. Dev..

[20]  Eugene S. Santos.  Fuzzy automata and languages , 1976, Information Sciences.

[21]  K. Peeva.  Fuzzy automata and languages: theory and applications , 2004 .

[22]  Zhihui Li,et al.  The relationships among several types of fuzzy automata , 2006, Inf. Sci..

[23]  Arto Salomaa,et al.  Semirings, Automata, Languages , 1985, EATCS Monographs on Theoretical Computer Science.

[24]  Lotfi A. Zadeh,et al.  Note on fuzzy languages , 1969, Inf. Sci..

[25]  Daowen Qiu,et al.  Pumping lemma in automata theory based on complete residuated lattice-valued logic: A note , 2006, Fuzzy Sets Syst..

[26]  Ping Li,et al.  Algebraic properties of LA-languages , 2006, Inf. Sci..

[27]  Marsha Chechik,et al.  Multi-valued symbolic model-checking , 2003, TSEM.

[28]  Daowen Qiu.  Automata theory based on complete residuated lattice-valued logic , 2007, Science in China Series : Information Sciences.

[29]  Witold Pedrycz,et al.  Minimization of lattice finite automata and its application to the decomposition of lattice languages , 2007, Fuzzy Sets Syst..

[30]  Witold Pedrycz,et al.  Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids , 2005, Fuzzy Sets Syst..

[31]  W. Wechler.  The concept of fuzziness in automata and language theory , 1978 .

[32]  G. Kalmbach.  On Orthomodular Lattices , 1990 .

[33]  Daowen Qiu,et al.  Automata theory based on quantum logic: some characterizations , 2004, Inf. Comput..

[34]  Marcel Paul Schützenberger,et al.  On the Definition of a Family of Automata , 1961, Inf. Control..

[35]  Orna Kupferman,et al.  Lattice Automata , 2007, VMCAI.

[36]  Miroslav Ciric,et al.  Determinization of fuzzy automata with membership values in complete residuated lattices , 2008, Inf. Sci..