Teoria de conjuntos

SINTAXIS
Un programa en cualquier lenguaje se puede concebir como un string de caracteres escogidos de algún conjunto o alfabeto de caracteres. Las reglas que determinan si un string es un programaválido o no, constituyen la sintaxis de un lenguaje. Posteriormente, se estudiarán ciertas notaciones denominadas expresiones regulares y gramáticas libres de contexto, muy usadas no sólo paraespecificar las sintaxis de los lenguajes de programación sino también para contribuir en la construcción de sus compiladores.

SEMANTICA
Las reglas que determina el significado de los programasconstituyen la semántica de los lenguajes de programación. Es más difícil de especificar que la sintaxis.
Los siguientes son algunos enfoques para especificar la semántica de los lenguajes:
SemánticaInterpretativa (u Operacional)
Un lenguaje de máquina tiene su semántica definida por el computador. Un programa en lenguaje de máquina "significa" exactamente lo que el computador hace cuando el programa"corre" o se ejecuta. Sin embargo, con un lenguaje de alto nivel no se puede dejar que el computador defina la semántica del lenguaje, puesto que no es posible "correr programas y ver" hasta que setenga un compilador. No se puede tener un compilador y saber qué es correcto hasta haber definido lo que los programas significan.
Este enfoque interpretativo para definir la semántica de los lenguajesde programación consiste en postular una máquina abstracta y proveer reglas para la ejecución de programas sobre esta máquina abstracta. Así, estas reglas definen el significado de los programas.Usualmente, la máquina abstracta se caracteriza por un estado consistente de todos los objetos datos, sus valores, y los programas con sus contadores de programa. Las reglas semánticas especifican cómo elestado es transformado por las diversas construcciones de los lenguajes de programación.
Traducción
La traducción de un lenguaje assembly a lenguaje de máquina (que es directa y comprensible),...