Beruflich Dokumente
Kultur Dokumente
Sist.Notacional
p/describir computaciones en forma legible tanto p/la máquina como p/el ser humano
ABSTR.DE DATOS: prop.de los datos (cadenas de caracteres, nros o árboles de búsqueda)
Otras Razones
Ej: la sintaxis del enunciado if en “C” se puede describir: “Un enunciado if está
formado por la palabra “if” seguida de 1expresión entre paréntesis, de 1enunciado,
de 1parte “else” opcional q consiste en la palabra “else” y de otro enunciado“.
En una estruct. if las palabras “if” y “else” son tokens. Otros tokens en leng.de
progr.incluyen identificadores (o nombres) símbolos p/operaciones como “+” y
“<=“ y símbolos especiales de puntuación como “;”
SEMANTICA DEFINICIÓN DEL LENGUAJE
DIFICULTAD “significado” se puede definir de diversas formas, describir el significado
de1porción de código involucra algún tipo de descripción de los efectos de su ejecución.
No existe1manera de estandarizar esta descripción
Ej: en el enunciado if de “C” la descripción semántica sería: “Un enunciado “if” es
ejecutado. 1ro. evaluando su expresión, q debe ser tipo aritmético o apuntador, incluyendo
todos los efectos posibles, y si se compara diferente de 0, el enunciado q sigue a la
expresión es ejecutado. Si existe 1parte else y la expresión es 0, el enunciado que sigue al
“else” es ejecutado.”
Inconvenientes:
La descripción no menciona q ocurre si la condición se evalúa igual a 0, sin existir una
parte “else”(presumiblemente no ocurre nada, es decir, el progr.seguirá en el
pto.siguiente después del enunciado if).
El enunciado “if” es seguro en el sentido que no existen otros mecanismos del leng. q
permitan q se ejecuten los enunciados dentro de un enunciado “if” sin la evaluac.
correspondiente de la expresión “if”. De ser así entonces un “if” proporciona la
protección adecuada contra errores durante la ejecución, como en el caso de la
división por 0
Se han desarrollado sist.de notación p/definiciones formales: la semántica operacional
(como se ejecutan), la semántica denotacional (funciones de valoración) y la
semántica axiomática (correctitud)