中国学术期刊网络出版总库
  关闭
Lukasiewicz逻辑值上下文无关语言的代数刻画  
   推荐 CAJ下载 PDF下载
【英文篇名】 Algebraic characterizations of context-free languages based on Lukasiewicz logic
【下载频次】
【作者】 韩召伟; 韩召莹;
【英文作者】 HAN Zhaowei; HAN Zhaoying;
【作者单位】 陕西师范大学数学与信息科学学院; 陕西师范大学计算机科学学院; 西安石油大学理学院;
【文献出处】 计算机工程与应用 , Computer Engineering and Applications, 编辑部邮箱 2011年 03期  
期刊荣誉:中文核心期刊要目总览  ASPT来源刊  中国期刊方阵  CJFD收录刊
【中文关键词】 Lukasiewicz逻辑; l值下推自动机; l值模糊上下文无关语言; 代数刻画;
【英文关键词】 Lukasiewicz logic; Lukasiewicz lattice-Valued Pushdown Automata(l-VPDA); Lukasiewicz lattice-valued context-free language; algebraic characterization;
【摘要】 提出了基于Lukasiewicz逻辑的下推自动机(l-VPDA)的概念,从代数角度研究了此类自动机的性质,同时建立此类自动机的代数刻画,即利用模糊状态构造,证明了任意以终状态方式接受模糊语言的l-VPDA与状态转移为经典函数且具有l值模糊终状态的l-VPDA间的相互等价性;并证明任意以空栈方式接受模糊语言的l-VPDA与状态转移除一步转移为模糊的以外,其余都是经典函数的l-VPDA是相互等价的;详细研究了l-值模糊上下文无关语言的代数和层次刻画,以及对于正则运算的封闭性。
【英文摘要】 This paper introduces,the notion Lukasiewicz lattice-valued pushdown automaton(l-VPDA),traverses some algebraic properties of these automata in details and also establishes the algebraic features of these automata,i.e,by using the means of fuzzy state construction,and proves the fact that an arbitrary l-VPDA which accepts the l-valued language by final states and the other l-VPDA with the crisp transition relation and fuzzy final states are equivalently constructed,and also shows that an arbitrary l-VPDA ca...
【基金】 陕西师范大学青年科技项目(No.200701008)
【更新日期】 2011-03-07
【分类号】 TP301.1
【正文快照】 1前言形式语言在计算机理论科学研究中占有重要的地位,经典的形式语言是一种精确定义的语言,对于描述机器语言起到了重要作用[1-3]。但在处理自然语言尤其是人类使用的语言时,形式语言对于人类使用语言的模糊性的描述能力明显不够。为此,1965年,Zadeh L A[4-5]等人提出了模糊语

xxx
【读者推荐文章】中国期刊全文数据库 中国博士学位论文全文数据库 中国优秀硕士学位论文全文数据库
【相似文献】
中国期刊全文数据库
中国优秀硕士学位论文全文数据库
中国博士学位论文全文数据库
中国重要会议论文全文数据库
中国重要报纸全文数据库
中国学术期刊网络出版总库
点击下列相关研究机构和相关文献作者,可以直接查到这些机构和作者被《中国知识资源总库》收录的其它文献,使您全面了解该机构和该作者的研究动态和历史。
【文献分类导航】从导航的最底层可以看到与本文研究领域相同的文献,从上层导航可以浏览更多相关领域的文献。

工业技术
  自动化技术、计算机技术
   计算技术、计算机技术
    一般性问题
     理论、方法
      自动机理论
  
 
  CNKI系列数据库编辑出版及版权所有:中国学术期刊(光盘版)电子杂志社
中国知网技术服务及网站系统软件版权所有:清华同方知网(北京)技术有限公司
其它数据库版权所有:各数据库编辑出版单位(见各库版权信息)
京ICP证040431号    互联网出版许可证 新出网证(京)字008号