On Intuitionistic Fuzzy Context-Free Languages

Taking intuitionistic fuzzy sets as the structures of truth values, we propose the notions of intuitionistic fuzzy context-free grammars (IFCFGs, for short) and pushdown automata with final states (IFPDAs). Then we investigate algebraic characterization of intuitionistic fuzzy recognizable languages including decomposition form and representation theorem. By introducing the generalized subset construction method, we show that IFPDAs are equivalent to their simple form, called intuitionistic fuzzy simple pushdown automata (IF-SPDAs), and then prove that intuitionistic fuzzy recognizable step functions are the same as those accepted by IFPDAs. It follows that intuitionistic fuzzy pushdown automata with empty stack and IFPDAs are equivalent by classical automata theory. Additionally, we introduce the concepts of Chomsky normal form grammar (IFCNF) and Greibach normal form grammar (IFGNF) based on intuitionistic fuzzy sets. The results of our study indicate that intuitionistic fuzzy context-free languages generated by IFCFGs are equivalent to those generated by IFGNFs and IFCNFs, respectively, and they are also equivalent to intuitionistic fuzzy recognizable step functions. Then some operations on the family of intuitionistic fuzzy context-free languages are discussed. Finally, pumping lemma for intuitionistic fuzzy context-free languages is investigated.

[1]  Shengyi Jiang,et al.  Some information measures for interval-valued intuitionistic fuzzy sets , 2010, Inf. Sci..

[2]  S. Yau,et al.  FRACTIONALLY FUZZY GRAMMARS WITH APPLICATION TO PATTERN RECOGNITION , 1975 .

[3]  Krassimir T. Atanassov,et al.  Answer to D. Dubois, S. Gottwald, P. Hajek, J. Kacprzyk and H. Prade's paper "Terminological difficulties in fuzzy set theory - the case of "Intuitionistic Fuzzy Sets" , 2005, Fuzzy Sets Syst..

[4]  J. Mordeson,et al.  Fuzzy Automata and Languages: Theory and Applications , 2002 .

[5]  Ting-Yu Chen,et al.  Fuzzy automata based on Atanassov fuzzy sets and applications on consumers' advertising involvement , 2012 .

[6]  Li Zheng,et al.  A novel approach to multi-attribute decision making based on intuitionistic fuzzy sets , 2012, Expert Syst. Appl..

[7]  Hongyan Xing,et al.  Pumping lemma in context-free grammar theory based on complete residuated lattice-valued logic , 2009, Fuzzy Sets Syst..

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

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

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

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

[12]  Humberto Bustince,et al.  Vague sets are intuitionistic fuzzy sets , 1996, Fuzzy Sets Syst..

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

[14]  Yongming Li,et al.  Finite automata theory with membership values in lattices , 2011, Inf. Sci..

[15]  Mingsheng Ying,et al.  Quantum logic and automata theory , 2007 .

[16]  Mingsheng Ying,et al.  Automata Theory Based on Quantum Logic. (I) , 2000 .

[17]  Krassimir T. Atanassov,et al.  Intuitionistic fuzzy sets , 1986 .

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

[19]  Hongyan Xing,et al.  Fuzzy pushdown automata , 2007, Fuzzy Sets Syst..

[20]  James P. Crutchfield,et al.  Quantum automata and quantum grammars , 2000, Theor. Comput. Sci..

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

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

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

[24]  John N. Mordeson,et al.  On Fuzzy Regular Languages , 1996, Inf. Sci..

[25]  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).

[26]  Y. Jun.  Intuitionistic fuzzy finite switchboard state machines , 2006 .

[27]  Hongyan Xing,et al.  Automata theory based on complete residuated lattice-valued logic: Pushdown automata , 2009, Fuzzy Sets Syst..

[28]  Wei Yang,et al.  A new multiple criteria decision making method based on intuitionistic fuzzy information , 2012, Expert Syst. Appl..

[29]  Mingsheng Ying,et al.  Automata Theory Based on Quantum Logic II , 2000 .

[30]  Qingguo Li,et al.  Fuzzy grammar theory based on lattices , 2012, Soft Comput..

[31]  W.-L. Gau,et al.  Vague sets , 1993, IEEE Trans. Syst. Man Cybern..

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

[33]  Didier Dubois,et al.  Terminological difficulties in fuzzy set theory - The case of "Intuitionistic Fuzzy Sets" , 2005, Fuzzy Sets Syst..

[34]  Wei Cheng,et al.  Grammar Theory Based on Quantum Logic , 2003 .

[35]  Gholam Ali Montazer,et al.  Intuitionistic fuzzy set vs. fuzzy set application in medical pattern recognition , 2009, Artif. Intell. Medicine.

[36]  Y. Jun.  Intuitionistic fuzzy finite state machines , 2005 .

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

[38]  Qian Sheng Zhang,et al.  Some Similarity Measures of Interval-Valued Intuitionistic Fuzzy Sets and Application to Pattern Recognition , 2010 .

[39]  Friedrich Steimann,et al.  Clinical monitoring with fuzzy automata , 1994 .

[40]  QiuDaowen.  Automata theory based on quantum logic , 2007 .

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

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

[43]  Xiaowei Zhang,et al.  Intuitionistic fuzzy recognizers and intuitionistic fuzzy finite automata , 2009, Soft Comput..