Documente Academic
Documente Profesional
Documente Cultură
FASE 1
Presentado por:
Grupo: 301405_52
Presentado a:
a¿ (c¿ b) s
(¿¿ ¿)¿ r¿
¿
ca¿ +b b¿ ab ¿ →¿
(a¿ )
¿ ¿ ¿ ¿ ¿
(¿ ¿ ¿(c b)) →(s ) =s
ca¿ +b b¿ ab ¿
ca¿ +b b¿ ab(a ¿ c ¿ b)¿ →(s ¿ )¿ =s ¿
¿ ¿ ¿
ca +b b ab(acb)
q0 q1 q0 x
q1 x q5 x
q2 x q5 q2
q3 x q0 q4
q4 q4 x x
q5 q5 q5 q2
3. Identifique los elementos (tupla que es) (Asociadas con los elementos
del autómata del ejercicio propuesto). Debe explicar y describir cada
elemento y la función y significado en el autómata. Conceptos y
definiciones adicionales.
Este autómata es una quíntupla compuesta por los siguientes elementos:
A=(Q , Σ , q 0, δ , F)
q 0=Estado inicial .
δ=Función de Transición
F=Estados de Aceptación
Q=Conjunto de estados .
Σ= Alfabeto .
Donde:
q 0=q 3
F={q 5, q 4 }
Q={q 0, q 1, q 2, q 3, q 4, q 5 }
Σ={a , b , c }
δ={(q 0, a)→q 1,(q 0, b)→ q 0,( q 1,b)→ q 5,(q 2, b)→ q 5,(q 2, c)→ q 2,(q 3, b)→ q 0,(q 3, c )→ q 4 ,(q 4, a
JFLAP
VAS
Similitudes y diferencias JFLAP:
A diferencia del VAS no se puede ver la tabla de transición.
Se pueden colocar múltiples caracteres que se leen para una sola
transición.
Este simulador permite muchas funciones, como la minimización, la
conversión a una gramática, la conversión a una ER, convertir a un DFA,
combinar DFA.
Donde:
q 0=q 0
F=¿ {q1}
Q={q 0, q 1, q 2, q 3 }
Σ={0,1,}
δ={(q 0,1)→ q 1,(q 1,1) → q 2,(q 1, 0)→ q 3,(q 2,0) → q 2,(q 2,1)→ q 2,(q 3,0) → q 2,(q 3,1)→ q 3 }
3. Muestre en el simulador (gráficamente) como recorre una cadena válida.
Explique cada secuencia. (No se trata solo de captura las imágenes, estas
deben ser explicadas en pié de página o de lo contrario no tienen validez)
4. Muestre el diagrama de Moore generado en JFLAP y en VAS
JFLAP
VAS
5. Identifique la ER asociada al nuevo diseño y compárela con la expresión
regular simplificada (es decir analícelas con dos cadenas válidas y con dos no
válidas). Para ello debe identificar en una tabla la jerarquía de operadores
regulares, identificando con colores las sentencias matemáticas.
¿ ¿ ¿
ER = 1+11(1+0) +10 1 ( λ+0 (1+0) )
Simplificacion
¿ ¿ ¿
1+11(1+0) +10 1 ( λ+0 (1+0) ) → (ab+ ac) ≥ a(b+ c)
¿ ¿ ¿
1+1 ( 1 ( 1+0 ) +0 1¿ ( λ+ 0 (1+ 0 ) ) ) → a¿ (λ+ b ( a+b ) )≥(a+b)¿
¿ ¿
1+1 ( 1 ( 1+0 ) +0(1+0) ) → (ab+ cb)≥(a+c )b
¿
1+1 ( (1+0) ( 1+ 0 ) ) → ab (cd)≥ abcd
1+0
¿
¿
1+1(1+0)¿
VALIDAS
1 + 1(1 + 0)(1 + 0)*
1 1 01
1 1111
NO VALIDAS
1 + 1(1 + 0)(1 + 0)*
0101
0001
VALIDAS
1 + 11(1 + 0)* + 101*(λ + 0(1 + 0)*)
1 101
1 1111
NO VALIDAS
1 + 11(1 + 0)* + 101*(λ + 0(1 + 0)*)
0101
0001