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

摘要：

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

关键词：Lukasiewicz逻辑、l值下推自动机、l值模糊上下文无关语言、代数刻画

所属期刊栏目：47

分类号：TP301.1;O153.1(计算技术、计算机技术)

在线出版日期：2011-06-20（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：47-50,119