Regular grammars with truth values in lattice-ordered monoid and their languages

In this study, we introduce the concept of lattice-valued regular grammars. Such grammars have become a necessary tool for the analysis of fuzzy finite automata. The relationship between lattice-valued finite automata (LA) and lattice-valued regular grammars (LRG) are discussed and we get the following results, for a given LRG, there exists an LA such that they accept the same languages, and vice versa. We also show the equivalence between deterministic lattice-valued regular grammars and deterministic lattice-valued finite automata.

[1]  Eugene S. Santos.  Realizations of fuzzy languages by probabilistic, max-product, and maximin automata , 1975, Inf. Sci..

[2]  Jizhong Shen,et al.  Fuzzy Language on Free Monoid , 1996, Inf. Sci..

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

[4]  K. I. Rosenthal.  Quantales and their applications , 1990 .

[5]  Michael, G. Thomason,et al.  Deterministic Acceptors of Regular Fuzzy Languages , 1974, IEEE Trans. Syst. Man Cybern..

[6]  Peter R. J. Asveld,et al.  Algebraic aspects of families of fuzzy languages , 2001, Theor. Comput. Sci..

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

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

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

[10]  Eugene S. Santos.  Fuzzy automata and languages , 1976, Inf. Sci..

[11]  R. Yager.  Aggregation operators and fuzzy systems modeling , 1994 .

[12]  John N. Mordeson,et al.  Regular Fuzzy Expressions , 2003 .

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

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

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

[16]  Jiri Mockor.  Semigroup homomorphisms and fuzzy automata , 2002, Soft Comput..

[17]  J. F. Baldwin,et al.  Fuzzy Switching and Automata Theory and Applications , 1980 .

[18]  W. Pedrycz,et al.  Regular expressions with truth values in lattice-monoid and their languages , 2004, IEEE Annual Meeting of the Fuzzy Information, 2004. Processing NAFIPS '04..

[19]  Li Yongming,et al.  Projective and injective objects in the category of quantales , 2002 .

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

[21]  Yong-Ming Li,et al.  Remarks on uninorm aggregation operators , 2000, Fuzzy Sets Syst..

[22]  Mingsheng Ying,et al.  A formal model of computing with words , 2002, IEEE Trans. Fuzzy Syst..

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