AUTOMATAS Y LENGUAJES FORMALES

TAREA2 –DISEÑO DE AUTÓMATAS

PRESENTADO POR: BRAYAN EMILIO BENAVIDES PANTOJA

CÓDIGO: 1085279847

PRESENTADO A: LUIS ENRIQUE CAMARGO CAMARGO

GRUPO: 301405_7

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PASTO-NARIÑO

23 MAYO 2021
Ejercicio 2

Conversión de Autómatas Finitos Deterministas a Autómatas Finitos No

deterministas (AFD a AFND) y viceversa
EJERCICIO A TRABAJAR Ejercicio a trabajar

Caracterización del autómata En este espacio se realiza:

Identificación de la quíntupla del
autómata:
𝑀=({𝑞0,𝑞1,𝑞2,q3},{0,1},ẟ,𝑞0,{𝑞1})
K={𝑞0,𝑞1,𝑞2,q3}
Σ={0,1}
s=𝑞0
F=𝑞1
Donde la función ẟ: {q0, q1, q2,q3} x {0,1} →
{q0, q1, q2, q3} viene dado por:

ẟ{q0,0}=q3
ẟ{q0,1}=q1
ẟ{q1,1}=q2
ẟ{q2, λ}=q0
ẟ{q3, 1}=q2

Tabla de trasmisión
0 1 λ

→q0 q3 q1 Ø

#q1 Ø q2 Ø

q2 Ø Ø q0

q3 q2 Ø Ø

Es un Autómata no Determinista ya
que existe λ una transición vacía.
Procedimiento de conversión de autómata Realice de manera detallada el procedimiento
finito a expresión regular paso a paso paso a paso de la conversión del autómata a
expresión regular y según ejemplo revisado.
- Paso 1

- Paso 2
Eliminamos q1 λ

- Paso 3
Eliminacion de q2
Autómata final convertido

Practica y verifica lo aprendido

 Referencias bibliográficas

González, A. [Ángela]. (2017, noviembre 5). Autómatas Finitos. [Archivo de video].

Recuperado de http://hdl.handle.net/10596/10470

González, A. [Ángela]. (2018, junio 1). Lenguajes Regulares. [Archivo web]. Recuperado de
http://hdl.handle.net/10596/18315

González, A. [Ángela]. (2020, julio 14). Lenguajes Regulares. [Archivo web]. Recuperado de
https://campus129.unad.edu.co/ecbti90/mod/hvp/view.php?id=4322