软了个考——其实一开始总结编译原理我是拒绝的
2014-09-29 21:35
281 查看
其实软考中的大部分内容我们专业课都学过，只不过那个。。。啊哈哈。。。
画了一个小时的图，发现根本不会画什么东西出来，除了文法有点懂了之外，别的基本上没什么深入的认识了。
那就先说说文法？
文法是一个这玩意：G = {VT,VN,S,P}。至于他是干什么的嘛，看师哥师姐的博客的大概意思就是可以定义一些编程语言的语法结构，比如把输入string计算机自动当做字符类型。
VN表示非终结符的集合，VT表示终结符的集合，在形式语法的推导规则的输入或输出字符串存在中，终结符不能在继续推导下去，并且不能分解，一条语法推到这就完了。
顺便，终结符写成小写字母，abc这样；非终结符写成大写字母，ABC。
S表示开始符，看到是大写没，所以开始符是非终结符，不然就别往下推了。P是产生式集合，产生式就是α→β这种东西，大家应该见过吧。
哎，写个定义还挺费劲，我就说不想写这些东西嘛，我看这东西就是一个迷宫。非终结符是路口，能各种左右转向直走，终结符是死胡同，S是迷宫入口，P是路口的能通向哪的集合，α→β是我从这个路口走向下个路口或是死胡同。
果然脑补成游戏就简单了。
文法分为了4种，0123型，不愧是计算机知识，就要从0开始。
0型文法范围最大，我把它当做基类来看，定义是设G={VT,VN,S,P}，如果它的每个产生式α→β是这样一种结构：α∈(VT∪VN)*且至少含有一个非终结符，而β∈(VT∪VN)*，则G是一个0型文法。0型文法也称短语文法。一个非常重要的理论结果是：0型文法的能力相当于图灵机(Turing)或者说，任何0型文语言都是递归可枚举的，反之，递归可枚举集必定是一个0型语言。0型文法是这几类文法中限制最少的一个，所以一般见到的至少是0型文法。
恩，果然看不懂啊。仔细对了几遍，原来左边有大写的就是0型文法。。。
1型文法继承0型文法，定义就不写了，省的自己看不懂。A->Ba，这种就是1型文法，判断方法就是左边的字母不多于右边，这样简单吧。
2型文法继承1型文法。这个也简单，左边的全是大写就行了。Aa->BbC，这种就不是了。
3型文法继承2型文法。3型文法多了个属性，叫左尿性。。。呃，左线性右线性。说着麻烦，举个例子：A->a,这个是0型，对吧?A->a,A->Ba这个的意思是A能推出a，还能推出Ba，可以合在一起写成A->a|Ba。好，判断的方法就是这个合写，写成Ba是左线性，如果写成aB就是右线性，还是看大写在哪边。
软考视频讲的文法部分就这样了，其他的基本上就没看懂，转换正规式和自动机那还懂一点点，下次再说吧。
顺便贴一下文法部分的图，不能白画啊- -
画了一个小时的图，发现根本不会画什么东西出来，除了文法有点懂了之外，别的基本上没什么深入的认识了。
那就先说说文法？
文法是一个这玩意：G = {VT,VN,S,P}。至于他是干什么的嘛，看师哥师姐的博客的大概意思就是可以定义一些编程语言的语法结构，比如把输入string计算机自动当做字符类型。
VN表示非终结符的集合，VT表示终结符的集合，在形式语法的推导规则的输入或输出字符串存在中，终结符不能在继续推导下去，并且不能分解，一条语法推到这就完了。
顺便，终结符写成小写字母，abc这样；非终结符写成大写字母，ABC。
S表示开始符，看到是大写没，所以开始符是非终结符，不然就别往下推了。P是产生式集合，产生式就是α→β这种东西，大家应该见过吧。
哎，写个定义还挺费劲，我就说不想写这些东西嘛，我看这东西就是一个迷宫。非终结符是路口，能各种左右转向直走，终结符是死胡同，S是迷宫入口，P是路口的能通向哪的集合，α→β是我从这个路口走向下个路口或是死胡同。
果然脑补成游戏就简单了。
文法分为了4种，0123型，不愧是计算机知识，就要从0开始。
0型文法范围最大，我把它当做基类来看，定义是设G={VT,VN,S,P}，如果它的每个产生式α→β是这样一种结构：α∈(VT∪VN)*且至少含有一个非终结符，而β∈(VT∪VN)*，则G是一个0型文法。0型文法也称短语文法。一个非常重要的理论结果是：0型文法的能力相当于图灵机(Turing)或者说，任何0型文语言都是递归可枚举的，反之，递归可枚举集必定是一个0型语言。0型文法是这几类文法中限制最少的一个，所以一般见到的至少是0型文法。
恩，果然看不懂啊。仔细对了几遍，原来左边有大写的就是0型文法。。。
1型文法继承0型文法，定义就不写了，省的自己看不懂。A->Ba，这种就是1型文法，判断方法就是左边的字母不多于右边，这样简单吧。
2型文法继承1型文法。这个也简单，左边的全是大写就行了。Aa->BbC，这种就不是了。
3型文法继承2型文法。3型文法多了个属性，叫左尿性。。。呃，左线性右线性。说着麻烦，举个例子：A->a,这个是0型，对吧?A->a,A->Ba这个的意思是A能推出a，还能推出Ba，可以合在一起写成A->a|Ba。好，判断的方法就是这个合写，写成Ba是左线性，如果写成aB就是右线性，还是看大写在哪边。
软考视频讲的文法部分就这样了，其他的基本上就没看懂，转换正规式和自动机那还懂一点点，下次再说吧。
顺便贴一下文法部分的图，不能白画啊- -
内容来自用户分享和网络整理，不保证内容的准确性，如有侵权内容，可联系管理员处理 
相关文章推荐
- 编译原理（龙书第二版）：语法分析相关习题及总结
- 编译原理第二章总结
- 编译原理 总结
- 总结extern “C”时引发的血案——c++的“编译、链接”原理与过程
- 【编译原理】概述总结（一）
- Atitit.java线程池使用总结attilax 1.1. 动态更改线程数量 1 1.2. code 1 三、线程池的原理 其实线程池的原理很简单，类似于操作系统中的缓冲区的概念，它的流程如下
- 编译原理第二次作业 编译器任务总结
- 编译原理总结
- 拒绝服务攻击原理总结
- 编译原理总结
- [置顶] 编译原理（自动机）软考考点总结
- 编译原理（自动机）软考考点总结
- 关于对编译原理第二次作业的总结
- 编译原理 总结
- 编译原理语法分析总结
- 编译原理－自动机理论总结
- 命令行下JDK自带编译javac和执行java，以及环境变量的原理总结
- 总结——哈工大编译原理课程（六）
- 编译原理总结
- 编译原理知识总结