Gramtica de los lenguajes de Programacin

Es el conjunto de reglas capaces de generar todas las posibilidades combinatorias de ese lenguaje. Tiene dos sentidos:

Una gramtica G desde el punto de vista de un autmata, es decir el conjunto de reglas finitas que describen toda la secuencia de smbolos pertenecientes a un lenguaje especifico.

Lenguaje formal

Descripcin formal de la gramtica de un lenguaje natural.

Gramtica de un
lenguaje Formal

Imaginemos una gramtica con estas dos formas: 1.- A bAc 2.- A de La idea es sustituir el smbolo inicial de la izquierda por otros smbolos aplicando las reglas. El lenguaje al cual representa esta gramtica es el conjunto de cadenas de smbolos que pueden ser generados de esta manera: (en este caso lo siguiente) A bAc bbAcc bbbAccc - bbbdeccc

Se utiliza en analoga con el concepto de gramtica, usado tradicionalmente para los lenguajes naturales. Por lo tanto, es el conjunto de reglas combinatorias de un lenguaje formal.

El elemento en maysculas es el smbolo inicial. Los elementos en minsculas son smbolos terminales. Las cadenas de la lengua son aquellas que solo contienen elementos terminales, como por ejemplo: bbbdeccc Estas serian tres posibles realizaciones del lenguaje cuya gramtica hemos definido con dos reglas .

En matemticas, lgica, y las ciencias computacionales, un lenguaje formal es un conjunto de palabras (cadenas de caracteres) de longitud finita formadas a partir de un alfabeto (conjunto de caracteres) finito. El trmino lenguaje formal se utiliza en muchos contextos (en las ciencias, en derecho, etc.) para referirse a un modo de expresin ms cuidadoso y preciso que el habla cotidiana. Sin embargo, hoy en da, el punto de vista de que la naturaleza esencial de los lenguajes naturales difiere de manera importante de aquella de los verdaderos lenguajes formales gana cada vez ms adeptos. Un posible alfabeto sera, digamos, {a, b}, y una cadena cualquiera sobre este alfabeto sera, por ejemplo, ababba. Un lenguaje sobre este alfabeto, que incluyera esta cadena, sera: el conjunto de todas las cadenas que contienen el mismo nmero de smbolos a que b, por ejemplo. La palabra vaca (esto es, la cadena de longitud cero) es permitida y frecuentemente denotada mediante o . Mientras que el alfabeto es un conjunto finito y cada palabra tiene una longitud tambin finita, un lenguaje puede bien incluir un nmero infinito de palabras. Algunos ejemplos varios de lenguajes formales: * el conjunto de todas las palabras sobre {a, b} * el conjunto {an: n es un nmero primo} * el conjunto de todos los programas sintcticamente vlidos en un determinado lenguaje de programacin

Gramtica de un lenguaje natural.

Es la que explicita las reglas combinatorias mentales a partir de formulas lgicomatemticas. Estas reglas combinatorias que se utilizan en el leng. Natural reciben el nombre de:

sintaxis

Sintaxis
Conjunto de reglas formales que para un lenguaje de programacin determinan si una secuencia de cdigo fuente es un programa bien formado en este lenguaje.

Ejemplos de programas con uso de sintaxis

#include int main (void) {printf("Hola mundo!!."); return 0; En el caso de C son los caracteres { (Abrir llave) y } (cerrar llave).

La gramtica en pseudocdigo
Ejemplo de hola mundo en pseudocdigo quedara as: Programa Hola-mundo Inicio-programa Escribe "Hola mundo! Fin-programa Los equivalentes de Program, Begin y End son Programa, inicio-programa y fin-programa.

Ejemplos de programas con uso de gramtica

El comando if de UNIX tiene una sintaxis muy particular. Este comando se usa para comparar y tomar decisiones en funcin de una condicin. Por ejemplo se puede usar para comparar dos nmeros o cadenas. sintaxis del comando if Escribi: if [condicion ] then comandos1 (si condicion cierta); else comandos2 (si condicion falsa); fi Tambin tiene un formato "corto" sin el else (accin en caso de que al aplicar la condicion el resultado sea "falso") sintaxis del comando if sin else Escribi: if [condicion ] then comandos1 (si condicion cierta); fi El comando siempre comienza con la expresin if y acaba con la expresin fi