收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于完备剩余格值逻辑的下推自动机与上下文无关文法

彭家寅  
【摘要】:引入了L-值下推自动机的概念,讨论了L-值下推自动机按2种不同方式所接受的语言类的等价性,并指出了它能识别L-值正则语言。利用广义的子集构造方法,证明了一般的L-值下推自动机与状态转移为分明函数且具有L-值终态的L-值下推自动机的等价性。通过此等价性,给出了L-值上下文无关语言的代数刻画和层次刻画,并证明了L-值上下文无关语言关于正则运算的封闭性。另外,提出了L-值上下文无关文法的概念,给出了与之等价的且带有经典开始符的L-值上下文无关文法。借此等价关系,讨论了L-值下推自动机与L-值上下文无关文法是等价的,并说明了在完备剩余格值逻辑意义下,可采用最左派生、最右派生、Chomsky范式或者Greibach范式中的任何一种来生成L-值上下文无关语言。

知网文化
【相似文献】
中国期刊全文数据库 前19条
1 韩召伟;李永明;;基于量子逻辑的下推自动机与上下文无关文法[J];软件学报;2010年09期
2 张继军;吴哲辉;;下推自动机的状态转换图与下推自动机的化简[J];计算机科学;2006年03期
3 唐守文;陈良;;下推自动机的逻辑计算类型[J];计算机研究与发展;1987年06期
4 高永建;;自上而下分析与下推自动机[J];辽宁师范大学学报(自然科学版);1989年04期
5 徐建良,孙剑,陈勇,孟庆春;有无1墨水点亚对数空间限定交替式下推自动机之间的关系[J];青岛海洋大学学报(自然科学版);2003年03期
6 ;确定的下推自动机[J];电子计算机参考资料;1977年Z2期
7 彭家寅;;格值下推自动机与格值上下文无关文法[J];计算机工程与应用;2011年25期
8 王建良;徐建良;;亚对数空间限定的多墨水点交替式下推自动机的闭包属性[J];中国海洋大学学报(自然科学版);2010年10期
9 张诗静;舒兰;;最大乘积型Fuzzy上下无关文法与下推自动机[J];模糊系统与数学;2006年06期
10 韩召伟;李永明;;基于量子逻辑的下推自动机的代数刻画[J];计算机工程与科学;2008年11期
11 ;下推自动机[J];电子计算机参考资料;1977年Z2期
12 高彩凤;;基于扩展下推自动机的Java程序安全相关行为模型自动生成[J];通讯世界;2016年06期
13 方敏;王宝树;邱素蓉;;基于下推自动机的仿真模型形式化描述[J];计算机科学;2003年06期
14 张征;刘洁;石晓龙;;基于DNA计算的分子下推自动机(英文)[J];计算机学报;2008年12期
15 郑利强;廖湖声;苏航;高红雨;;一种针对正规树模式的复杂事件查询方法[J];计算机与数字工程;2018年05期
16 王强华;侯红;耿国华;;基于状态回朔技术的规范LR分析算法[J];计算机科学;2009年02期
17 程珍;黄玉芳;周康;;基于DNA下推自动机二进制减法和乘法的实现[J];计算机学报;2009年12期
18 李佳静;王铁磊;韦韬;凤旺森;邹维;;一种多项式时间的路径敏感的污点分析方法[J];计算机学报;2009年09期
19 吕映芝;上下文无关文法与无限状态自动机[J];电子学报;1996年08期
中国重要会议论文全文数据库 前2条
1 吴端仪;陈雷;陈海明;;上下文无关文法的句子生成方法综述[A];2006年全国理论计算机科学学术年会论文集[C];2006年
2 柏明强;莫智文;;Fuzzy上下文无关文法的简化[A];中国系统工程学会模糊数学与模糊系统委员会第十一届年会论文选集[C];2002年
中国博士学位论文全文数据库 前2条
1 王建良;亚对数空间限定多墨水点交替式下推自动机的研究[D];中国海洋大学;2010年
2 张征;分子下推自动机理论及应用研究[D];华中科技大学;2007年
中国硕士学位论文全文数据库 前5条
1 谭兴龙;Well-Structured下推自动机可达性判定算法研究[D];上海交通大学;2014年
2 李超;基于扩展下推自动机的Java程序安全相关行为模型自动生成[D];东北师范大学;2011年
3 杨春志;基于词的计算的研究[D];陕西师范大学;2007年
4 刘飞;基于概率上下文无关文法的名词短语的自动识别[D];沈阳航空航天大学;2014年
5 李宏辉;基于下推自动机的XML数据流递归查询处理技术研究[D];内蒙古科技大学;2009年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978