一直都说编织知识网，利用已有的节点去建立新的节点，但是一直做的不好，今天看到对文法解释的这个例子，真真切切的体会到了编织知识网给我们带来的巨大好处。
文法给你的印象什么样的？抽象？晦涩？不知所云？神马终结符、字母表、产生式、闭包、自动机……晕死
但是看完下面的例子，你会感叹：原来这就是文法！
文法就是用来描述语言的语法结构的形式规则，所以先有这样一个认识，文法就是语法。
例子（摘自：软件设计师考试）：
张三和李四是工程师。
由5个词组成：张三 和 李四 是 工程师
组成一个句子：由主语、谓语构成。我们知道中文的文法：
<句子> --> <主语> <谓语>
<主语> -- > <名词词组>
<名词词组> --> <名词> <连词> <名词词组>
<谓语> --> < 动宾词组>
<动宾词组> --> <动词> <宾语>
<宾语> --> <名词>
<名词> --> 张三丨李四丨工程师
<连词> --> 和
<动词> --> 是
在上面的例子中，所有用<>包括起来的都是“非终结符”，而所有直接写出来的就是“终结符”，以上规则就是“产生式”。
基于上述说法，现在看下面的概念
非终结符：它不是语言的组成部分，而是在推导过程中的占位符，最终要替换成终结符。
终结符：语言是组成部分，是最后的内容。
产生式：用终结符替代非终结符的规则。
起始符：能够用于语言开头的符号，在本例中的<主语>就是起始符。
原本晦涩难懂的概念，是不是一下清晰了很多。
根据上面的产生式，下面我们来看句子是如何被推导出来的：
<句子> => <主语><谓语>
=> <名词词组><谓语>
=> <名词><连词><名词词组><谓语>
=> <名词><连词><名词词组><动宾词组>
=> <名词><连词><名词词组><动词><名词>
=> 张三和李四是工程师
我们从中可以发现，它也可以推导出“张三和工程师是李四”，这句话是符合语法的，但是语义有问题，所以语法的分析只能发现语法上的错误。
那么联想一下，词法分析呢？还记得我们经常分析的问题吗？
(0|1)*01这是一个由0、1组成的字符串，并且以01结尾。所以不难想到，程序编译时怎么判断变量的命名是否准确呢？构造一个以字母、下划线开头，由字母、下划线、数字组成的有限自动机即可。
原文地址：http://blog.csdn.net/augus3344/article/details/40479055
