5.1.1 上下文无关语法

一个上下文无关词法（context-free grammar）由多个生产（productions）组成。每个部分都有一个抽象符号叫做一个非终止符（nonterminal）在它的左侧（left-hand side），而在它的右侧（right-hand side）是由零个或多个排列好的非终止符和终止符（terminal）符号组成的。对于每个语法，终止符符号都从一个指定的字母表中选取。

链式生产（chain production）是刚好在其右侧有一个非终止符，接着hi零个或多个终止符。

从一个单独的非终止符组成的句子开始，称为全局符号（goal symbol），给定的上下文无关语法规定了语言，是可能的终止符排列的集合（也许是无限的），可以通过用部分的右侧重复替换序列中的任何非终止符来产生，其中非终止符是左侧。