编译原理课程项目
编译原理课程项?
计算机学院陈寅
2015-03-09
1简介
本课程为编译原理课程的后序课程。这是?门必修课。2012级的1?5班共214?选修了这门课程。课程项?可以选择完成以下两个题?中的?个。课程项?可以独?完成,也可以?由组合为不超过3个?的?组。如果?组由3?组成,则必须完成可选内容。课程的成绩根据提交的?档和代码评定。2一阶谓词公式的实例化
我们考虑?个包含?较运算符但是不包含函数符号的?阶语?。谓词??写字母所组成的字符串表?,例如p,q,edge等。变量??写字母开始的字符串表?,例如X,Y,X1,Next等。常量?正整数或者字符串表?,例如1,123,35,”a”,”red”等。常量之间可以?较??。逻辑运算符包括¬,∧,∨,→,?,?,?等。?较运算符包括=,<,>,≤,≥,=。?阶逻辑逻辑的公式,?由变元,闭公式,公式的可满?性等概念可参看离散数学的教材。
2.1例子
给定?个?阶公式和它的论域,这个公式的可满?性可以等价为?个对应的命题公式的可满?性。下?是?个例?。
设公式集Γ包含如下公式:
?X?Y(p(X)∨¬q(Y)∨r(Y))
?X(p(X)→?Y(q(Y)∧X=Y))
r(1)∧¬r(2)(1)(2)(3)
其中p,q,r是谓词,X,Y是变量,1和2是常量。如果?Γ中出现的所有常量的集合D={1,2}做为论域,则Γ可实例化为如下的命题公式集ΓD:
p(1)∨q(1)∨r(1)
p(2)∨q(1)∨r(1)
p(1)∨q(2)∨r(2)
p(2)∨q(2)∨r(2)
p(1)→((q(1)∧1=1)∨(q(2)∧1=2))
p(2)→((q(1)∧2=1)∨(q(2)∧2=2))
r(1)∧¬r(2)
1(4)(5)(6)(7)(8)(9)
其中(1)通过消去量词后变为(4-7),(2)通过消去量词后变为(8,9)。ΓD可以进?步的化简为如下的公式集Γ′D
p(1)∨q(2)
p(2)∨q(2)
p(1)→q(2)
p(2)→q(1)
r(1)∧¬r(2)
因为:
(S1)根据(3),r(1)为真,因此(4)和(5)是永真式,可以删除;
(S2)根据(3),r(2)为假,因此(6)和(7)可化简为(10)和(11);
(S3)根据常量之间?较运算的真假,可以将(8)和(9)可化简为(12)和(13)(10)(11)(12)(13)
2.2问题的描述
实例化:输??个?阶闭公式集,以这个公式集中出现的常量的集合为论域,将这个?阶公式集转化为和它等价的命题公式集。
(A1)输?的公式集??本?件保存。设计?个语?可以表?上述的?阶公式集,
给出这个语?的词法和语法;
(A2)对输?的?件进?语法分析,定义相应的数据结构保存这个公式集和其中
出现的常量。定义相应的语法树,并且可以输出语法分析的结果。当出现可能的输?错误时,可以指出出错的位置和可能的错误原因;
(A3)将这个公式集实例化并化简(?(S1-S3)的?式),将结果以?本的形式输
出。
(A4)(选做)判断输出的命题逻辑公式集是否是可满?的,如果是则给出?个模
型。利?这个系统解决?些实际的问题。
3进一步的讨论
?阶公式的实例化有着?泛的应?前景,同时也存在很多值得研究的问题。如何?效的实现?阶公式的实例化,?直都有很多的研究1。
对于选做的(A4),标准的做法是将实例化后的命题公式保存为CNF格式2,然后?已有的SAT求解器加以求解即可3。
例如GroundingwithBoundsJohanWittocx,MaartenMariën,MarcDenecker,AAAI,20082http://logic.pdmi.ras.ru/~basolver/dimacs.html
3可参看:http://wendang.chazidian.com/essays/minisat-user-guide.html1
2
4
4.1比特大战游戏简介
这个游戏来源于《?私的基因》4。?个N回合的?特?战由A和B两?进?,每个回合A和B可以选择0(背叛)或1(合作),共进?N个回合。如果第n(1≤n≤N)个回合A和B的选择分别为An和Bn,则他们在这个回合的得分SA(n)和SB(n)由下表决定:nABABnABABnnA和B的总分为N个回合各?得分的和。
4.2游戏的策略
对于N个回合的?特?战,每回合的得分可能是0,1,5,因此总分总是在0和5?N之间。双?不同的策略可能导致不同的得分。以下是?些可能的策略:(T1)永远合作,每次都选择1;
(T2)随机,每次以某个概率随机选择1,否则选择0;
(T3)针锋相对,第?次选择1,以后每次都选择对?的上?次选择;
(T4)老实人探测器,基本上和“针锋相对”?样,只是会随机的选择?次0;(T5)永不原谅,?直选择1,?旦对?选择0,则?直选择0
这些策略可以?如下的算法描述:
T1永远合作
StategyT1://T1表?策略的名字
return1;
T2随机
StategyT2://以0.75的概率返回1
i=RANDOM(3);//随机函数,RANDOM(k)以等概率返回0到k之间的?个整数if(i==3)
return0;
else
return1;
T3针锋相对
4道?斯(英)著,卢允中等译,中信出版社
3
StategyT3:
//CUR表?当前的回合数
//A[1..N]和B[1..N]是两个预定义的数组分别保存??和对?的每次选择//在第CUR个回合,可以访问数组中的前CUR-1个元素
if(CUR==1)
return1;
else
returnB[CUR-1];
T4老实人探测器
StategyT4:
if(CUR==1)
return1;
else{
i=RANDOM(9);
if(i==9)
return0
else
returnB[CUR-1];
}
T5永不原谅
StategyT5:
i=1;
k=1;
while((k<CUR)&&(i==1)){
if(B[k]==0)
i=0;
k=k+1;
}
returni;
4.3问题的描述
(B1)设计?种程序设计语?可以?来描述?特?战的策略。这个语?应该?少
可以描述上述T1-T5的策略;
(B2)实现对这个语?的语法分析。定义相应的语法树,并且可以输出语法分析
的结果。当出现可能的输?错误时,可以指出出错的位置和可能的错误原因;
(B3)实现?个程序:?户可以输?若?的策略,每个策略保存为?个?本?件,
模拟这些策略两两之间的N回合(例如,n=200)的?特?战,并以所有对战得分的总和为这些策略排序;
(B4)(选做)实现?个?上的?特?战对战平台。
4
4.4进一步的讨论
有关?特?战的更多有趣内容可以参看《?私的基因》的第12章。以此为基础可以进?步的发现更多的游戏?式。同时?次为平台,通过计算机模拟也可以产?很多有关博弈论的深?的课题。
5
5.1相关事项邮箱和QQ群
?QQ群:101303485“编译原理课程项?”,请在加?群之后将名字改为“学号后4位+姓名”;
?邮箱地址:csscnu@http://wendang.chazidian.com,请把课程有关的?档和代码都发送到这个邮箱。请使?普通附件发送,不要使?超?附件发送。
5.2课程的安排02
03
06
1403/1503/2204/12(1-3班)06/07(4,5班)课程项?介绍各班学委提交分组名单项?计划:1分组及分?
2计划使?的开发平台和?具
3词法和语法设计
4系统设计概要
说明?前的进度
1?组成员?作量的百分?
2系统设计?档
3简要的?户使?说明
4系统的源代码
5编译后的可执??件242708/16(4,5班)09/06(4,5班)
5
下载文档
热门试卷
- 2016年四川省内江市中考化学试卷
- 广西钦州市高新区2017届高三11月月考政治试卷
- 浙江省湖州市2016-2017学年高一上学期期中考试政治试卷
- 浙江省湖州市2016-2017学年高二上学期期中考试政治试卷
- 辽宁省铁岭市协作体2017届高三上学期第三次联考政治试卷
- 广西钦州市钦州港区2016-2017学年高二11月月考政治试卷
- 广西钦州市钦州港区2017届高三11月月考政治试卷
- 广西钦州市钦州港区2016-2017学年高一11月月考政治试卷
- 广西钦州市高新区2016-2017学年高二11月月考政治试卷
- 广西钦州市高新区2016-2017学年高一11月月考政治试卷
- 山东省滨州市三校2017届第一学期阶段测试初三英语试题
- 四川省成都七中2017届高三一诊模拟考试文科综合试卷
- 2017届普通高等学校招生全国统一考试模拟试题(附答案)
- 重庆市永川中学高2017级上期12月月考语文试题
- 江西宜春三中2017届高三第一学期第二次月考文科综合试题
- 内蒙古赤峰二中2017届高三上学期第三次月考英语试题
- 2017年六年级(上)数学期末考试卷
- 2017人教版小学英语三年级上期末笔试题
- 江苏省常州西藏民族中学2016-2017学年九年级思想品德第一学期第二次阶段测试试卷
- 重庆市九龙坡区七校2016-2017学年上期八年级素质测查(二)语文学科试题卷
- 江苏省无锡市钱桥中学2016年12月八年级语文阶段性测试卷
- 江苏省无锡市钱桥中学2016-2017学年七年级英语12月阶段检测试卷
- 山东省邹城市第八中学2016-2017学年八年级12月物理第4章试题(无答案)
- 【人教版】河北省2015-2016学年度九年级上期末语文试题卷(附答案)
- 四川省简阳市阳安中学2016年12月高二月考英语试卷
- 四川省成都龙泉中学高三上学期2016年12月月考试题文科综合能力测试
- 安徽省滁州中学2016—2017学年度第一学期12月月考高三英语试卷
- 山东省武城县第二中学2016.12高一年级上学期第二次月考历史试题(必修一第四、五单元)
- 福建省四地六校联考2016-2017学年上学期第三次月考高三化学试卷
- 甘肃省武威第二十三中学2016—2017学年度八年级第一学期12月月考生物试卷
网友关注
- 股票主力是如何做庄的
- 公共营养师的就业方向
- 二级 C语言题库
- 技术质量业务
- 中药生物活性及其振荡行为的微量量热法研究
- .上半年国内仪器仪表业产值400亿
- 2012年中级经济师考试真题及解析
- ?OFweek 2014年工业自动化行业年度评选活动入围名单出炉
- 六章 材料力学的拉伸与压缩lxy
- 60TT操作与编程
- [精华]protel99se_pcb印刷版绘制教程
- 炒股5大禁忌
- 学习的最佳时间段
- 中国矿大(徐州)考研 材料力学 精选题1--3章
- 病院中药饮片治理标准PPT黄色字体[整理版]
- 股票成交量组合的使用技巧
- 研发pcb工艺设计规范
- 宝钢特种设备检测系统的设计和实现
- 公务员行测考试-国考行测
- [最新]康复医学
- 选择牛股技巧
- 股票技术指标:布林线的技巧
- .第二届国际中医养生技术交流会议在保定召开
- 临床医学导论(蒋卫红)
- [精华]仪器仪表该何往何从
- 康复医学工作中的伦理道德
- 浅谈现代水工业自动化信息控制的一体化趋势
- 注册电气工程师[资料]
- 炒股技巧:如何把握板块轮动
- 2013--二级建造师法律法规考试重点
网友关注视频
- 【部编】人教版语文七年级下册《过松源晨炊漆公店(其五)》优质课教学视频+PPT课件+教案,江苏省
- 沪教版牛津小学英语(深圳用) 四年级下册 Unit 8
- 外研版英语三起5年级下册(14版)Module3 Unit2
- 沪教版牛津小学英语(深圳用) 五年级下册 Unit 7
- 冀教版小学数学二年级下册第二单元《有余数除法的竖式计算》
- 第12章 圆锥曲线_12.7 抛物线的标准方程_第一课时(特等奖)(沪教版高二下册)_T274713
- 冀教版小学数学二年级下册第二周第2课时《我们的测量》宝丰街小学庞志荣
- 外研版英语三起6年级下册(14版)Module3 Unit2
- 沪教版牛津小学英语(深圳用) 四年级下册 Unit 3
- 《空中课堂》二年级下册 数学第一单元第1课时
- 沪教版牛津小学英语(深圳用) 五年级下册 Unit 10
- 北师大版八年级物理下册 第六章 常见的光学仪器(二)探究凸透镜成像的规律
- 七年级英语下册 上海牛津版 Unit9
- 小学英语单词
- 【部编】人教版语文七年级下册《逢入京使》优质课教学视频+PPT课件+教案,安徽省
- 沪教版八年级下次数学练习册21.4(2)无理方程P19
- 【部编】人教版语文七年级下册《老山界》优质课教学视频+PPT课件+教案,安徽省
- 冀教版英语四年级下册第二课
- 【部编】人教版语文七年级下册《逢入京使》优质课教学视频+PPT课件+教案,安徽省
- 30.3 由不共线三点的坐标确定二次函数_第一课时(市一等奖)(冀教版九年级下册)_T144342
- 【部编】人教版语文七年级下册《泊秦淮》优质课教学视频+PPT课件+教案,湖北省
- 沪教版牛津小学英语(深圳用)五年级下册 Unit 1
- 苏科版数学八年级下册9.2《中心对称和中心对称图形》
- 沪教版八年级下册数学练习册一次函数复习题B组(P11)
- 【部编】人教版语文七年级下册《泊秦淮》优质课教学视频+PPT课件+教案,广东省
- 二年级下册数学第一课
- 沪教版牛津小学英语(深圳用) 四年级下册 Unit 4
- 化学九年级下册全册同步 人教版 第18集 常见的酸和碱(二)
- 三年级英语单词记忆下册(沪教版)第一二单元复习
- 冀教版小学数学二年级下册第二单元《有余数除法的整理与复习》
精品推荐
- 2016-2017学年高一语文人教版必修一+模块学业水平检测试题(含答案)
- 广西钦州市高新区2017届高三11月月考政治试卷
- 浙江省湖州市2016-2017学年高一上学期期中考试政治试卷
- 浙江省湖州市2016-2017学年高二上学期期中考试政治试卷
- 辽宁省铁岭市协作体2017届高三上学期第三次联考政治试卷
- 广西钦州市钦州港区2016-2017学年高二11月月考政治试卷
- 广西钦州市钦州港区2017届高三11月月考政治试卷
- 广西钦州市钦州港区2016-2017学年高一11月月考政治试卷
- 广西钦州市高新区2016-2017学年高二11月月考政治试卷
- 广西钦州市高新区2016-2017学年高一11月月考政治试卷
分类导航
- 互联网
- 电脑基础知识
- 计算机软件及应用
- 计算机硬件及网络
- 计算机应用/办公自动化
- .NET
- 数据结构与算法
- Java
- SEO
- C/C++资料
- linux/Unix相关
- 手机开发
- UML理论/建模
- 并行计算/云计算
- 嵌入式开发
- windows相关
- 软件工程
- 管理信息系统
- 开发文档
- 图形图像
- 网络与通信
- 网络信息安全
- 电子支付
- Labview
- matlab
- 网络资源
- Python
- Delphi/Perl
- 评测
- Flash/Flex
- CSS/Script
- 计算机原理
- PHP资料
- 数据挖掘与模式识别
- Web服务
- 数据库
- Visual Basic
- 电子商务
- 服务器
- 搜索引擎优化
- 存储
- 架构
- 行业软件
- 人工智能
- 计算机辅助设计
- 多媒体
- 软件测试
- 计算机硬件与维护
- 网站策划/UE
- 网页设计/UI
- 网吧管理