编译原理-第三章-文法和语言

符号串：字母表中的符号所组成的任何有穷序列。例，V={a，b，c}是一个字母表，则a，b，c，aa，ab，bc，abc等等都是V上的符号串 空串：不含有任何符号的串称为空串，记作 句子：字母表上符合某种规则构成的串 语言：字母表上句子的集合 注：约定用a, b, c…表示符号；用, , …表示符号串；用A, B, C表示其集合 对于例3.1的文法G:S→0S1，S→01 ，可以给出直接推导的一些例子如下： v=0S1，w=0011，直接推导：0S1  0011，使用的规则：S→01，这里=0，=1。 v=S，w=0S1，直接推导：S  0S1，使用的规则：S→0S1，这里=，= v=0S1，w=00S11，直接推导：0S1  00S11，使用的规则：S→0S1，这里=0，=1。 0型文法（短语文法）的能力相当于图灵机，可以表征任何递归可枚举集，而且任何0型语言都是递归可枚举的