首先，什么叫做左递归呢？ 一个左递归的语法通常有这样的形式 : A-> Aa .而自顶向下的语法分析是无法处理左递归语法的。为什么呢？无论是递归分析还是预测分析或者是LL文法分析，在碰到左递归这种语法时都会陷入死循环当中。如果我们用递归分析，那么在分析A这个非终结符号的时候就会调用functio.....
分类：
其他好文 时间：
2014-10-12 20:39:48
阅读次数：
437
1、let mut x = 10i; 用学术的话来说，let代表文法级别的名字绑定（到value对象）
println！是宏，第一眼看到它时还以为是学习Ruby，！代表函数有副作用呢
destructuring let：解构绑定这个概念来自于LISP/Erlang？
2、表达式语言：if是表达式；加上分号就变成语句；return x;等同于直接的一个x
还有，它的if/for/...
分类：
编程语言 时间：
2014-10-11 11:41:35
阅读次数：
653
形式化规格技术：1、定义： 对系统或者对象及其期望的特性或者行为进行的描述。规格所要描述的内容包括：功能特性（做什么）、行为特性（具体行为演化-如何做）、结构特性（系统的组成，子系统间的联系和复合）、时间特性（时间相关的系统特性）。形式化规格就是通过具有明确数学定义的文法和语义的语言实现以上描述。2...
分类：
其他好文 时间：
2014-10-09 13:40:33
阅读次数：
196
文法：1.法制；法规。 2.文章的作法。 3.语法。语言的结构方式。包括词的构成和变化﹐词组和句子的组织。文法即文章的书写法规，一般用来指以文字、词语、短句、句子的编排而组成的完整语句和文章的合理性组织。这个是我们小时候接触过的关于文法的概念，那个时候的文法总是会和主语，宾语，谓语等联系在一起。
二十年过去了，今天她再次出现在我面前，还是一样的眼神，藏在记忆深处的“文法”跟眼前的...
分类：
其他好文 时间：
2014-10-08 10:07:15
阅读次数：
258
描述语言语法结构的形式规则称为文法。文法是一个四元组，具体组成如图所示。文法一共四类，若文法G=（Vn,Vt,P,S）的每个产生式α→β，均有α∈(Vn∪Vt)*，则称G为0型文法。在0型文法上加以扩展，则得到以下文法：1型文法：G的任何产生式α→β（S→ε除外）均满足左部中文法符号的个数小于右部文...
分类：
其他好文 时间：
2014-09-29 20:46:41
阅读次数：
202
为什么要研究这些，除了个人兴趣之外，还有可以了解语言是怎样解析字符串生成逻辑代码。他的应用性也是非常之广，如人工智能方面，把复杂的逻辑抽象成简单的文法，不懂编程的人都可以使用说到人工智能，数据库SQL查询也算是，大家可能会觉得，这也算人工智能？是的，如果程序员完全用过程方式去写逻辑查询的话，会疯掉，...
分类：
编程语言 时间：
2014-09-26 19:48:48
阅读次数：
349
Markdown文法测试=====这篇文章主要是用来测试Markdown 文法的，如果一不小心写长啦，我就把它发布出来----- 以上是这篇文章的主标题和副标题，是用markdown的语法写出来的，个人觉得很赞！刚开始写的时候用的是文字两边加双线和单线的写法，很明显，是我搞错了！应该是将线加在文字的...
分类：
其他好文 时间：
2014-09-26 19:08:58
阅读次数：
120
这是语法归约最后一部分了，文法当中还有个外部归约。它已经在前面以及这里都提及到了，也就是把全局声明定义和函数定义整合的过程，最后归约成一颗完整的树。根结点就是translation-unit，因此不再单独示例！其次，文法不是C的全部，真正的C还要包括语义分析部分，也就是把文法推导出来东西进行有意义化！即文法上推出的东西不是全部都合法的！c只用了文法推导结果中的一个子集，而不是全集！好比汉语词汇组合说出来的东西不是全部都有意义，可以有脏话废话和不是人话^_^...
分类：
其他好文 时间：
2014-09-25 17:22:47
阅读次数：
201
笔者在该文章中实现了一个类似于Lex & Yacc的编译器前端构造工具，该工具可以构造指定词法文法的编译器前端，并且构造的分析器是线程安全的。...
分类：
其他好文 时间：
2014-09-25 01:15:48
阅读次数：
740
语法分析器
语法分析器(grammar parser)是编译器的核心部分之一，它的作用是检测词法分析器返回的token序列是否符合文法定义的规则。一个完整的语法分析器除了检测语法正确性外还要包含对出错的处理以及错误恢复等功能。...
分类：
其他好文 时间：
2014-09-24 10:37:26
阅读次数：
283
