República Bolivariana de Venezuela

Ministerio del poder popular para la Defensa

Universidad Nacional Experimental

De la Fuerza Armada Nacional

U.N.E.F.A.

Ing. de sistemas

Núcleo Delta Amacuro.

Facilitador: Bachiller:

Ing. Melvin Romero Daniela Morillo

Tucupita, Febrero de 2018

 Introducción

La semántica es el campo que tiene que ver con el estudio riguroso desde un
punto de vista matemático del significado de los lenguajes de programación. La
semántica describe el proceso que una computadora sigue cuando ejecuta un
programa en ese lenguaje específico. Esto se puede mostrar describiendo la
relación entre la entrada y la salida de un programa, o una explicación de cómo el
programa se ejecutará en cierta plataforma, y consecuentemente creando un
modelo de computación.

Existen varios tipos de semántica: la semántica formal, semántica

denotacional, la semántica operacional, la Semántica axiomática.
La Semántica

Estudia el significado de los símbolos, por lo que se introduce el concepto de

interpretación (conjunto de reglas precisas que permiten asignar objetos de un
dominio a ciertas expresiones de un lenguaje formal).

Asigna un significado a las construcciones sintácticas. Junto con la sintáctica

ayuda a definir un sistema formal.

En general, dar significado a las fórmulas (interpretar) de un lenguaje formal

consiste en definir una función: FBF (L) ⇒ {V, F}

Le asigna el “valor de verdad” a las f.b.f. (decir si son verdaderas o falsas).

Composicionalidad: el significado de una expresión compleja depende de los

significados de sus expresiones componentes.

Cálculo de la función FBF (L): o Asignación de valor de verdad a todas las

fórmulas atómicas de L:

Función de valoración (v): FA (L) ⇒ {V, F}.

Ej. V (p) = V; V (q) = F

Asignación de valor de verdad a todas las fórmulas moleculares de L:

Cada conectiva está completamente definida por su función de verdad

El valor de verdad de una fórmula molecular es función de su conectiva

principal.

Ampliación de la función de valoración (v) a fórmulas moleculares: FM (L) ⇒

{V, F}

La semántica formal

Es el estudio de las interpretaciones de los lenguajes formales. Los

lenguajes formales pueden definirse sin necesidad de dar ningún significado a sus
expresiones. Una interpretación de un lenguaje formal es básicamente una
asignación de significados a sus símbolos, y de condiciones de verdad a sus
fórmulas bien formadas.
 Semánticas formales ayudan, por ejemplo, a escribir compiladores, a tener
un mejor entendimiento de lo que un programa está haciendo y a hacer
determinadas pruebas, como demostrar que el siguiente código if 1 == 1 then S1
else S2 tiene el mismo efecto que S1 por sí solo.

Semántica denotacional

Consiste en definir funciones de valoración semántica que asignan a cada

elemento del lenguaje un objeto matemático (como un conjunto) que modele su
significado.

La semántica operacional

Es uno de los enfoques de la semántica formal, en el que el significado de

una construcción de lenguaje es especificado por la computación que la induce
cuando es ejecutada en una máquina hipotética. La semántica operacional se
preocupa más por el "cómo" se ejecutan los programas en lugar de hacer énfasis en
los resultados.

Tipos de semántica operacional:

El enfoque de semántica operacional posee dos versiones:

1. Semántica operacional estructurada: especifica más de detalles de la

ejecución, dando un paso más pequeño.

2. Semántica natural: Simplifica la notación y oculta los detalles, para

dar un paso más grande.

La Semántica axiomática

Es un enfoque basado en la lógica matemática para demostrar la correctitud

de un algoritmo. Está estrechamente relacionado con la lógica de Hoare. La
semántica axiomática define el significado de un comando dentro de un programa,
mediante la descripción de su efecto sobre las aserciones acerca del estado del
programa.

Objetivo de la semántica formal.

Dado un LPO, definir de modo preciso el significado de sus fórmulas.

Conceptos semánticos usados en semántica formal.

Dominio de interpretación D:

Dominio: conjunto no vacío de objetos

Relaciones n-arias: subconjuntos de Dominio n

Funciones n-arias: n-tuplas de objetos del dominio ↦ objetos del dominio

Función de interpretación i ():

Fórmulas ↦ {V, F}

Términos ↦ objetos del dominio

Predicados y funciones ↦ relaciones y funciones sobre objetos del dominio

Interpretación I: <D, i ()>

Un dominio no vacío de individuos, D

Una función i () de individuos de D, funciones y relaciones sobre D a todas

las constantes, funciones y predicados del LPO.

Modelo: tipo particular de interpretación en la que:

Las premisas de una teoría T son verdaderas: T ↦ {V}

Dominio de Interpretación

Una interpretación es un par <D, I>, donde D es un conjunto no vacío

llamado el dominio de discurso e I es una función llamada la función de
interpretación definida como sigue:

Si a es un nombre, entonces I le asigna un elemento del dominio.

Si f es un factor de aridad n, entonces I le asigna una función de n argumentos que

toma elementos del dominio y devuelve elementos del dominio.

Si P es un predicado de aridad n, entonces I le asigna un conjunto de n-tuplas

construidas a partir del dominio.
 Luego es posible definir la noción de verdad para una interpretación (para las
oraciones de Q):8

P (t1,..., tn) es verdadera para la interpretación M si y sólo si la n-tupla formada por

las interpretaciones de t1,..., tn es un elemento de la interpretación de P.

¬A es verdadera para la interpretación M si y sólo si A es falsa bajo esa

interpretación.

(A ∧ B) es verdadera para la interpretación M si y sólo si A es verdadera y B es

verdadera bajo esa interpretación.

(A ∨ B) es verdadera para la interpretación M si y sólo si A es verdadera o B es

verdadera bajo esa interpretación.

(A → B) es verdadera para la interpretación M si y sólo si A es falsa o B es

verdadera bajo esa interpretación.

(A ↔ B) es verdadera para la interpretación M si y sólo si A y B son ambas

verdaderas o ambas falsas bajo esa interpretación.

Una fórmula es falsa bajo una interpretación si y sólo si no es verdadera bajo

esa interpretación.

Idea de partida: las expresiones de un lenguaje significan cuando refieren a

algo distinto de ellas mismas, cuando hablan de algo: un dominio, un universo de
discurso.

Por tanto, el punto de partida para dar significado a las fórmulas de un LPO
es la elección de un dominio de interpretación:

Dominio = Conjunto no vacío de individuos

Ejemplos: D = {Sol, Tierra, Luna} D = N Cualquier conjunto bien definido de objetos

es aceptable como dominio de interpretación.