ACTIVIDAD DE APRENDIZAJE

Taller Autómatas
finitos
 Actividad 1 (autómatas finitos)

Oscar Javier García García

Institución Universitaria Digital de Antioquia

Autómatas, gramáticas y lenguajes

Bernardo León Hoyos Espinoza

13 de mayo de 2023
 ACTIVIDAD DE APRENDIZAJE

Taller Introducción a Autómatas y gramáticas

Objetivo:
Formular problemas básicos en diseño de autómatas donde los estudiantes identifiquen los
componentes de estas máquinas abstractas y el diseño de las mismas, simulando su
funcionamiento mediante las cadenas de entradas y sus resultados.

Descripción:
El producto es un documento que debe cubrir todos los puntos de la rúbrica de evaluación y debe
ser elaborado en un procesador de palabras (OpenOffice write o Microsoft Word.) para luego ser
convertido a PDF (Portable data File).

El simulador recomendado para el desarrollo de esta temática, lo pueden descargar para su

implementación desde el siguiente link JFLAP. http://www.cs.duke.edu/csed/jflap/

Un documento en PDF: que contiene: Formato de presentación del Documento: El documento

debe contener los siguientes puntos:

• Portada: Datos de los Estudiantes (nombre, Cedula de ciudadanía, e-mail.

• Desarrollo de cada uno de los puntos del taller.

 Taller
1. (10%) Obtenga un AFD con el lenguaje definido en el alfabeto Σ= {0,1}, que pueda generar entre otras,
un subconjunto de las siguientes cadenas {010}, {01110}, {01011}, {010101}, {01110}, {101}, {10001},
{1111}.

ẟ 0 1

→q0 Q0 Q1

q1 Q3 Q2

q2 Q1 Q3

##q3 Q3 Q3
2. (10%) Obtenga un AFND diferente al AFD del punto anterior, con el lenguaje definido en el alfabeto
Σ={0,1}, que pueda generar entre otras, un subconjunto de las siguientes cadenas {010}, {01110},
{01011}, {010101}, {01110}, {101}, {10001}, {1111}.

ẟ 0 1

→q0 Q0 Q1, Q2

q1 Q3 ф

q2 ф Q3

##q3 Q3 Q3
3. (20%) Dado el alfabeto Σ= {a,b}, construir un Autómata Finito Determinista, que acepte el lenguaje
representado por la siguiente expresión regular a*(ab+ba)(bb)
 .
Recuerda que puedes al escribir ab se puede hacer de las siguientes formas equivalentes, dado que
ambos generan la misma cadena.

• genera ab

• genera ab
• No confundir con la siguiente, que genera a+b

es decir, genera una cadena a o una cadena b

4. (60%) Dada la siguiente tabla de transición hacer los siguientes puntos

𝛿 0 1
→ Q0 {Q0, Q3} {Q0, Q1}
Q1 ∅ Q2
#Q2 Q2 Q2
Q3 Q4 ∅
#Q4 Q4 Q4
 a. (5%) Indicar si es AFD o AFND y justifique su respuesta.

Es un AFND, ya que el estado inicial toma 2 transiciones cuando toma valor 0 y 2 cuando
toma valor de 1.

b. (15%) Indique la quíntupla del autómata

M= {Q, ∑, q0, F, ẟ}
∑ = {0,1}
Q = {q0, q1, q2, q3, q4}
q 0 = {inicial}
F = {q2, q4}

c. (15%) Dibuje el autómata en un simulador

 d. (5%) Señale tres cadenas que cumplan y tres cadenas que no cumplan con ese
autómata.

e. (20%) Indique el autómata en lenguaje regular.

q0 q2 (1+0) *11(1+0) *
q0 q4 (1+0) *00(1+0) *
ER = ((1+0) *11(1+0) *) + ((1+0) *00(1+0) *)