对例4.1的文法，存在直接推导序列v=0S100S11000S11100001111=w，即0S1 00001111，也可记作0S1 00001111 　　对例4.2的文法，存在直接推导序列v=〈标识符〉〈标识符〉〈数字〉〈字母〉〈数字〉x〈数字〉x1=w，即〈标识符〉 x1，也可记作〈标识符〉 x1。 　　S，0S1，000111都是例4.1的文法G的句型，其中000111是G的句子。〈标识符〉〈字母〉，〈字母〉〈数字〉，a1等都是例4.2文法G的句型，其中a1是G的句子。