两级文法

众所周知的非上下文无关语言是

${\displaystyle \{a^{n}b^{n}a^{n}|n\geq 1\}.}$ 

这个语言的的两级文法是元文法

N ::= 1 | N1

X ::= a | b

以及文法模式

Start ::= ${\displaystyle \langle a^{N}\rangle \langle b^{N}\rangle \langle a^{N}\rangle }$ 

${\displaystyle \langle X^{N1}\rangle }$  ::= ${\displaystyle \langle X^{N}\rangle X}$ 

${\displaystyle \langle X^{1}\rangle }$  ::= X

• Van Wijngaarden文法

• Petersson, Kent (1990), "Syntax and Semantics of Programming Languages", Draft Lecture Notes, PDF text（页面存档备份，存于互联网档案馆）。