AFN LENGUAGE ER

((00)*(1+01)1)*(00)*(1+01)0
*

(11*10)*11*

(11*(10+00))*11*

𝐿1 = {𝑤 (∑▒{1,0} ∗ )/ 𝑤 =((00)*(1+01)1)*(00)*(1+01)0*}
𝐿1 = {𝑤 (∑▒{1,0} ∗ )/ 𝑤 = (11 ∗ 10) ∗ 11 ∗}
𝐿1 = {𝑤 (∑▒{1,0} ∗ )/ 𝑤 = (11 ∗ (10 + 00)) ∗ 11 ∗}
2)
PARA LA EXPRESION REGULAR: ca*+bb*ab(a+b+cc*b)*
SIMPLIFIQUE LA EXPRESIÓN REGULAR Y RESUELVA:
1. Describa la forma matemática del autómata,
𝑐𝑎∗ + 𝑏𝑏 ∗ 𝑎𝑏( 𝑎 + 𝑏 + 𝑐𝑐 ∗ 𝑏)∗
𝑐𝑎∗ + 𝑏𝑏 ∗ 𝑎𝑏( 𝑎 + 𝑏(𝜆 + 𝑐𝑐 ∗ ))∗

𝑐𝑎∗ + 𝑏𝑏 ∗ 𝑎𝑏( 𝑎 + 𝑏𝑐 ∗ )∗
𝑐𝑎∗ + 𝜆 + 𝑏𝑏 ∗ 𝑎𝑏( 𝑎 + 𝑏𝑐 ∗ )∗
𝑐𝑎∗ + 𝑏 ∗ 𝑏( 𝑎 + 𝑏𝑐 ∗ )∗ 𝑎
𝑐𝑎∗ + 𝜆 + 𝑏 ∗ 𝑏( 𝑎 + 𝑏𝑐 ∗ )∗ 𝑎
𝑐𝑎∗ + 𝑏 ∗ ( 𝑎 + 𝑏𝑐 ∗ )∗ 𝑎
𝜆 = ({𝑐}{𝑎}𝑛 ∪ {𝑏}𝑚 ({𝑎} ∪ {𝑏}{𝑐}𝑟 )𝑡 {𝑎} | 𝑛, 𝑚, 𝑟, 𝑡 ≥ 0)
2. • Plasme la tabla de transición. Identifique que tipo de autómata es (AFD o AFND) y
justifique su respuesta. (No se trata de dar el concepto de determinismo sino de justificarlo
asociando la respuesta al diseño del autómata)

∑{𝑎, 𝑏, 𝑐}

f a b c
q0 q2 q0
q1 q0 q4

q2 q5
q3 q5 q3
q4 q4
q5 q5 q5 q3
El autómata es AFND ya que para varios estados y sus transiciones hay varios estados finales
y/o vacíos.
3.

∑{𝑎, 𝑏, 𝑐}

𝐴 = {𝑄, Σ, 𝑆, 𝐹, 𝛿}
𝑄 = {𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , 𝑞5 }
𝑆 = {𝑞0 }
𝐹 = {𝑞4 , 𝑞5 }

𝛿 = 𝑄𝑥Σ → Q𝛿: |𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , 𝑞5 |𝑥|𝑎, 𝑏, 𝑐| → |𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , 𝑞5 |

Representa la función |total| de transición
𝑞0 ∈ 𝑄=Representa el estado inicial
𝑞4 , 𝑞5 ∈ 𝐾 = Representan estados finales

4. Identifique el lenguaje que genera.

𝐿 = {𝑐𝑎∗ + 𝑏 ∗ ( 𝑎 + 𝑏𝑐 ∗ )∗ 𝑎 }

5. 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)

La cadena seleccionada es: bbabbccb

bbabbccb

Se muestra el primer carácter de la cadena que va desde q0 a q1 y vuelve al mismo estado.

bbabbccb
Continúa con el siguiente carácter hacia el estado q2
Bbabbccb

En este paso se llega al estado final q5 y se puede decir que la cadena hasta este momento es
lenguaje de este autómata
Bbabbccb

Terminando la cadena se ve que todo su contenido cumple como lenguaje de este autómata
6. Muestre el diagrama de Moore generado en JFLAP y en VAS y comente tres similitudes y tres
diferencias que encuentra al realizarlo en los dos simuladores. (Herramientas que ofrezcan uno u
otro).

7.

JFLAP
Posee la opción de convertir de AF a expresión
regular
Crea estados uno tras de otro previamente
dando clic en el icono con forma de circulo
Tiene 11 opciones para escoger la que se
requiere para empezar a trabajar.
No permite mostrar tabla de transiciones.
Permite establecer si una cadena es aceptada o
rechazada por el automata
VAS
No posee esta opción
Crea estados en dando clic izquierdo en la
opción State que es un icono en forma de circulo
y se encuentra en la parte superior izquierda,
que genera una ventana para ingresar el nombre
al estado.
Tiene 2 opciones para empezar a trabajar.
Permite visualizar la tabla de transiciones.

3. Teniendo en cuenta el siguiente autómata identifique si es AFD o AFND, Si es un AFD genere un

AFND que reconozca el mismo lenguaje; o por lo contrario si el autómata inicial es un AFND, genere
un AFD que reconozca el mismo lenguaje
El autómata anterior es un autómata finito no determinista. Tenemos que se le podemos
convertir en un autómata finito determinista que sería:

En este caso reconocen el mismo lenguaje

3)

1. Describa la forma matemática del autómata

El autómata m finito está dado por M = (Σ, K, q0, δ, F)
K = {q0, q1, q2, q3}
Σ = {0,1}
s = q0
F = q3
δ

Donde la función δ: (q0, q1, q2, q3) × (1,0) → (q0, q1, q2, q3) → q0 → q1→ q2 → q3 viene
dada por las transiciones
δ(q0, 1) =q1 δ(q0, 0) = q2 δ(q0, 1) = q0
δ(q1, 0) = q3 δ(q1, 1) = q2
δ(q2, 0) = q3,q2 δ(q2, 1) = q2
δ(q3, 0) = q2 δ(q3, 1) = q3

2. Identifique los elementos (tupla que es) (Asociadas con los elementos del autómata del ejercicio
propuesto).

El autómata m finito está dado por M = (Σ, K, q0, δ, F)

K = {q0, q1, q2, q3} Identifica los estados que puede tener la máquina
Σ = {0,1} Identifica el alfabeto de entrada
s = q0 Es el estado inicial de la máquina
F = q1,q2,q3 Estados finales
Donde la función δ: (q0, q1, q2, q3) × (1,0) → (q0, q1, q2, q3) → q0 → q1→ q2 → q3 viene
dada por las transiciones
δ(q0, 1) =q1 δ(q0, 0) = q2 δ(q0, 1) = q0
δ(q1, 0) = q3 δ(q1, 1) = q2
δ(q2, 0) = q3,q2 δ(q2, 1) = q2
δ(q3, 0) = q2 δ(q3, 1) = q3

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)

La cadena es: 1101

Se inicia el reconocimiento del primer carácter de la cadena que va desde el estado q0 a q1

En la transición de estado q1 al siguiente estado q2 con el carácter 1 se ve que se llega a un

estado final donde el resto de caracteres de la cadena coinciden para concluir como una
cadena que es lenguaje de este autómata

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 autómata finito no determinista= (1*1(1+0)*(10+00))*1*1(1+0)*

ER autómata finito determinista= 1+11(1+0)*+101*(λ+0(1+0)*)

Cadena que recibe: 1101

(1*1 (1 + 0)* (10 + 00))*(10 + 00))*1*1(1 + 0)*

11 01