对于例4.1的文法G,可以给出直接推导的一些例子如下:
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。
对于例4.2的文法G,直接推导的例子有:
v=〈标识符〉,w=〈标识符〉〈字母〉,直接推导:〈标识符〉
〈标识符〉〈字母〉,使用的规则:〈标识符〉→〈标识符〉〈字母〉,这里γ=δ=ε
v=〈标识符〉〈字母〉〈数字〉,w=〈字母〉〈字母〉〈数字〉,
直接推导:〈标识符〉〈字母〉〈数字〉
〈字母〉〈字母〉〈数字〉,使用的规则:〈标识符〉→〈字母〉。这里γ=ε,δ
〈字母〉〈数字〉。
v=abc〈数字〉,w=abc5,直接推导:abc〈数字〉
abc5, 使用的规则:〈数字〉→5,这里γ=abc,δ=ε。