格值上下文无关文法的范式The normal form of lattice-valued context free grammars
盛莉;
摘要(Abstract):
给出了格值上下文无关文法(LCFG),Chomsky范式文法,Greibach范式文法的定义.证明了对任意的LCFG存在与之等价的Chomsky范式文法;给出了对任意的LCFG,存在与之等价的Greibach范式文法的条件.文中结论表明了LCFG的特性与其取值格的代数性质密切相关.
关键词(KeyWords): 格半群;格值上下文无关文法;Chomsky范式;Greibach范式
基金项目(Foundation):
作者(Authors): 盛莉;
参考文献(References):
- [1]Asveld P R J.Algebraic aspects of families of fuzzy languages[J].Theoretical Computer Science,2003,293:417-445.
- [2]Balbes R,Dwinger P.Distributive Lattices[M].Columbia,Missouri:University of Mossouri Press,1974.
- [3]Lee E T,Zadeh L A.Note on fuzzy languages[J].Information Sciences,1969,1:421-434.
- [4]李永明.模糊系统分析[M].北京:科学出版社,2005.
- [5]Li Y M.Finite automata with values in lattice-ordered monoids[J].Fuzzy Sets and Systems,2005,156(1):68-92.
- [6]Mordeson J N,Malik D S.Fuzzy Automata and Languages:Theory and Applications[M].London:Hall/CRC Press,2002.
- [7]蒋守礼,姜守恒.形式语言与自动机理论[M].北京:清华大学出版社,2003.
- [8]Shen J Z.Fuzzy language on free monoid[J].Information Sciences,1996,88:149-168.
- [9]Yager P R.Aggregation operators and fuzzy systems modeling[J].Fuzzy Sets and Systems,1994,67:129-145.
- [10]Sheng L,Li Y M.Regular Grammars with truth values in lattice-monoid and their languages[J].Soft Computing,2006,10(2):79-86.
- [11]盛莉,雷红轩.格值正则语言的性质[J].纯粹数学与应用数学,2005,21(1):33-38.
- [12]盛莉,李永明.格值正则文法注记[J].陕西师范大学学报:自然科学版,2005,33(2):5-8.