BNF (Forma Backus-Naur)

Es una notación creada por John Backus y Peter Naur para describir las gramáticas de contexto libre que definen un lenguaje de programación. La gramática describe cómo formar instrucciones a partir de palabras, es decir, nos da las reglas para construir oraciones que puedan ser entendidas por un lenguaje. Una gramática de contexto libre está formada por 4 elementos: símbolos terminales, símbolos no terminales, símbolo inicial y conjunto de reglas.

BNF se originó en los años 60 como una notación formal para describir la sintaxis de ALGOL 60, y ha sido usado hasta la fecha para describir la mayoría de lenguajes formales de programación.

Fuente: Apuntes de Informática VII de la FCA de la UNAM