Automata theory based on complete residuated lattice-valued logic: Reduction and minimization

Automata theory based on complete residuated lattice-valued logic, called L-valued finite automata (L-VFAs), has been established by Qiu recently. In this paper, we define a kind of Mealy type of L-VFAs (MLFAs), a generalization of L-VFAs. Two kinds of statewise equivalence relations are introduced, and a minimal form is defined. We study the existence of the minimal form of an MLFA. Then, we show that any two states can be distinguished by some word with finite length. Also, a minimization algorithm of the MLFAs is presented. In addition, we obtain a minimization algorithm for L-VFAs as well. Finally, we define L-valued languages (L-VLs) and L-valued regular languages (L-VRLs) recognized by L-VFAs, and provide some properties of L-VRLs.

[1]  Daowen Qiu,et al.  Equivalence in automata theory based on complete residuated lattice-valued logic , 2007, Fuzzy Sets Syst..

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

[3]  K. Peeva,et al.  Computing behavior of finite fuzzy machines - Algorithm and its application to reduction and minimization , 2008, Inf. Sci..

[4]  N. C. Basak,et al.  On quotient machines of a fuzzy automaton and the minimal machine , 2002, Fuzzy Sets Syst..

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

[6]  Stavros Konstantinidis,et al.  Fuzzification of Rational and Recognizable Sets , 2007, Fundam. Informaticae.

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

[8]  Atwell R. Turquette,et al.  On the Many-Valued Logics , 1941 .

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

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

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

[12]  N. Rescher.  Many Valued Logic , 1969 .

[13]  Daowen Qiu,et al.  A note on Trillas' CHC models , 2007, Artif. Intell..

[14]  Witold Pedrycz,et al.  The equivalence between fuzzy Mealy and fuzzy Moore machines , 2006, Soft Comput..

[15]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[16]  Daowen Qiu,et al.  Characterizations of fuzzy finite automata , 2004, Fuzzy Sets Syst..

[17]  W. Pedrycz,et al.  Fuzzy Relation Equations and Their Applications to Knowledge Engineering , 1989, Theory and Decision Library.

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

[19]  A. R. Turquette,et al.  On the Many-Valued Logics , 1941 .

[20]  T. Stankowich.  Behavior , 2009, The Quarterly Review of Biology.

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

[22]  M. Nivat.  Fiftieth volume of theoretical computer science , 1988 .

[23]  Karvel K. Thornber,et al.  Equivalence in knowledge representation: automata, recurrent neural networks, and dynamical fuzzy systems , 1999, Proc. IEEE.

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

[25]  George Rahonis,et al.  Infinite fuzzy computations , 2005, Fuzzy Sets Syst..

[26]  Eugene S. Santos,et al.  Maximin Automata , 1968, Inf. Control..

[27]  Karvel K. Thornber,et al.  Fuzzy finite-state automata can be deterministically encoded into recurrent neural networks , 1998, IEEE Trans. Fuzzy Syst..

[28]  Ketty Peeva,et al.  Finite 𝕃-fuzzy machines , 2004, Fuzzy Sets Syst..

[29]  Daowen Qiu,et al.  Supervisory control of fuzzy discrete event systems: a formal approach , 2005, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[30]  R. P. Dilworth.  Abstract Residuation over Lattices , 1938 .

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

[32]  K. Peeva.  Behaviour, reduction and minimization of finite :G6-automata , 1988 .

[33]  Yongming Li,et al.  Minimization of states in automata theory based on finite lattice-ordered monoids , 2007, Inf. Sci..

[34]  Yongming Li.  A categorical approach to lattice-valued fuzzy automata , 2006, Fuzzy Sets Syst..

[35]  L. Peeva,et al.  Equivalence, Reduction and Minimization of Finite Automata over Semirings , 1991, Theor. Comput. Sci..

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

[37]  Lotfi A. Zadeh,et al.  Toward a generalized theory of uncertainty (GTU) - an outline , 2005, GrC.

[38]  Patrick Lincoln,et al.  Linear logic , 1992, SIGA.

[39]  King-Sun Fu,et al.  A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems , 1969, IEEE Trans. Syst. Sci. Cybern..

[40]  I. N. Sneddon,et al.  Theory Of Automata , 1969 .

[41]  Jan Pavelka,et al.  On Fuzzy Logic I Many-valued rules of inference , 1979, Math. Log. Q..

[42]  Wei Cheng,et al.  Minimization algorithm of fuzzy finite automata , 2004, Fuzzy Sets Syst..

[43]  W. Wee.  On generalizations of adaptive algorithms and application of the fuzzy sets concept to pattern classification , 1967 .

[44]  K. Peeva,et al.  Equivalence, reduction and minimization of finite fuzzy-automata , 1981 .

[45]  Mingsheng Ying,et al.  Fuzzifying topology based on complete residuated lattice-valued logic (I) , 1993 .

[46]  Wang Heng-shan,et al.  Web Information Resources Storage Grid Based on Knowledge Space Model , 2006 .

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

[48]  Stefan C. Kremer,et al.  New directions in fuzzy automata , 2005, Int. J. Approx. Reason..

[49]  E. Trillas,et al.  in Fuzzy Logic , 2002 .

[50]  Arun K. Majumdar,et al.  A formal power series approach to the construction of minimal fuzzy automata , 1991, Inf. Sci..

[51]  J. Mordeson,et al.  Fuzzy Discrete Structures , 2000 .