编译原理之基本概念

一、上下文无关文法

1. 四个基本要素
   ① 终结符 - - - 仅出现在左部，一般用小写字母表示
   ② 非终结符- - - 一般用大写字母表示
   ③ 开始符号 - - - 一种特殊的非终结符
   ④ 产生式集合

   eg.
   E → E + E
   E → （E)
   E → i
   其中 E为非终结符、（）和i 为终结符，位于产生式左边的E为开始符号，整个集合为产生式集合。

2. 形式定义
   
   上述例子可表示为 G = （{（，），i}，E，E，P}

二、推导与归约

1. 如果存在一个直接推导序列：
   
   称一个从a0到an的长度为的推导
   a0可推导出an
   a0可归约到an

2. a0经一次或若干次推导得an，记作：
   

3. a0经0次或若干次推导得an，记作：
   

三、句型、句子、语言

1. 句型
   
   则称a为一个句型（推导产生的中间结果+推导产生的结果+开始符号）
   任意一个由终结符和非终结符组成的串不一定的句型！！！

2. 句子
   仅含终结符的句型称为句子。

3. 语言
   文法G组成的句子的整体称为语言。