共查询到10条相似文献,搜索用时 33 毫秒
1.
2.
盛莉 《纯粹数学与应用数学》2010,26(2):270-274
给出了格值上下文无关文法(LCFG),Chomsky范式文法,Greibach范式文法的定义.证明了对任意的LCFG存在与之等价的Chomsky范式文法;给出了对任意的LCFG,存在与之等价的Greibach范式文法的条件.文中结论表明了LCFG的特性与其取值格的代数性质密切相关. 相似文献
3.
4.
5.
6.
7.
本文研究了模糊蕴涵代数的一些性质,给出了模糊蕴涵代数成为Heyting代数的一个条件,得到对模糊蕴涵代数的结构特征刻画,并给出了一个(2,0)型代数(X,→,0)成为模糊蕴涵代数的充分必要条件. 相似文献
8.
在关于Fuzzy上下文无关语言的已有成果基础上,进一步考虑简化Fuzzy上下文无关文法,提出用派生刻画Fuzzy上下文无关文法与语言的性质,得到了Fuzzy上下文无关语言的Chomsky定理,并利用Pumping引理来判别一个语言是否为上下文无关语言. 相似文献
9.
王丰效 《数学的实践与认识》2016,(20):229-232
为了深入研究N(2,2,0)代数的代数结构,在N(2,2,0)代数中引入了T模糊子代数和T模糊理想的概念,进一步讨论了它们的性质.分别给出了N(2,2,0)代数的模糊子代数和模糊理想与子代数和理想的关系.证明了N(2,2,0)代数的两个T模糊子代数的模交也是T模糊子代数,而N(2,2,0)代数的两个T模糊理想的模交也是T模糊理想. 相似文献
10.
为了扩大现有研究的应用范围,基于max-min型模糊正则文法引入了max-*型模糊正则文法(其中*为特定t-模)的概念,讨论了max-*型模糊正则文法可以通过max-min型模糊正则文法在任意给定的逼近精度来逼近.研究表明,当t-模*满足一定的条件时,max-*型模糊正则文法与max-min型模糊正则文法在生成模糊语言能力方面是等价的. 相似文献