图灵机二义性_《编译原理复习笔记》第二章 文法

文法

一些基本概念：{

字母表：规定一组非空符号集合；

符号：字母表中的元素；

符号串：符号组成的有穷序列；

空符号串：用ε表示空符号串；

|符号串| = 符号串的长度；

x=ab，y=cd，则x+y=abcd；

符号串的幂运算：x^0=ε，x^1=xx，x^2=xx；

符号串集合的乘积运算：使用笛卡尔积的计算方式。

符号串集合的幂运算：在符号幂运算的基础上对集合进行笛卡尔积运算。

符号串集合的闭包：设有符号串集合A：{

A的正则闭包：A^+=A^1∪A^2∪A^3∪…..

A的闭包：A^*=A^+ ∪ A^0

}；

形式语言：序列的集合。每个形式语言包含构造某个特定符号串集合的所有规则。反之，任意符号串集合可悲定义为一个形式语言。

产生式：一个符号可以生成某个字符串，通常，表示为有序对：(A，a)即A->a；

文法四元组：G[S] = (Vn，Vt，P，S)：{

Vn为非终结符集合，Vt为终结符集合，P为产生式集合&