TAREA 2 DISEÑO DE AUTÓMATAS

DANIEL ANTONIO RUIZ CARREÑO

CODIGO: 80228949

LUIS ALBERTO BERMUDEZ ESCOBAR

CODIGO: 1104709346

AUTÓMATAS Y LENGUAJES FORMALES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

27 DE SEPTIEMBRE DE 2022
 AUTOMATAS Y LENGUAJES FORMALES

Ejercicio Grupal: Construir autómata

Elabore el autómata para el siguiente lenguaje sobre el alfabeto {a,b}:

L = {W | W comienza por ba y termina en a} sobre {a,b}

Deben diligenciar la siguiente información:

EJERCICIO A
TRABAJAR

Notación formal 5-Tupla {K, Σ, δ, s, F}

del autómata K= {q0, q1, q2}
minimizado Σ= {a, b}
s= {q0}
F= {q3}
δ=
a b
→q0 ∅ q1
q1 q2 ∅
q2 q3,q2 q2
q3 ∅ ∅

Caracterización
del autómata
parte teórica
Lenguaje {ba}.{a+b}*.{a}
Regular
Validación de
cadenas

Conjunto de cadenas que inician con ba y termina en a

Conjunto de cadenas que no cumplen con los parámetros por la

guia
Practicar y
verificar lo
aprendido
 REFERENCIAS BIBLIOGRÁFICAS

Campesato, O. (2018). Regular Expressions: Pocket Primer. Dulles, Virginia:

Mercury Learning & Information, ISBN 9781683922278. Chapter 1 Introduction to
Regular Expressions, (pp. 1 - 24). https://search-ebscohost-
com.bibliotecavirtual.unad.edu.co/login.aspx?
direct=true&db=e000xww&AN=1826926&lang=es&site=ehost-live

Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000). Teoría
de lenguajes, gramáticas y autómatas para informáticos. Digitalia. (pp. 127 - 142).
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

García Fernández, L. A., Martínez Vidal, M. G. (2009). Apuntes de Teoría de

Autómatas y Lenguajes Formales. (pp. 1 – 58).
http://search.ebscohost.com.bibliotecavirtual.unad.edu.co/login.aspx?
direct=true&db=edsbas&AN=edsbas.FEF5F46&lang=es&site=eds-live&scope=site

González, A. (2017). Autómatas Finitos. Repositorio Institucional UNAD.

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

González, A. (2018). Lenguajes Regulares. Repositorio Institucional UNAD.

http://hdl.handle.net/10596/18315
 Jurado Málaga, E. (2008). Teoría de autómatas y lenguajes formales.
Universidad de Extremadura. Servicio de Publicaciones. (pp. 39 - 70).
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