程序语言的大多数语法现象可用上下文无关文法描述。对于一个上下文无关文法 G=(N，T，P，S)，其中N是非终结符号的集合，T是终结符号的集合，P是产生式集合，S是开始符号。令集合V=N∪T，那么G所描述的语言是(50)的集合。