Gramáticas formales
Una gramática es una colección estructurada de palabras y frases ligadas por reglas que definen el conjunto de cadenas de caracteres que representan los comandos completos que pueden ser reconocidos por un motor de discurso.
Las gramáticas definen formalmente el conjunto de frases válidas que pueden ser reconocidas por un motor de discurso.
Una forma de representar las gramáticas es a través de la forma Bakus-Naur (BNF), la cual es usada para describir la sintaxis de un lenguaje dado, así como su notación.
La función de una gramática es definir y enumerar las palabras y frases válidas de un lenguaje. La forma general definida por BNF es denominada regla de producción y se puede representar como:
Las partes de la forma general BNF se definen como sigue:
– El «lado izquierdo» o regla es el identificador único de las reglas definidas para el lenguaje. Puede ser cualquier palabra, con la condición de estar encerrada entre los símbolos <>. Este elemento es obligatorio en la forma BNF.
– El operador de asignación = es un elemento obligatorio.
– El «lado derecho», o sentencias y frases, define todas las posibilidades válidas en la gramática definida.
– El delimitador de fin de instrucción (punto) es un elemento obligatorio.
Fuente: Apunte Análisis, diseño e implantación de algoritmos de la facultad de contaduría y administración, UNAM
