Tecnico En Sistema

DESARROLLO DE ACTIVIDADES

1. TABLA DE TRANSICION:

1. Exprese el autómata en notación matemática. Identifique que tipo de autómata es (AFD o AFND) y justifique su respuesta.

K= {q0, q1, q2, q3} q0=elemento inicial F= q3 Σ={x,y,z}

δ ={ q0,q1,q2,q3}x{x,y,z}

δ(q0, x)= q1 δ(q1, y)= q3 δ(q2, z)= Φ

δ(q0, y)= q2 δ(q1, x)= q2 δ(q3, x)= Φ

δ(q0, z)= q1 δ(q2, x)= q3 δ(q3, y)= Φ

δ(q1, x)= q1 δ(q2, y)= q2 δ(q3, z)= Φ

El tipo de Autómatas es Finito Determinístico AFD puesto que para este tipo de autómata se debe tener en cuenta que cumpla con unas rutas determinadas por las cuales se evalúa las entradas y salidas del AF.

2. Identifique los elementos (tupla que es). Debe explicar y describir cada elemento y la función y significado en el autómata. Conceptos y definiciones adicionales

Tupla es una secuencia ordenada de objeto, esto es, una lista como un número limitado de objetos.

Un Autómata finito puede ser representado así: A = (Σ, Q, δ, q0, F).

Σ es un alfabeto de símbolos de entrada (x, y, z)

Q es un conjunto finito de estados (q0, q1, q2, q3) donde (q0) estado inicial y (q3) estado final.

δ es una función de transición.

q0 es el estado inicial de comienzo (q0)

F representa cero o más estados finales de aceptación. (q3)

3. Identifique el lenguaje que genera.

El lenguaje es un determinado conjunto de palabras que cumples reglas, en este trabajo colaborativo las palabras de alfabeto utilizadas son {x, y, z} las cuales forman diferentes combinaciones.

L = {ω ∈ {x,y,z}* | ω = {xy, zy, zzx, xxy, yyx, zxy}

Para que se cumpla la condición todas las cadenas (ω) deben terminar en x y y, para llegar al estado final.

4. Muestre en el simulador (gráficamente) como recorre una cadena válida. Explique cada secuencia.

El alfabeto (x, y, z), la entrada o combinación es {y y x}, al aceptar esta combinación el estado inicial es en q0 después de leer una y se coloca de color oscuro y pasa al siguiente estado q1 en el cual lee una y e indica que la transición es en sí misma, después pasa al estado q3 al leer una x e indica el fin de la simulación para esta cadena, este recorrido lo podemos visualizar en las siguientes gráficas.

Recorrido q0

Recorrido q1

Recorrido q3

5. Muestre el diagrama de Moore generado en JFLAp y en VAS y comente que similitudes o diferencias encuentra al realizarlo en los dos simuladores. (herramientas que

...