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

下推自动机的逻辑计算类型

唐守文  陈良  
【摘要】：本文是定义了(单向)下推自动机的逻辑计算类型,对逻辑计算类型进行了分类,并证明了它们都是线性时间界限的.

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 ;下推自动机[J];计算机工程与应用;1977年Z2期
2 舒兰;识别Fuzzy上下文无关语言的下推自动机(英文)[J];电子科技大学学报;1992年02期
3 高永建;;自上而下分析与下推自动机[J];辽宁师范大学学报(自然科学版);1989年04期
4 吴年;张昱;;带谓词的XPath查询的即时处理[J];计算机工程;2006年13期
5 麻勇军;刘耀军;;下推自动机的半环方法[J];太原师范学院学报(自然科学版);2009年02期
6 孟媛媛;王宇;;利用自动机证明语言对运算的封闭性[J];中国集体经济;2009年16期
7 贾晓霞;刘昶;吴际;柳永坡;金茂忠;刘超;;一个基于下推自动机的Web测试自动执行器[J];计算机科学;2006年04期
8 郝克刚;段振华;;回溯自动机的两个基本定理[J];西北大学学报(自然科学版);1990年01期
9 方敏;王宝树;邱素蓉;;基于下推自动机的仿真模型形式化描述[J];计算机科学;2003年06期
10 魏臻;陆阳;汤俊;鲍红杰;;基于自动机模型的平面调车软件设计方法[J];电子学报;2009年05期
11 付杰;梁意文;;人工免疫系统中淋巴细胞的下推自动机模型[J];计算机工程;2005年23期
12 陈文宇;利用语言运算的封闭性构造自动机[J];计算机应用;2004年S2期
13 张晓琳;李宏辉;韩剑锋;;基于下推自动机的XML数据流递归查询研究[J];计算机工程与设计;2010年04期
14 莫绍揆;从黑箱到计算机——对计算机本质的一个剖析[J];自然杂志;1981年06期
15 吕映芝;上下文无关文法与无限状态自动机[J];电子学报;1996年08期
16 秦振松,吴俊;EL 语言属性文法[J];东南大学学报(自然科学版);1997年06期
17 ;确定的下推自动机[J];计算机工程与应用;1977年Z2期
18 晏立;鞠时光;王昌达;;安全信息流的实时监控机制[J];通信学报;2008年10期
19 申贵成，高良文，梁雪梅，郭文英;干涉检查中的统一算法[J];计算机辅助设计与制造;1995年10期
20 徐书润;形式语言学(续)[J];微电子学与计算机;1976年04期
中国重要会议论文全文数据库 前10条
1 孙文彬;杜志刚;贾万鹏;付志刚;;邯钢钢卷喷号机数据传输逻辑时序分析与改进[A];全国冶金自动化信息网2009年会论文集[C];2009年
2 王路;;逻辑与形而上学[A];“西文知识论”全国学术研讨会论文集[C];2003年
3 石春晖;赵战生;;认证协议安全分析[A];第十三届全国计算机安全技术交流会论文集[C];1998年
4 章真;曹云娟;;模糊集论形式公理化初探[A];1996中国控制与决策学术年会论文集[C];1996年
5 徐锐;;设计安全协议[A];第十八次全国计算机安全学术交流会论文集[C];2003年
6 励杭泉;张晨;;高分子物理教学之我见[A];2007年全国高分子学术论文报告会论文摘要集（下册）[C];2007年
7 陈慕泽;;马克思主义哲学和现代数理逻辑[A];逻辑教学·知识创新·素质教育研讨会论文集[C];2001年
8 耿琳;;逻辑自考试题质疑[A];逻辑教学·知识创新·素质教育研讨会论文集[C];2001年
9 蒋艳兰;;利用微机保护装置实现母联开关保护及自动投入功能[A];中国有色金属学会——第二届青年论坛学术会议论文集[C];2004年
10 戴宁东;;直言三段论规则证明[A];逻辑教学·知识创新·素质教育研讨会论文集[C];2001年
中国博士学位论文全文数据库 前10条
1 王建良;亚对数空间限定多墨水点交替式下推自动机的研究[D];中国海洋大学;2010年
2 张征;分子下推自动机理论及应用研究[D];华中科技大学;2007年
3 卢向国;民本的逻辑[D];复旦大学;2007年
4 李伟南;当代中国县政府行为逻辑研究[D];华中师范大学;2009年
5 徐尔清;基于中心语驱动短语结构文法的句法和语义分析[D];上海外国语大学;2007年
6 刘永红;政治自由主义发展的逻辑[D];中国人民大学;2005年
7 常磊;“写实”绘画的形式语言分析[D];中国艺术研究院;2008年
8 刘岩;论法律推理中的司法理性[D];吉林大学;2008年
9 楼苏萍;改革开放以来中国社会政策的发展及其逻辑[D];浙江大学;2009年
10 刘志昌;基本公共服务均等化：过程与逻辑[D];华中师范大学;2009年
中国硕士学位论文全文数据库 前10条
1 李超;基于扩展下推自动机的Java程序安全相关行为模型自动生成[D];东北师范大学;2011年
2 麻勇军;下推自动机的半环方法[D];太原科技大学;2009年
3 蓝国桥;“逻辑—心理”结构[D];广西师范大学;2000年
4 孙世明;关于和谐社会探索的历史与逻辑追踪[D];山东大学;2006年
5 高强;虚拟社区个体行为逻辑的实证分析[D];华中师范大学;2007年
6 姚胜南;集体行动的逻辑[D];西北师范大学;2007年
7 李宏辉;基于下推自动机的XML数据流递归查询处理技术研究[D];内蒙古科技大学;2009年
8 关娜;案件事实认定中的逻辑[D];中国政法大学;2003年
9 杨如;论科技发展对法律进步的作用[D];中南大学;2002年
10 刘岩峰;“命题”的颠覆与“确定性”的丧失[D];兰州大学;2005年
中国重要报纸全文数据库 前10条
1 马达;LSI逻辑公司发力中国市场[N];中国电子报;2004年
2 安静;创业需要好奇心与傻瓜逻辑[N];中国高新技术产业导报;2005年
3 冯淑娟;颠覆“巨无霸”逻辑[N];财经时报;2006年
4 蒋重光;企业的13个“经营逻辑”[N];中国企业报;2001年
5 星杓;一场矿难中的两种官话逻辑[N];南方日报;2010年
6 本报实习记者 李立红 记者 綦久竑;陆致成 我只关心逻辑[N];中国经营报;2001年
7 本报驻布拉格记者　任鹏;“法律的生命不在逻辑在经验”[N];光明日报;2005年
8 庞瑞锋;三大运营商高层对调的逻辑[N];南方周末;2004年
9 沈强;为金融的逻辑鼓与呼[N];中国经济导报;2009年
10 本报记者 陈祥玉;靠啥吃啥腐败者的逻辑？[N];检察日报;2000年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978
订卡电话 400-819-9993
在线咨询 http://help.cnki.net
京ICP证040441号
京公网安备11010802020475号
©2020中国知网（CNKI）