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 1

Autómata y expresión regular

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},{𝑎,𝑏,𝑐},ẟ,𝑞0,{𝑞2})
K={𝑞0,𝑞1,𝑞2}
Σ={𝑎,𝑏,𝑐}
s=𝑞0
F=𝑞2
Donde la función ẟ: {q0, q1, q2}x {a,b,c,d} →
{q0, q1, q2} viene dado por
ẟ{q0,a}=q1
ẟ{q0,a}=q0
ẟ{q0,b}=q2
ẟ{q1,c}=q2

Tabla de trasmisión
a b c

→q0 q0, q1 q2 Ø

q1 Ø Ø q2

#q2 Ø Ø Ø

Es un Autómata no Determinista ya
que existe dos transición posible
para cada estado inicial.
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 (a+a)*(b+c)

Lenguaje regular (a+a)*(b+c)
 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