AUTÓMATAS Y LENGUAJES FORMALES UNIDAD 1

FASE 1

POR:

VENLLY ALEXANDER BERNAL

CÓDIGO: 1070967237

TUTOR:

JHEIMER JULIAN SEPULVEDA TUTOR

GRUPO: 301405_2

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
MARZO 2019
 EJERCICIOS DE LA FASE 1
ACTIVIDAD INDIVIDUAL

De acuerdo al último dígito de su cédula o tarjeta de identidad, identifique

el ejercicio asignado en la siguiente tabla:

Último dígito Ejercicio

de la Cédula o
TI

1y9 Ejercicio 1

2y8 Ejercicio 2

3y7 Ejercicio 3

4y6 Ejercicio 4

5y0 Ejercicio 5

EJERCICIO A Registre aquí el Ejercicio a trabajar. Por favor

TRABAJAR agregue la imagen

Caracterización En este espacio se realiza:

del autómata - Identificación del Autómata Finito Determinista
o Autómata Finito No Determinista

Es un del Autómata Finito No Determinista ya

que con las entradas podemos ir a varios
estados, ya que con “a” podemos ir de 𝑞0 a 𝑞1 y
también con “a” podemos ir de 𝑞0 a 𝑞2 .
 - Explicar las características del tipo de autómata

Propiedades:

Σ = {𝑎, 𝑏} ← 𝐴𝑙𝑓𝑎𝑏𝑒𝑡𝑜 𝑑𝑒 𝑒𝑛𝑡𝑟𝑎𝑑𝑎

𝑄 = {𝑞0 , 𝑞1 , 𝑞2 , } ← 𝐶𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑑𝑒 𝑒𝑠𝑡𝑎𝑑𝑜𝑠 𝑓𝑖𝑛𝑖𝑡𝑜𝑠
𝑆 = {𝑞0 } ← 𝐸𝑠𝑡𝑎𝑑𝑜 𝑖𝑛𝑖𝑐𝑖𝑎𝑙
𝐹 = {𝑞2 } ← 𝐶𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑑𝑒 𝑒𝑠𝑡𝑎𝑑𝑜𝑠 𝑓𝑖𝑛𝑎𝑙𝑒𝑠
𝛿 = 𝐹𝑢𝑛𝑐𝑖ó𝑛 𝑑𝑒 𝑡𝑟𝑎𝑛𝑠𝑖𝑐𝑖ó𝑛

𝛿(𝑞0 , 𝑎) = 𝑞1
𝛿(𝑞0 , 𝑎) = 𝑞2
𝛿(𝑞1 , 𝑏) = 𝑞0
𝛿(𝑞1 , 𝑏) = 𝑞2

Tabla de transiciones

𝑞 𝜎 𝛿
0 a 𝑞1
0 a 𝑞2
1 b 𝑞0
1 b 𝑞2

Procedimiento Realice de manera detallada el procedimiento paso

de conversión a paso de la conversión del autómata a expresión
de Autómata regular y según ejemplo revisado.
Finito a
Expresión - Paso 1
Regular paso a
paso Utilizaremos la eliminación de estados.

Eliminando el estado 𝑞1 :

𝑎𝑏 ∗ 𝑎 + 𝑏
 - Paso 2
Eliminaremos ahora 𝑞0

- Paso 3

Quedando como expresión regular

𝐸𝑅 = 𝑎𝑏 ∗ (𝑎 + 𝑎𝑏)

Autómata Final
convertido

Lenguaje ER=ab*(a+ab)
regular
ACTIVIDAD 2: Conversión de Autómatas Finitos Deterministas a
Autómatas Finitos No deterministas (AFD a AFND) y viceversa

1. Ejercicio 1 2. Ejercicio 2

3. Ejercicio 3 4. Ejercicio 4

5. Ejercicio 5
El diseño solicitado corresponde al diligenciamiento de la siguiente
tabla:

EJERCICIO Registre aquí el Ejercicio a trabajar. Por favor agregue la

A imagen
TRABAJAR

Caracteriz En este espacio se realiza:

ación del - Identificación del Autómata Finito Determinista o
autómata Autómata Finito No Determinista

Es un Autómata Finito No Determinista, ya que

desde 𝑞0 con la entrada “a” podemos ir a diferentes
estados.

Posee transición con estado lambda

- Explicar las características del tipo de autómata

5-Tupla({𝒌, 𝚺, 𝜹, 𝒔, 𝑭})
Σ = {𝑎, 𝑏, 𝜆} ← 𝐴𝑙𝑓𝑎𝑏𝑒𝑡𝑜 𝑑𝑒 𝑒𝑛𝑡𝑟𝑎𝑑𝑎
𝑘 = {𝑞0, 𝑞1, 𝑞2, 𝑞3} ← 𝐶𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑓𝑖𝑛𝑖𝑡𝑜 𝑑𝑒 𝑒𝑠𝑡𝑎𝑑𝑜𝑠
𝑆 = {𝑞0} ← 𝐸𝑠𝑡𝑎𝑑𝑜 𝑛𝑖𝑐𝑖𝑎𝑙 𝑒𝑛 𝑘
𝐹 = {𝑞2} ← 𝑐𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑑𝑒 𝑒𝑠𝑡𝑎𝑑𝑜𝑠 𝑓𝑖𝑛𝑎𝑙𝑒𝑠 𝑜 𝑑𝑒 𝑎𝑐𝑒𝑝𝑡𝑎𝑐𝑖ó𝑛
𝛿 = 𝐸𝑠𝑡𝑎𝑑𝑜𝑠 𝑑𝑒 𝑡𝑟𝑎𝑛𝑠𝑖𝑐𝑖ó𝑛
𝛿(𝑞0, 𝑏𝜆) = 𝑞2
𝛿(𝑞0, 𝑎) = 𝑞1
𝛿(𝑞1, 𝑏) = 𝑞2
𝛿(𝑞0, 𝑎) = 𝑞3
𝛿(𝑞3, 𝑏) = 𝑞2
Tabla de transiciones
𝒂 𝒃 𝜆 𝜆
𝒂 𝑏
→q0 𝑞1, 𝑞3 ∅ ∅ 𝑞2
 q1 ∅ 𝑞2 ∅ ∅

q3 ∅ 𝑞2 ∅ ∅

#q2 ∅ ∅ ∅ ∅

𝑎 𝑏 𝜆 𝜆
𝒂 𝑏

→ 𝑞0 𝑞1, 𝑞3 ∅ ∅ 𝑞2

𝑞1, 𝑞3 ∪ 𝑞2 ∅ 𝑞2 ∅ ∅

Procedimie Realice de manera detallada el procedimiento paso a

nto de paso de la conversión del autómata según corresponda y
conversión según ejemplo revisado.
paso a
paso Ejemplo revisado

https://www.youtube.com/watch?v=NF47BSorRfU
Conversion_de_AFN_a_AFD_con_transiciones_vac
ias(youtube.com)
 Como solo se cuenta con transición vacía de 𝑞0 → 𝑞2
tomando como base el ejemplo revisado da la siguiente
tabla con sus tres conjuntos A,B,C.

Tabla de transiciones vacías

𝑎 𝑏

𝐴 𝐵 = {𝑞1, 𝑞3} ∪ { 𝑞2} 𝑐 = {𝑞2}

= {𝑞0}
∪ {𝑞1, 𝑞2, 𝑞3}

𝐵 = {𝑞1, 𝑞3} ∪ { 𝑞2} ∅ 𝑐 = {𝑞2}

𝑐 = {𝑞2} ∅ ∅

𝑎
𝑏
𝐴 𝐶𝐵
𝐵 𝐶
𝐶 −− −−
Autómata En este espacio se presenta el autómata final
Final
convertido

Practicar y Apoyándose en el simulador JFlap o VAS ejecutar los dos

verificar lo autómatas, el original y el autómata resultado final de la
aprendido conversión y validar por lo menos tres cadenas válidas y
tres cadenas rechazadas.

En este espacio agregar las imágenes tomadas del

simulador utilizado.
Original
 Simulador JFlap

Autómata Final
 BIBLIOGRAFÍA

Alemán. H. [Helena]. (2017, Junio 19). Conceptualización de automáta

[Archivo de video]. Recuperado de https://youtu.be/zMhwYlXAHE4

Alemán. H. [Helena]. (2018, mayo 23). Expresión Regular [Archivo de

video]. Recuperado de https://youtu.be/65B5QUNHfaM

González, A. [Ángela]. (2016, mayo 30). Conversión de Autómata Finito

No Determinista a Autómata Finito Determinista [Archivo de video].
Recuperado de https://youtu.be/29Qp_AWXFt4

González, A. [Ángela]. (2016, mayo 30). Conversión de Autómata Finito

No Determinista a Autómata Finito Determinista con transiciones vacías
– Método 1. [Archivo de video]. Recuperado de
https://youtu.be/NF47BSorRfU