编译原理学习（5）文法和语言总结与梳理

梳理第二章的内容，写一篇理解与总结。

文法：

以有穷的集合刻画无穷的集合的一个工具。用规则来说明句子的组成结构，用来表示无穷句子的语言描述。

句子与句型：

如果符号串x是由起始符号推导出的，则称x是文法G[S]的句型。

如果x中只包含终结符，则称x是文法G[S]的句子。

文法描述的语言是该文法一切句子的集合。

四种文法：

0型文法：α→β，其中α至少包含一个非终结符。

1型文法（上下文有关文法）：α→β，其中|β|≥|α|，S→ε除外。

2型文法（上下文无关文法）：a→β，其中a是一个非终结符。

3型文法（规范文法）：A→a或A→aB.

4种文法是逐渐增加限制的，所以规范文法一定是0型文法、1型文法、2型文法，上下文无关文法也一定是0型文法、1型文法...

规范推导：

最右推导为规范推导，由规范推导推出的句型称为右句型或规范句型。

文法的二义性：

一个句型可能对应多个语法树，一个句型可能对应多个最左/最右推导。

如果一个文法中的某个句子可以对应两个不同的语法树，则称这个文法是二义的。

两个不同的文法可能是一样的语言。

如果一种语言的所有文法都是二义的，则称此语言先天二义。

判定一个文法是否是二义的是递归不可解的。

尝试写出PL/0 语言的文法。（或者你认为比较好的语言规则）

整数n

<数字>->0|1|2...|8|9

标识符i

i::=1|2|3|..|a|b|c|d|...

表达式e

<表达式>-> [+|-]<项>{<加减运算符><项>}

条件语句

if A then B

赋值语句

<赋值语句>-><标识符>-><表达式>

复合语句

-> begin<语句>{ ；<语句>}<end>

函数

程序

...

原文地址：https://www.cnblogs.com/xyqzzz/p/11600256.html