donde formula_14 es el símbolo distinguido (o inicial) de la gramática, formula_1 es un símbolo no terminal (o variable), formula_7 y formula_8 también son símbolos no terminales pero distintos de formula_14, α es un símbolo terminal, y ε es la cadena nula (o vacía).