UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

AUTOMATAS Y LENGUAJES FORMALES

Cód. 301405_20

Unidad 1 - Fase 2
Actividad 3 colaborativa
Conocer formalismos usados para definir lenguajes formales

Rodrigo Delgado Torres

Código 80403075
Código de curso 301405_20

Presentado a:
Rolando Fabian Junco

Universidad Nacional Abierta y a Distancia - UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería
Programa Ingeniería de Sistemas
CEAD Acacias, Meta
Mayo de 2019
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Cód. 301405_20

1. Descripción de la actividad

Actividades Colaborativas:

El trabajo se desarrolla demostrando el procedimiento realizado paso a

paso, no se tendrá en cuenta las respuestas o simulaciones en jFlap o
VAS.

Actividad 3:

Teniendo en cuenta el siguiente autómata realice:

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Cód. 301405_20

Describa la forma matemática del autómata.

q0 a q2 pasando por q1 = 11*0

q0 a q4 pasando por q1, q2 = 11*0+00*

q0 a q8 pasando por q1, q2, q5, = 11*0+(10) *1

q0 a q2 pasando por q3, q1 = (00) *111*0

q0 a q4 pasando por q3, q1, q2 = (00) *111*0+00*

q0 a q4 pasando por q3, q1, q2, q5, q8 = (00) *111*0+(10)

*1+(11) *0*

q0 a q8 pasando por q1, q2, q4 = 11*0+00*(11) *

q0 a q4 pasando por q1, q2, q5, q8, = 11*0+(10) *1+(11) *0*

1. Plasme la tabla de transición.

0 1
q0 q3, q1
q1 q2 q1
q2 q4 q5
q3 q0 q1
q4 q4 q8
q5 q2 q8
q6 q7 q3
q7 q8 q3
# q8 q7 q4

2. 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.

Los autómatas están definidos por una tupla de 5 elementos (Q,

Σ, q0, δ, F) que en este ejercicio corresponden a:
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Cód. 301405_20
 Q es el conjunto finito de estados del autómata. En el ejercicio
corresponde al conjunto Q = {q0, q1, q2, q3, q4, q5, q6, q7, q8}.
 Σ es el alfabeto de símbolos que aceptan los estados diferentes
estados del autómata. En este caso: Σ = {0, 1}.
 q0 es el estado inicial donde comienza la ejecución del autómata.
Debe pertenecer a Q y en este caso corresponde al estado q0.
 δ es la función de transición de un estado a otro. Para el ejercicio
planteado está plasmada en la tabla de transiciones ya descrita.
 F es el conjunto de estados de aceptación o estados finales que
deben pertenecer a Q. En este caso corresponde al conjunto F =
{q2, q4, q8}

3. 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 pié de página o de lo
contrario no tienen validez)

a. Iniciamos la simulación en JFLAP, introducimos la cadena valida

“11001”
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Cód. 301405_20

b. De la fase inicial en q0 parte el primer número “1” y queda en el

estado q1
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Cód. 301405_20

c. Del estado q1 que parte con el numero “1” automáticamente se

queda en el estado q1
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Cód. 301405_20

d. Del estado q1 parte con el numero “0” quedando en el estado q2

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Cód. 301405_20

e. Partiendo del estado q2 con el numero “0” quedando en el

estado q4

f. Y partiendo del estado q4 con el numero “1” quedando en el

estado q8 y completando el autómata vemos que es una cadena
valida ya que el estado q8 es el estado final del autómata
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Cód. 301405_20

4. 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).
 Programa en JFLAP

 Programa en VAS (Visual Autómata Simulator)

 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Cód. 301405_20

Similitudes:
1. Los dos simuladores están hechos en java
2. Los dos simuladores tienen características para la creación de casi
los mismos autómatas.
3. Ambos simuladores permiten recorrer la cadena paso a paso lo
que facilita su proceso.
Diferencias:
1. En VAS se debe ir eligiendo el icono de estados e ir colocándole el
nombre.
2. En JFLAP es te proceso es automático ya que con cada clic puedo
crear estados nombrados consecutivamente.
3. Las transiciones en VAS son por defecto curvas, en JFLAP, el
detecta cuando es necesario.
4. JFLAP Tiene más opciones en su menú.
 UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
AUTOMATAS Y LENGUAJES FORMALES
Cód. 301405_20
Bibliografía

González, A. [Ángela]. (2018, junio 1). Lenguajes Regulares. [Archivo

web]. Recuperado dehttp://hdl.handle.net/10596/18315
González, A. [Ángela]. (2016, mayo 30). Conversión de Autómata Finito
No Determinista a Autómata Finito Determinista [Archivo de video].
Recuperado de https://www.youtube.com/watch?v=29Qp_AWXFt4