例：1型（上下文有关）文法 　　文法G[S]： S→CD　　Ab→bA 　　 　　　　　C→aCA 　Ba→aB 　　　　　　 　C→bCB 　Bb→bB 　　　　　　　 AD→aD 　C→ε 　　　　　　　 BD→bD 　D→ε 　　　　　　　 Aa→bD 　　L(G)={ww|w∈{a,b}*} 　　例：2型（上下文无关）文法 　　文法G[S]： S→0A|1B|0 　　　　　 　　A→0A|1B|0S 　　　　　　　 B→1B|1|0 　　例：定义标识符的3型（正规）文法 　　文法G[I]： I → lT 　　　　　　　 I → l 　　　　　　　 T → lT 　　　　　　　 T → dT 　　　　　　　 T → l 　　　 　　 　 T → d 　　其中l表示a～z中的任何一英文字母，d表示0～9中的任一数字。