qq_41026895的博客

定义：设G为一个文法，U∷=u是G中一个规则，x和y是V*上的符号串，使得 v=xUy 与 w=xuy 成立，则称符号串v直接推导出符号串w，或称w直接归约到v，并把w叫做v直接派生式，记作 v ->w简单来说一个字符串v通过一个规则变换成另外一个字符串u叫做v推导出u反过来也叫做u规约到v...

字母表：符号的有限集合。 记作： Σ 例如：{a, b, … , x, m}字符串（符号串）： 通常我们用到建立在 Σ 上的字符串：有穷的符号序 列。 例如：对于 Σ={a, b, c}, “ababc” 就是 Σ 上的一个字符串。语言：语言是句子的集合。通常我们也只用建立在Σ上的语言，语言就是多个字符串的集合。例如 {ababc, ab, bc, …}句子：能由文法G[Z]经过一系列...

1.终结符它们不能被分解成更小的单位。确切地说，一个语法的规则不能改变终结符。例如说，下面的语法有两个规则：x -> xax -> ax在这种语法之中，a是一个终结符，因为没有规则可以把a变成别的符号。不过，有两个规则可以把x变成别的符号，所以x是非终结符。一个形式语法所推导的形式语言必须完全由终结符构成。2.非终结符非终结符是可以被取代的符号。一个形式文法中必须有一个起始...