句型与句子,编译原理基本概念

字母表：符号的有限集合。 记作： Σ 例如：{a, b, … , x, m}
字符串（符号串）： 通常我们用到建立在 Σ 上的字符串：有穷的符号序 列。 例如：对于 Σ={a, b, c}, “ababc” 就是 Σ 上的一个字符串。
语言：语言是句子的集合。通常我们也只用建立在Σ上的语言，语言就是多个字符串的集合。例如 {ababc, ab, bc, …}
句子：能由文法G[Z]经过一系列推导，推出来的只含有终结符号的字符串，叫做此文法的一个句子。
符号（符号串的集合）：Σ* 是Σ上所有可能的字符串的集合。例如：Σ={a, b}, Σ* = { ε, a, b, ab, ba}
字母表V对应的一些量：
V*={x|x是V上的字符串且包括空串}
V+={x|x是V上的字符串且不包括空串}

句子和句型
定义：设G［Z］是一文法，若符号串x是由识别符Z推导而得，则称符号串x为该文法G的一个句型。
如果一个句型x仅由终结符组成，则称句型x为该文法一个句子。
注意：1.这里说的推导，是指带*号的推导，就是使用任意次规则。
2.句子是没有非终结符号的句型