que entienden por diseño de gramática para los lenguajes de programación?

Answer 1

Hola.
Buenas tardes.

Las gramáticas libres de contexto permiten describir la mayoría de los lenguajes de programación, de hecho, la síntaxis de la mayoría de lenguajes de programación está definida mediante gramáticas libres de contexto.

Por otro lado, estas gramáticas son suficientemente simples como para permitir el diseño de eficientes algoritmos de análisis sintáctico que, para una cadena de caracteres dada determinen como puede ser generada desde la gramática.

El diseño de gramática se han usado con éxito para la descripción de lenguajes de programación. Las gramáticas expresadas permite especificar la sintaxis y la semántica de un lenguaje de programación y enfatizar la relación entre sintaxis y las acciones necesarias para realizar una orden.

El diseño de gramática en un lenguaje de programación se expresa como un conjunto de reglas que especifica los usos y acciones correcto de dicho lenguaje basados en órdenes.

Comúnmente, el diseño de nuevos lenguajes de programación se realiza en base a diseños de gramáticas ya existentes.

Saludos.
Espero te ayude.

Answer 2

El diseño de la gramática de un lenguaje de programación implica la especificación de los componentes de una gramática independiente del contexto: conjunto de símbolos terminales, conjunto de símbolos no terminales, conjunto de producciones y producción inicial.
Estos tipos de gramáticas definen el comportamiento del analizador sintáctico (parser) del compilador. Corresponde a la segunda fase de un compilador diseñado con el modelo análisis/síntesis: el análisis sintáctico. La primera fase, el análisis léxico, está a cargo de otras estructuras matemáticas: los autómatas finitos (determinísticos o no determinísticos). La tercera fase, el análisis semántico, parte de la gramática independiente del contexto para la construcción de un árbol de análisis sintáctico apoyado sobre una tabla de símbolos.
Las gramáticas, los autómatas y las máquinas de estado, entre otras estructuras matemáticas, están comprendidas en la teoría de lenguajes formales. La teoría de compiladores utiliza la teoría de lenguajes formales.

Answer 3

para mi es mas familiar el termino de diseno de patrones design pattern
En pocas palabras
Si tu, profesionalmente, o como hobby, te dedicas a programar, de seguro has escuchado hablar a diestra y siniestra de los famosos patrones de diseño. Que el singleton, que el factory, que el mvc.
Para proyectos grandes es mas facil a trabajar respectando uno de estos patronas pero no es recomandable como raporte esfuerzo/resultado para todos tipos de proyectos.
el lenguaje mas usado en los ultimo anos para describir la estructura de una aplicacion software y las relaciones entre varios modules - es decir para describir su gramatica es UML
sio quieres ver un ejemplo simple aqui:
http://www.hipertexto.info/documentos/uml.htm
uno mas complejo ahi
http://es.tldp.org/Tutoriales/doc-modelado-sistemas-UML/multiple-html/x219.html
bueno esto es segun yo un ejemplo practico de la "gramatica" es verdad que no encontro este terminohasta ahora
yo uso design pattern y pseudocodigo
pseudo cdigo es un lenguage simplificado que describe la logica segfencial de un programa;es usado para describir algoritmos