Nociones Básicas de Sémantica: Semántica Denotacional

Tamaño: px

Comenzar la demostración a partir de la página:

Download "Nociones Básicas de Sémantica: Semántica Denotacional"

Francisco José Aguilar Molina
hace 8 años
Vistas:

1 Nociones Básicas de Sémantica: Semántica Denotacional Análisis de Lenguajes de Programación Mauro Jaskelioff 21/08/2015

2 Acerca de la Semántica Operacional En la semántica operacional el significado de un término es el término al que termina reduciendo. En realidad ese es el significado cuando ese término final existe: Términos atascados. Secuencias de reducción infinitas. No hay un significado inherente mas allá de la sintaxis de los términos. El foco está en el comportamiento; aspectos importantes como la no terminación surgen del comportamiento.

En realidad ese es el significado cuando ese término final existe: Términos atascados.

3 Semántica Denotacional En la semántica denotacional: Hay una función semántica que mapea sintaxis a significado. El significado se da en un dominio semántico Los dominios tienen objetos semánticos apropiados (booleanos, números, funciones,... ). Pero además poseen estructura. Las funciones semánticas son totales; en particular, incluso una computación divergente es mapeada a un elemento del dominio semántico.

El significado se da en un dominio semántico Los dominios tienen objetos semánticos apropiados

4 Ejemplo (1 + 2) * 3 = 9 Notar que (1 + 2) * 3 es sintaxis abstracta. Por el contrario 9 es el significado. En este caso el dominio semántico es Z. Usamos la notación, o variaciones como E para funciones semánticas. y se llaman corchetes de Scott, o también corchetes semánticos.

5 Composicionalidad Es usual requerir que la semántica denotacional sea composicional. El significado de un fragmento de programa está dado por el significado de sus partes. Una semántica composicional nos garantiza: que la semántica está bien definida; que se tengan algunas importantes propiedades de la metateoría. Nos permite razonar acerca de una parte, sin tener que tener en cuenta el todo.

Una semántica composicional nos garantiza: que la semántica está bien definida; que se tengan

6 Ejemplo de Composicionalidad (1 + 2) * 3 = La composicionalidad se evidencia en que el significado de la sintaxis abstracta (1 + 2) * 3 se define en términos del significado de sus subtérminos 1+2 y 3. La multiplicación en el lado derecho es una multiplicación semántica.

3 se define en términos del significado de sus subtérminos 1+2 y 3.

7 Definición Formalmente, una semántica denotacional de un lenguaje L está dado por un par (D, ) donde D es el dominio semántico : L D es la función de evaluación o función semántica. En casos simples D es simplemente un conjunto. En general se requiere más estructura como los dominios de la teoría de dominios

evaluación o función semántica. En casos simples D es simplemente un conjunto.

8 Ejemplo: Lenguaje de Expresiones Aritméticas Definimos una semántica denotacional (D, ) para el lenguaje: t ::= true false if t then t else t 0 succ t pred t iszero t Por simplicidad, tomamos como dominio semántico los naturales N. D = N = T N

false if t then t else t 0 succ t pred t iszero t Por

9 Ejemplo de Función Semántica Definimos la función semántica mediante ecuaciones semánticas true = 1 false = 0 if t 1 then t 2 else t 3 = 0 = 0 succ t 1 = t pred t 1 = t 1 1 iszero t 1 = { t2 cuando t 1 0 t 3 cuando t 1 = 0 { 0 cuando t1 0 1 cuando t 1 = 0

else t 3 = 0 = 0 succ t 1 = t 1 + 1 pred t 1 = t 1 1 iszero t 1 =

10 Ecuaciones Dirigidas por Sintaxis La función semántica en el ejemplo anterior está bien definida ya que las ecuaciones dadas satisfacen dos condiciones fundamentales: Existe exactamente una ecuación para cada producción de la gramática abstracta. Cada ecuación expresa el significado de un término en función de los significados de sus subtérminos. Un conjunto de ecuaciones que cumple estas condiciones se dice que es dirigido por sintaxis.

11 Ejercicios Encontrar la denotación de if (iszero (succ 0)) then true else false Extender la semántica denotacional para la siguiente extensión del lenguaje t ::=... not t t & t t + t t - t t * t

12 Ejemplos extremos Podemos dar semántica denotacional a cualquier lenguaje L, con un conjunto de términos T de la siguiente maneras: Todo es igual. Tomamos como dominio semántico { }, el conjunto con un sólo elemento. Tomamos como función semántica T { } la única función posible, la función constante que devuelve siempre. Todo es distinto. Tomamos como dominio semántico el conjunto de términos T. Tomamos como función semántica T T la identidad.

Tomamos como función semántica T { } la única función posible, la función constante que devuelve siempre.

13 Observaciones y Contextos Las semánticas anteriores no son muy buenas. Para formalizar esto, suponemos que existe un conjunto de términos observables, y un conjunto O de observaciones que consiste de funciones de términos observables en resultados. Un contexto C es un término observable en el cual un subtérmino fue reemplazado por un agujero (que escribimos ). Escribimos C para denotar el conjunto de contextos. C[t] denota el resultado de reemplazar el agujero por el término t.

consiste de funciones de términos observables en resultados.

14 Ejemplos de Observaciones y Contextos En el lenguaje para expresiones aritméticas consideramos que todos los términos son observables. Una observación de O podría ser la función de normalización de términos según la semántica operacional (sin distinguir términos atascados). Un contexto para este lenguaje es cualquier término con un agujero. Por ej. C [ ] = if then 0 else (succ 0). En general, tenemos términos no observables cuando agregamos funciones al lenguaje. A pesar de no poder observar funciones, siempre podemos ponerlas en un contexto que observe el resultado de aplicarlas (si el resultado es observable).

Un contexto para este lenguaje es cualquier término con un agujero. Por ej. C [ ] = if then 0 else (succ 0).

15 Abstracción Una función semántica 1 es tan abstracta como otra función semántica 0 cuando t, t T. t 0 = t 0 t 1 = t 1 O sea, una semántica es tan abstracta como otra, cuando iguala al menos tantos términos como ella. Por lo tanto, todas las semánticas son tan abstractas como la semántica Todo es distinto. La semántica Todo es igual es tan abstracta como cualquier otra.

16 Consistencia Una función semántica es consistente sii t, t T. t 0 = t 0 O O. C C. O(C[t]) = O(C[t ]) O sea, la semántica es consistente si nunca iguala términos que, en algún contexto, son diferenciables. En general, la semántica Todo es igual no es consistente.

17 Abstracción Total Una función semántica es totalmente abstracta sii, para todo término t y t t 0 = t 0 O O. C C. O(C[t]) = O(C[t ]) O sea, una semántica es totalmente abstracta si distingue términos sólo cuando en algún contexto tienen comportamiento diferente. Una semántica totalmente abstracta es tan abstracta como cualquier otra semántica consistente. Nota: Consistencia y abstracción total dependen de la elección de qué es observable y de cuáles son los contextos.

18 Ejercicio Considerar la semántica denotacional dada para el lenguaje de expresiones aritméticas y como observación, la evaluación a forma normal según la semántica operacional. Es una semántica consistente? Analizar si es totalmente abstracta y caso contrario dar una semántica totalmente abstracta.

según la semántica operacional. Es una semántica consistente?

19 Operacional y Denotacional Dado un lenguaje L, y dadas una semántica operacional L L. una semántica denotacional (D, ) Cómo se relacionan estas semánticas? Dos términos cerrados t 1, t 2 L son semánticamente o denotacionalmente equivalentes sii t 1 = t 2 Supongamos que los valores de D se pueden mapear a un valor V, es decir que existe una función : D V que mapea un valor semántico d D a un término que lo representa d V (recordar que V L).

Dos términos cerrados t 1, t 2 L son semánticamente o denotacionalmente equivalentes sii t 1 = t 2 Supongamos

20 Operacional y Denotacional (cont.) Suponiendo que el término t termina. Corrección de la semántica operacional con respecto a la denotacional: t v t = v Completitud de la semántica operacional con respecto a la denotacional: t = d t d la semántica operacional es computacionalmente adecuada con respecto a la denotacional: t v t = v

Completitud de la semántica operacional con respecto a la denotacional: t = d t d

21 Resumen Formas de especificar la semántica de lenguajes. Semántica operacional. Valores,relación de evaluación, árbol de derivación, forma normal, términos atascados. Propiedades: determinismo, valores como forma normal, unicidad de formas normales, terminación. Semántica denotacional Interpreta sintaxis en un dominio semántico. Puede ser más fácil de razonar que con una semántica operacional, ya que trabajamos con objetos matemáticos, y no con sintaxis. Propiedades: abstracción, consistencia, y abstracción total. Relación entre semántica operacional y denotacional.

22 Referencias Types and Programming Languages. Benjamin Pierce. Capítulo 3. Theories of Programming Languages. J. Reynolds. The Formal Semantics of Programming Languages. G. Winskel.

Documentos relacionados

Escenas de episodios anteriores

Clase 16/10/2013 Tomado y editado de los apuntes de Pedro Sánchez Terraf Escenas de episodios anteriores objetivo: estudiar formalmente el concepto de demostración matemática. caso de estudio: lenguaje