Unidad 1

Fase 1: Debatir y desarrollar los ejercicios planteados sobre lenguajes y

expresiones regulares.

Trabajo grupal

Curso:
Automatas Y Lenguajes Formales

Presentado a:
Edgar Antonio Cortes

Presentado por:
Levis Jonathan Mirama Rosero Código: 1.089.196.728
Marilyn Argenis Vallejo Código:
Ramses Torres Código:
Oscar Dario Castro Rosero Código: 1.085.308.200

Grupo:
301405_35

Cead: Pasto

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA – UNAD

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
OCTUBRE 2018
 Desarrollo de actividad

Teniendo en cuenta los ejercicios desarrollados por los estudiantes el Grupo,

selecciona uno de los autómatas finitos deterministas (AFD).

Ejercicio elegido: No. 1

El autómata está compuesto por la quíntupla con los símbolos (K, Σ, δ, s, F),
donde:

K = {q0, q1, q2}, identifica el conjunto de estados del autómata

Σ = {a, b}, es el alfabeto de entrada
S = {q0}, es el estado inicial
F = {q1} es un conjunto de estados finales o de aceptación.
δ: K x Σ → K es la función de transición, que a partir de un estado y un
símbolo del alfabeto obtiene un nuevo estado.

1. Describa la forma matemática del autómata

Forma matemática del autómata

M= ({q0, q1, q2,}, {a, b}, δ, {q0}, {q1}
2. Plasme la tabla de transición.

Viene dada por las transiciones:

δ (q0, a) = q1 δ (q0, b) = q2
δ (q1, a) =--- δ (q1, b) = q0
δ (q2, a) =q1 δ (q2, b) = ----

Tabla de transición a b
→q0 Q1 Q2
#q1 ----- Q0
q2 Q1 --------

3. Identifique los elementos (tupla, estado final, inicial, alfabeto, etc.).

Debe explicar y describir cada elemento y la función y significado en el
autómata. Conceptos y definiciones adicionales.

Automata finito determinista (5-tupla)

Forma del autómata finito
A= (Q, Σ, δ, q0, F)
determinista
Q el conjunto finito de estados,
Q que denotaremos por q0, q1, q2.
Q = {q0, q1, q2}

Σ el alfabeto, es decir, un conjunto finito

de símbolos que formarán palabras o
Σ
cadenas.
El conjunto de palabras que se pueden
formar concatenando los símbolos de Σ
se denota por Σ*. La palabra vacía, que
no está formada por ningún símbolo,
forma parte de Σ*.
Σ= {a, b}
δ es la función de transición. Determina
el comportamiento del autómata.
δ
Δ (qi, a) = qj
Significa que, si en el estado qi de Q el
autómata recibe el símbolo de entrada a
de Σ, entonces pasa al estado qj de Q.
 q0 es el estado inicial, el estado en qué
q0 el autómata se encuentra inicialmente.
Es determinado por →q0
F es el subconjunto de Q (por tanto,
finito) que contiene los estados de
F aceptación (o finales), que son los
estados que provocan la parada del
autómata.
Cuando se llega a uno de estos estados a
través de una palabra w de Σ*, diremos
que el autómata acepta dicha palabra.
Q= {q0, q1, q2}, F={q1}.

4. Muestre en el simulador (gráficamente) como recorre una cadena

válida. Explique cada secuencia. (No se trata solo de captura las
imágenes, estas deben ser explicadas en pie de página o de lo
contrario no tienen validez)

 El recorrido por (abba) lo acepta debido a que llega a su destino de

aceptación partiendo del estado q0 a q1 pasando por la primera (a)
luego q1 pasa por la segunda transición b que llega nuevamente a q0
y sigue con b al estado q2 y de q2 con el símbolo (a) hasta el destino
final q1 por esa razón el simulador lo acepta esta cadena.
 Otra transacción es (ba) del estado q0 con el símbolo o transición b
hace recorrido a el estado q2 y pasa al estado final q1 el cual también
es aceptado por el simulador.

Posibles aceptaciones y rechazos

5. Muestre el diagrama de Moore generado en JFLAP y en VAS y comente

tres similitudes y tres diferencias que encuentra al realizarlo en los dos
simuladores. (Ventajas que ofrezca uno u otro).

Diagrama en JFLA
 Diagrama en VAS

JFLAP VAS

Los simuladores permiten graficar los recorridos del autómata y diferentes

opciones donde se presentan las diferencia y similitudes

Similitudes
Permite graficar los recorridos con Vas también lo realiza
los estados
Su grafica muy fácil Se presenta graficas fáciles y bien
diseñadas
Convierte AFD a AFND También presenta la opción para
esta conversión.
Diferencias o ventajas y desventajas
Permite convertir de AF a expresión No cuenta con la opción
regular
Permite crea estados con clic uno Crea estados con opciones de estado
tras otro 1 por uno indicando su nombre.
Cuenta con 11 opciones, a la hora de Tiene dos opciones para trabajar y
empezar a trabajar no cuenta con permite visualizar la tabla de
una tabla de transición, permite transiciones.
observar si las cadenas del autómata
son aceptadas o rechazadas
 Referencias Bibliográficas

 Carlos Amaya (2013, septiembre 26) Construcción de autómatas

diagramas de Moore y tablas de transición. (archivo video) Tomado
de: https://www.youtube.com/watch?v=3kWdHOLw-AQ&t=324s

 Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes,

Gramáticas Y Autómatas Para Informáticos. Recuperado de
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=
nlebk&AN=318032&lang=es&site=edslive&ebv=EB&ppid=pp_Cover

 Hernández, R. (2010). Practique la teoría de autómatas y lenguajes

formales. (pp. 1 -124). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?do
cID=10566114&ppg=10

 Alfonseca, C., Alfonseca, M., Mariyón, S. (2009). Teoría de autómatas

y lenguajes formales. (pp. 7-797). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?do
cID=10498456&ppg=6

 Millán, J., Antonio J. (2009). Compiladores y procesadores de

lenguajes. (pp. 28-62). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?docI
D=10844351

 Ferrando, J.C., and Gregori, V. (2012). Matemática discreta (2a. ed.).

(pp. 207-232). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?pp
g=260&docID=10751543&tm=1481476339478