Descripcin del significado de

instrucciones y expresiones

SEMANTICA FORMAL

Semntica formal puede ser:

axiomtica,
operacional
denotacional

Por qu semntica formal?(1)

Destructor britanico H.M.S.

Sheffield hundido en guerra de
Malvinas.

El radar de alerta de la nave

estaba programado para
identificar el misil Exocet como
aliado debido a que el arsenal
Ingles incluye el homing
device de los Exocet y permiti
o que el misil alcanzara su
blanco (el H.M.S. Sheffield).

Por qu semntica formal?(2)

Elecciones
enScheswigHol
stein(Alemania)
(Causa:
Redondeo al
Partido Los
Verdes del 4.97
% al 5.0 %,
1992)

Por qu semntica formal?(3)

Falla en el
despegue del
satlite Ariane 5
causado por
software error en la
rutina de manejo
de excepciones
resultante de una
mala conversin de
un punto flotante
de 64-bit a un
entero.

Simple
Ejemplo

TRANSICIONES

Complejas

Ejemplo

EXPRESIONES
SEMNTICAS

La computacin a la derecha de la flecha esta

expresada de forma en la cual no ms transiciones
pueden ser aplicadas.

COMANDOS
SEMNTICOS

Se
puede
observar
como el estado, ,
permanece inalterado
durante la evaluacin
de una expresin y
como es usado solo
para obtener el valor
de una variable.

COMPUTACIONES

Existen dos tipos de

computacin:
finitas (terminales) y
divergentes (infinitas con
correspondencia a programas
de ciclos).

Ejemplo:

PRAGMATICA
Cul es el propsito de la construccin?
Cul es el uso de cierto comando?.

IMPLEMENTACIN
Escribir:
Compilador
Maquina abstracta