法一般为左边formula_1右边。比如，z0 → z1 这个规则规定 z0 可以重写为 z1。左边为一个非终结符，但是右边不一定是个终结符。
例子.下面的形式文法代表一个整数。整数可能是有符号，就是说，可能是负数。下面使用巴科斯范式的变种来表示：在这个例子之中，符号 (-,0,1,2,3,4,5,6,7,8,9) 都是终结符，而 <digit> 和 <integer> 都是非终结符。