Академический Документы
Профессиональный Документы
Культура Документы
Fecha: 16/02/11
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.
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}
S=EXPRESION
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)
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