Lenguaje de Programación




Lenguaje de Programación Notación formal para describir algoritmos computacionales.
Sintaxis de un Lenguaje Conjunto de reglas que especifican la escritura de programas a partir de letras, dígitos y otros caracteres.

Alfabeto Conjunto de caracteres válidos.
Reglas de léxico Definen la manera en que los caracteres del alfabeto pueden combinarse para formar cualquier símbolo válido (identificadores).
Semántica Conjunto de reglas que especifican el significado de cualquier programa sintácticamente correcto.
Gramática Descripción sintáctica completa de un lenguaje.
BNF (Backus Naur form) Metalenguaje útil para especificar la definición sintáctica de un lenguaje.




<sentencia> <sujeto> <verbo> <objeto>
<sujeto> El | Ella
<verbo> escribio | envio
<objeto> la carta | el libro




Definciones

Regla Sintáctica <sentencia> <sujeto> <verbo> <objeto>
Símbolo de Inicio <sentencia>
"is defined as"
"or" |
Símbolos no Terminales <objeto>
Símbolos Terminales la carta





Proceso de Derivación (Arbol)



<sentencia>


____________ ________________|_________________ ____________

|                                 | |

<sujeto> <verbo> <objeto>

|                                 | |

           1.        Ella envio la carta

           2.          El escribio el libro





Alberto Pacheco
http://www.socrates.itch.edu.mx/~apacheco/teoria/leng.htm
Ultima actualización: Mzo 3, 1999