LA SEMANTICA

DEFINICION DE SEMANTICA FORMAL:

 Es el estudio de las interpretaciones de

los lenguajes formales.  Ejemplo de lenguajes
 Una interpretación de un lenguaje formal formales:
es una asignación de significados a sus  La lógica y la matemática
símbolos.
 Se refiere al significado de un lenguaje,
definir de modo preciso el significado de
sus formulas.
 Pero la semántica formal no solo se ha
utilizado para especificar el significado
de lenguajes, sino también de productos
de software, entre otras cosas.
 VARIOS ENFOQUES DE LA SEMANTICA

OPERACIONAL AXIOMATICO DENOTACIONAL

 Se especifica la  Define una teoría  Se especifica la
semántica matemática para el semántica asociándolo
proporcionando el lenguaje con la cual a un conjunto de
código fuente de un puedan probar funciones matemáticas
denotándose mediante
interprete que propiedades de funciones , relaciones ,
define el programas escritos tuplas y predicados y
comportamiento de en ese lenguaje. sus operaciones entre
los programas de ese ellas.
lenguaje.
 a) . Explicar la Representación
formal de una gramática.

Definición de Gramática:

 Es un conjunto finito de reglas

que describen toda la secuencia
de símbolos pertenecientes a un
lenguaje especifico.
 Las gramáticas formales definen
un lenguaje describiendo cómo
se pueden generar las cadenas
del lenguaje.
 Es otra forma de describir un
lenguaje.
 Representación Formal:
Una gramática es una cuádrupla

G= (ΣT, ΣN, S, P)
Donde ΣT, ΣN son alfabetos.

Variables o símbolos no terminales

Constantes o Símbolos terminales
Símbolo inicial
Reglas de producción(reglas de sustitución)

Tanto ΣT y ΣN deben de ser conjuntos disjuntos(no deben tener ningún elemento en común).
 b. Explicar 2 Aplicaciones de la
semántica formal.
Aplicadas a la lógica :

• ∃x ( Fabrica(x) ∧ ∀y ( Materia_Prima(y) ∧ Mucha(y) ∧ Produce(y,x) ) ) →

Es_objetivo(Lograr,y,x)
• ¬Es_objetivo(Lograr,y,x) → Es_problema(y,x)
• ∃x ( Fabrica (x) ∧ ∀y ( Materia_Prima (y) ∧ ¬Mucha(y) ∧ Produce (y,x) ) )
→ Es_problema(y,x) ∨ ∃x ( Fabrica (x) ∧ ∀y ( Materia_Prima (y) ∧ Mucha(y) ∧
¬Produce (y,x) ) ) → Es_problema(y,x)
 DESARROLLO DE UNA APLICACIÓN
SEMANTICA QUE INTEGRE PROPIEDADES
FISICO-QUIMICAS, TECNOLOGICAS DE
ARCILLA NATURAL DE PERU
 Objetivos: crear una aplicación web semántica para archivar y enlazar datos
de diferentes formatos y fuentes en una biblioteca y repositorio digital.
 Basada en la determinación de caracteres físicas y químicas de arcillas de
varios sitios de la región.
 Objetivos Específicos:
 Tomar muestras de varios yacimientos de arcillas en la región.
 Analizar y describir las características de la arcilla.
 Determinar las propiedades físicas y mineralógicas , químicas y
cristalográficas. De las arcillas estudiadas.
 LOS LENGUAJES DE REPRESENTACION
SEMANTICA Y SU USO EN LA
CONSTRUCCION DE ONTOLOGIAS

 Es muy importante para la construcción de ontologías , la captura de

conocimiento y razonamiento automático y la incorporación gradual
en internet, información manejable por una maquina.

 Su modelo es basado en una arquitectura por capas evitando colocar

cualquier objeto dentro del núcleo.
 Gramática
Regular(GR) y
Autómata
Finito(AF)
Una gramática es un sistema formal
que permite generar tipos de
lenguajes.
 Se define formalmente por sus 4
elementos:
G = (V,T,S,P)
 Jerarquía de Chomsky
Clasificación de los lenguajes

Tipo de Lenguaje Máquina que lo

reconoce
3 : Regulares Autómatas Finitos
2 : Libres de Contexto Autómatas de pila
1 : Sensibles al Autómatas de línea
contexto
0 : Sin restricciones Máquinas de Turing
Recursivamente
enumerables
Teoría de Gramáticas

 Una gramática sirve para:

Especificar las reglas sintácticas del
lenguaje.
Si una palabra no sigue estas reglas,
entonces se dice que: no pertenece al
lenguaje generado por la gramática.
 B) Explicar el proceso de Conversión
de GR a AF . Hacer un ejemplo.
 Las reglas de las gramáticas regulares son de la forma A→ aB o bien A→A, donde A y B son
variables, y a es un carácter terminal. A estas gramáticas se les llama regulares.

FORMA DE APLICAR UNA GRAMATICA REGULAR:

 Para aplicar una gramática se parte de una variable, llamada símbolo inicial,
 y se aplican repetidamente las reglas gramaticales, hasta que ya no haya variables en la
palabra.
 Procedimiento:
 Con el siguiente teorema establecemos la relación entre la Gramática Regular y el Autómata
Finito:

 Dicho procedimiento es directo, y consiste en

asociar a los símbolos no terminales de la
gramática (las variables) a los estados de un
autómata.
 Así, para cada regla S → aA en la gramática
tenemos una transición (S, a,A) en el autómata.
 Sin embargo, queda pendiente el caso de las reglas
A → b Para estos casos, se tienen transiciones (A,
a,Z), donde Z es un nuevo estado para el que no
hay un no terminal asociado; Z es el único estado
final del autómata.
 EJEMPLO: Obtener un autómata finito para la
gramática regular G siguiente
 S→aA
 S→bA
 A→aB
 A→bB
 A→a
 B→aA

 Ejemplo :
 aa
 abaa
 aaa X (no llega al estado de
aceptacion, no es una palabra
valida para la gramatica)
 B) Explicar el proceso de Conversión
de AF a GR. Hacer un ejemplo.

 1) Asociar al estado inicial el símbolo S.

 2) Asociar a cada estado del autómata (menos el estado inicial) un símbolo no
terminal(variable). Si al estado inicial llega algún arco asociar también un
símbolo no terminal (además del símbolo ). No asociar símbolo no terminal a
aquellos estados finales de los que no salen arcos.
 ) Para cada transición definida δ (einicial , a) = efinal , agregar al conjunto de
producciones, la producción A → aB, siendo A y B los símbolos no terminales
asociados a ei y ej respectivamente. Si ej es un estado final, agregar también
la producción A → a. Si ej es el estado inicial (tiene dos símbolos asociados, el
distinguido y un no terminal), utilizar el símbolo no terminal (de esta manera
se evita que el símbolo distinguido aparezca a la derecha de una producción).
 4) Si el estado inicial es también final agregar la producción S → ε.
 G = ({A, B, C}, {0, 1}, P, S), siendo P el siguiente conjunto:
 Como al estado inicial no entran arcos, se asocia únicamente el símbolo S.
 La gramática correspondiente a este lenguaje es
 S → 0A
 S → 1B
 A → 0C
 A→0
 A → 1B
 B → 0A
 B → 1C
 B→1
 C → 0C
 C→0
 C → 1C
 C→1  abaa
 aaa X (no llega al estado de
aceptacion, no es una palabra valida
para la gramatica)
B) Explicar el proceso de Verificar si una cadena
pertenece al lenguaje de una GR. Hacer 1 ejemplo
L es un lenguaje regular si L=L(G) para una
gramática regular G.

S  aA
A Nota: en la clase el

a
SB estado C estaba anónimo,
y las producciones que
a incluyen C estaban
A  aC resumidas en una sola,
AaaB. Lo cambio aquí
C para respetar el formato
C  aB

definito en la
S a VF transparencia previa.
a B  bB
B
Ba
b aaaa aaaba
aa aaab X no petenece
al lenguaje