Una especificación de BNF es un sistema de reglas de derivación, escrito como: