The Backus-Naur form (BNF)

La forma de Backus-Naur (BNF) (también conocido como forma normal de Backus) es un metasyntax usado para expresar gramáticas independientes del contexto: es decir, una manera formal de describir lenguajes formales. BNF se utiliza extensamente como notación para las gramáticas de los lenguajes de programación de la computadora, de los sistemas de comando y de los protocolos de comunicación. Pueden también ser utilizados como notación para representar partes de gramáticas de la lengua natural. Por ejemplo vea la gramática para el metro en la poesía de Venpa. La mayoría de los libros de textos para la teoría y/o la semántica del lenguaje de programación documentan el lenguaje de programación en BNF. Algunas variantes, por ejemplo ABNF, tienen su propia documentación.

BNF fue nombrado originalmente después de Juan Backus y más adelante (en la sugerencia de Donald Knuth) también después de Peter Naur. Eran dos pioneros en informática, especialmente en el arte del diseño del recopilador. La forma de Backus-Naur o las gramáticas de BNF tiene semejanzas significativas a las reglas de la gramática de Panini, y a veces también se refiere como forma de Panini-Backus. BNF fue creado como parte de crear las reglas para ALGOL 60.