编译基础

1.连接乘积运算

定义：若串集A={α₁，α₂，...}，串集B={β₁，β₂，...}，则乘积AB={αβ|α∈A and β∈B}

注：串集的自身乘积称作串集的方幂

        A⁰={ε}

       字母表A的n次方幂是字母表A上所有长度为n的串集

2.字母表A的闭包（A^*）

A^*=A⁰  ∪ A¹  ∪  A² ∪  ...      由A上符号组成的所有串的集合，包括空串

3.字母表A的正闭包（A⁺）

A⁺⁼ A¹  ∪  A² ∪  ...=A^*  - ε    由A上符号组成的所有串的集合，不包括空串

语言是字母表上符合某种规则的语句组成的，字母表上语言，是字母表上正闭包的子集。

 文法

文法是描述语言的语法结构的形式规则。

1.非终结符

出现在规则的左部，用<>括起来，表示一定语法概念的词。非终结符集合用V_N

2.终结符

语言中不可在分的字符串。终结符是组成句子的基本单位。终结符集合用V_T

开始符号

表示所定义的语法范畴的非终结符，开始符号又称为识别符号