Examen

1. EXAMEN SUSTITUTIVOJOSE SALAS23835999
Parte 1

2. - Numeropar de a y b
L = b ∗ (ab∗ab∗) ∗
 Sea el AFND dado a continuación, a partir del DTE asociado; determinar los
siguientes conjuntos de estados (Valor 3%; 0,5% C/U)
0 1 Ɛ
q0 q0 ɸ (q0,q1,q2,q3)
q1 [q1] [q0,q2] [q3]
q2 [q0] [q2] [q3]
* q3 ɸ [q0] [q2]

3. (q0, 0): q0
(q0, 1): ɸ
(q1, 0): [q1]
(q1, 1): [q0,q2]
(q2, 0): [q0]
(q2, 1): [q2]
Segundaparte
Sea el AFND, dado por:
Donde F= [q3], obtener
- Componentes
Q/∑ a b λ
q0 q1 ǿ ǿ
q1 [q0,q2,q3][q0,q2][q3]
q2 ǿ [q0,q3][q3]
q3 ǿ ǿ [q2]

4. - DTE ASOCIADO

5. Estado Inicial Q0y estadoFinal q3
- AfndsinE transiciones

7. - AFD EQUIVALENTE
-
-

8. -
-

9. -
-
-

10. Componentes
Diseñe un modelo matemático (autómata), que represente el siguiente comportamiento:
Considere una máquina expendedora de refresco que entrega el sabor elegido del
mismo después de recibir un total de Bsf 300, en monedas que pueden ser de 50, 100
y 250 respectivamente. Suponiendo que la maquina no está diseñada para
entregar cambio y en consecuencia aceptaría cualquier sobre precio. Determine el
modelo que mejor representa la situación planteada. Defina todas las componentes y
diagrama asociado al mismo. (Valor 5%)