DISEÑO DE AUTÓMATAS

MARÍA NÉLIDA MONTES PALOMÁ

CÓDIGO: 1022439400

PRESENTADO A: VERMEN RAINER AYALA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

AUTÓMATAS Y LENGUAJES FORMALES
ECBTI-JAG
2020
Ejercicio 1: Autómata a expresión regular

Ejercicio para trabajar Ejercicio a.

Caracterización del autómata -Identificación quintupla:

Q={q0,q1,q2}
∑={a,b,c}
q0= Estado inicial
F={q2}
δ=(q0,a)=q1
δ=(q0,b)=q2
δ=(q1,b)=q1
δ=(q1,c)=q2
δ=(q2,a)=q0
A=(Q, ∑, δ, q0, F)

-Tabla de transición:

a b C
q0 q1 q2 -
q1 - q1 q2
q2 q0 - -

-Identificación Autómata: El ejercicio

seleccionado para desarrollar es un
Autómata finito determinista.

-Características tipo de autómata: Para el

autómata determinista ya que para
cualquier valor de entrada existe un único estado.
Procedimiento de conversión de Conversión de autómata a expresión regular:
autómata finito a expresión regular paso a paso Eliminación de estados
 Eliminando el estado q1

ER= b+ab*c
Autómata final convertido

Lenguaje regular El lenguaje regular correspondiente a la

expresión regular es: L= b+ab*c
Ejercicio 2: conversión de autómatas finitos deterministas a autómatas finitos no deterministas
(AFD a AFND) y viceversa.

Ejercicio para
trabajar

Caracterizació -Identificación quíntupla:

n del
Autómata Q={q0,q1,q2}
∑={a,b,c}
q0= Estado inicial
F={q1}

δ=(q0,0)={q0,q1}
A=(Q, ∑, δ, q0, F)

Análisis de hilos
Cadena aba

q0|->q1|->q0|->q1

-Tabla de transición:

q a b c
q0 q1 q0, q2 -
q1 - q0 q2
q2 - q1 -

-Identificación Autómata: El ejercicio seleccionado para desarrollar es un

autómata finito no determinista.

-Características tipo de autómata: El autómata no determinista se

caracteriza porque para cualquier valor de entrada puede existir más de un
estado.
Procedimiento Conversión de autómata finito no determinista a Autómata finito
de conversión determinista:
de autómata
finito a Paso 1: Realizar la tabla de transición.
expresión q a b c
regular paso a q0 q1 q0, q2 -
paso q1 - q0 q2
q2 - q1 -

Paso 2: Realizar la tabla de conversión.

q a b c
q0 q1 q0,q2 -
q1 - q0 q2
q2 - q1 -
q0,q2 q1 q0,q1,q2 -
q0,q1,q2 q1 q0,q1,q2 q2

Autómata final
convertido

Practicar y
verificar lo
aprendido
 BIBLIOGRAFIA

(Carrasco) (Jurado Málaga) (González) (González A. [.)

Carrasco, R. C.-1. (s.f.). Recuperado de. Obtenido de

https://bibliotecavirtual.unad.edu.co/login?url=https://search-ebscohost-
com.bibliotecavirtual.unad.edu.co/login.aspx?direct=true&db=nlebk&AN=318032&lang=es&site
=ehost-live&ebv=EB&ppid=pp_Cover

González, A. [. (s.f.). Obtenido de http://hdl.handle.net/10596/18315

González, A. [. (s.f.). Automatas finitos. Obtenido de http://hdl.handle.net/10596/10470

Jurado Málaga, E. (.-7. (s.f.). Obtenido de

https://bibliotecavirtual.unad.edu.co/login?url=http://search.ebscohost.com/login.aspx?direct=
true&db=edsbas&AN=edsbas.62161440&lang=es&site=eds-live&scope=site