Trabajo Final de Compiladores

Nombre: Lisset Neyra

Fecha: 16/02/11

Tablas de Verdad para demostrar leyes lógicas.

Si se quiere demostrar que una proposición compuesta es una ley lógica, esto se puede lograr en
una forma fácil y mecánica evaluándola para todas las posibles combinaciones de los valores de
verdad de las proposiciones que intervienen. Si en todos los casos la conexión principal de la
proposición resulta verdadera, entonces se trata de una ley lógica o TAUTOLOGÍA. La evaluación
de todos los casos posibles se llama una Tabla de Verdad.

Reglas de las conexiones lógicas.

 AUTOMATA FINITO NO DETERMINISTA

AFN – AFD

Alfabeto

 p
 a=si solo si
 o
 y
 q
 b= si
 c=entonces
 d=no
 Alfabeto
Estados p a o y q b c d
q0 q1 {} {} {} {} q3 {} q6
q1 {} q2 q2 q2 {} {} {} {}
q2 {} {} {} {} q7 {} {} {}
q3 q4 {} {} {} {} {} {} {}
q4 {} {} {} {} {} {} q5 {}
q5 {} {} {} {} q7 {} {} {}
q6 q7 {} {} {} {} {} {} {}
q7 {} {} {} {} {} {} {} {}
{} {} {} {} {} {} {} {} {}

Donde:

q0=A
q1=B
q2=C
q3=D
q4=E
q5=F
q6=G
q7=H
{ }=I

Alfabeto
Estados p a o y q b c d
A B I I I I D I G
B I C C C I I I I
C I I I I H I I I
D E I I I I I I I
E I I I I I I F I
F I I I I H I I I
G H I I I I I I I
H I I I I I I I I
I I I I I I I I I
 ANALIZADOR LEXICO

Tokens Lexemas
CONDICIONAL_INI si
CONDICIONAL_FIN entonces
CONJUNCION y
DISYUNCION o
NEGACION no
BICONDICIONAL si solo si
SENTENCIA_P p
SENTENCIA_Q q

ANALIZADOR SINTACTICO

G= {Vt, Vn, S, R}

Vt= {p, q, si y solo si, y, o, no, entonces, si}

Vn= {S, CONDICION, EXPRESION, SENTENCIA_P, SENTENCIA_Q}

S=EXPRESION

EXPRESION= CONDICIONAL_INI SENTENCIA_P CONDICIONAL_FIN SENTENCIA_Q | | SENTENCIA_P

BICONDICIONAL SENTENCIA_Q | SENTENCIA_P CONJUNCION SENTENCIA_Q | SENTENCIA_P
DISYUNCION SENTENCIA_Q | NEGACION SENTENCIA_P | NEGACION SENTENCIA_Q

CONDICIONAL_INI= si

SENTENCIA_P= p

SENTENCIA_Q= q

CONDICIONAL_FIN= entonces

BICONDICIONAL= si solo si

NEGACION= no

CONJUNCION = y

DISYUNCION= o
Ejemplo= Si p entonces q

ARBOL DE DERIVACION

ANALIZADOR SEMANTICO

Producciones

CONDICIONAL_INI= si

SENTENCIA_P= p

SENTENCIA_Q= q

CONDICIONAL_FIN= entonces

BICONDICIONAL= si solo si

NEGACION= no

CONJUNCION = y

DISYUNCION= o

Reglas Semánticas

Print (EXPRESION.VAL)

EXPRESION.VAL= CONDICIONAL_INI.VAL SENTENCIA_P.VAL CONDICIONAL_FIN.VAL

SENTENCIA_Q.VAL | | SENTENCIA_P.VAL BICONDICIONAL.VAL SENTENCIA_Q.VAL |
SENTENCIA_P.VAL CONJUNCION.VAL SENTENCIA_Q.VAL | SENTENCIA_P.VAL DISYUNCION.VAL
SENTENCIA_Q.VAL | NEGACION.VAL SENTENCIA_P.VAL | NEGACION.VAL SENTENCIA_Q.VAL

CONDICIONAL_INI.VAL= si
SENTENCIA_P.VAL = p

SENTENCIA_Q.VAL = q

CONDICIONAL_FIN.VAL = entonces

BICONDICIONAL.VAL = si solo si

NEGACION.VAL = no

CONJUNCION.VAL = y

DISYUNCION.VAL = o