| 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. |
| |
|
| 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 |
|
| |
|
<sentencia> |
|
|
| |
____________ | ________________|_________________ | ____________ | |
| |
| | | | | | |
| |
<sujeto> |
<verbo> |
<objeto> |
|
| |
| | | | | | |
| |
1. Ella |
envio |
la carta |
|
| |
2. El |
escribio |
el libro |
|