Lukasiewicz逻辑值上下文无关语言的代数刻画

• 作者: 韩召伟 韩召莹
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: Lukasiewicz逻辑 l值下推自动机 l值模糊上下文无关语言 代数刻画
• 年，卷（期）: 2011,（3）
• 所属期刊栏目: 研究、探讨
• 页码范围: 47-50,119
• 分类号: TP301.1|O153.1
• 字数: 7196字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2011.03.014

摘要

提出了基于Lukasiewicz逻辑的下推自动机(l-VPDA)的概念,从代数角度研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用模糊状态构造,证明了任意以终状态方式接受模糊语言的l-VPDA与状态转移为经典函数且具有l值模糊终状态的l-VPDA间的相互等价性;并证明任意以空栈方式接受模糊语言的f.VPDA与状态转移除一步转移为模糊的以外,其余都是经典函数的l-VPDA是相互等价的;详细研究了l-值模糊上下文无关语言的代数和层次刻画,以及对于正则运算的封闭性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	韩召伟	陕西师范大学数学与信息科学学院	11	40	2.0	5.0
5	韩召莹	西安石油大学理学院	1	2	1.0	1.0