编译原理--文法基础知识

引言：最近一直在看编译原理，刚开始选择看课本，看了一段时间后发现书上写的太复杂，作者仿佛是不把你绕晕了就显示不出他水平高似的，一个简单的概念绕啊绕，不知所谓，让我非常的郁闷，后来在网上找了些视频来看，哦，才发现原来也不是很难。

这篇文章先简单的介绍一下文法部分的基础知识：

形式语言基础知识

• 字母表：符号的非空有限集合称为字母表
• 符号串：由字母表中的符号组成的有限符号序列称为该字母表的符号串
• 符号长度：|a|,即a中出现的符号个数
• 前缀：符号串a末尾删除零个或多个符号后得到的符号串
• 后缀：符号串a开头删除零个或多个符号后得到的符号串
• 子串：符号串a删除前缀和后缀之后的符号串
• 子序列：符号串a删除0或多个符号（可以不连续）得到的符号串。
• 语言：某个确定的字母表上符号串的任何集合。
• 终结符：不可再分的元素，一般用小写字母代替
• 非终结符：可以再次拆分的元素，一般用大写字母代替

非形式化语言运算

• 语言L和M的合并，LUM={s|s∈L或 s∈M}
• 语言L和M的连接，LM={st|s∈L，t∈M}
• 语言L的Kleene闭包，L*=
• 语言L的正闭包，L+=   

    第3条表示0个到无穷多个L元素的集合，第4条表示1个到无穷多个L元素的集合，例如
    L1 ={a,b,…y,z} M1 ={1,2…8,9 } （L1UM1）={a,b,… y,z，1,2…8,9 }
   （L1UM1）*={a,b,… y,z，1,2…8,9 ，aa,1a,…xyz,6789st..}
    L1（L1UM1）*={所有字母打头的字母和数字符号串}

    

    好了，文法的前续工作已经准备完毕，然后咱们再说说文法的用途，文法是一种形式化语言，知其作用：文法是通过生成方式描述语言的：语言中的每个句子可以用严格定义的规则来构造。

    我的理解是，每种语言都有自己的规则，比如说汉语，最常见的规则是：主语+谓语+宾语，每种编程语言也都有其自己的语法规则，文法就是对源代码中的单词串进行约束的一种规则。
文法
    文法是一个四元组:G={VT,VN,S,P}
    VT:非空有限符号集合，它的每个元素为终结符号，如abc
    VN：非空有限符号集合，它的每个元素为非终结符号，如ABED
    S：属于非终结符集合，是文法G的开始符号
    P：是一个非空有限集合，它的元素为称为产生式
文法约束
    VN和VT不含公共的元素，即VN ∩ VT = φ（大写和小写不会有交集）
    用V表示VN ∪ VT ，称为文法G的字母表。

    规则，也称产生式或生成式，是形如α→β，α称为规则的左部，β称作规则的右部，开始符S必须出现在某一个产生式的左部一次。

相关文章链接《编译原理--文法分类和推导树》