举例来说，定义一部语法G，其中S是起始符，且
N={S}
T={a，b，c}
P={S → aSc，S → b}
于是从串S开始，应用第一条产生式可得到串aSc，然后应用第二条产生式可得到串abc：
或者可以重复应用第一条产生式两次，然后再用第二条产生式，得到
