上下文无关文法

用产生式规则描述语言，能表达嵌套结构。编程语言的语法基本都是它。