目录
1.文法
1.1终结符和非终结符
终结符: 通俗的说就是不能单独出现在推导式左边的符号,也就是说终结符不能再进行推导。
非终结符: 不是终结符的都是非终结符。非终结符可理解为一个可拆分元素,而终结符是不可拆分的最小元素。
判断注意:
- 只要存在有 S→L ,则 S 必然是个非终结符
- 逗号,[,],(,) 这5个都是终结符
- 一般书上把非终结符用大写字母 表示,而终结符用小写字母表示。
识别符号: 就是开始符。由文法产生语言句子的基本思想是:
从识别符号开始,把当前产生的符号串中的非终结符号替换为相应规则右部的符号串,直到最终全由终结符号组成。这种替换过程称为推导或产生句子的过程,每一步成为直接推导或直接产生。
例如:
有文法G2[S]为:
S->Ap
S->Bq
A->a
A->cA
B->b
B->dB
则表示:S 为开始符,S,A,B 为非终结符,而p,q,a,b,c,d 为终结符
1.2文法的类型
0型文法(短语文法)
对应于图灵机
产生式形式:α→β</