FASE 2 – CONOCER FORMALISMOS USADOS PARA DEFINIR

LENGUAJES FORMALES

AUTÓMATAS Y LENGUAJES FORMALES

PRESENTADO POR:

CESAR STIVEN RODRIGUEZ BASTO

COD: 1030619052

GRUPO: 301405_38

TUTOR:

JHEIMER JULIAN SEPULVEDA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA-UNAD

INGENIERÍA DE SISTEMAS
VALLEDUPAR- 2019
Actividades para desarrollar

Actividades Individuales:
Cada estudiante resuelve el taller propuesto en el objeto virtual de
aprendizaje Lenguajes Regulares propuesto en el entorno de
conocimiento Unidad 1.
Se encuentran dos ejercicios, correspondientes a:

ACTIVIDAD 1: Conversión de un Autómata Finito a Expresión

Regular

Ejercicio 2

EJERCICIO
PARA
TRABAJAR

- Identificación del Autómata Finito Determinista

o Autómata Finito No Determinista

Caracterización El presente autómata es Finito No Determinista

del autómata
- Explicar las características del tipo de autómata
Su no determinismo se debe a que desde el
estado q0 sale un 1 para el mismo estado q0 y
para el estado q1.

Procedimiento Realice de manera detallada el procedimiento paso

de conversión a paso de la conversión del autómata a expresión
de Autómata regular y según ejemplo revisado.
Finito a
Expresión - Paso 1.
Regular paso a El proceso para seguir es por eliminación de
paso estados. Se puede iniciar desde el estado q0 en
donde se encuentra 1* +1 al estado q1 +2 al
estado q2
Resultando:1*+1+2

- Paso 2.
 Se elimina el estado q1, en donde hay un 1* +1
que sale hasta el estado q2
Resultando: 2*+1

- Paso 3.
Ya en esta parte se agrupan los términos
encontrados.
1*+1+2 + 2*+1

Autómata Final Se escribe la expresión regular

convertido 1*(2+12*1)

Conjunto de cadenas que inician en 1 o 1`s o

Lenguaje también en 2, para esta última solo termina en 2,
regular pero para las cadenas que inician en 1 o 1`s van
seguidas de un 2 o 2`s para terminar en 1.

ACTIVIDAD 2: Conversión de Autómatas Finitos Deterministas

a Autómatas Finitos No deterministas (AFD a AFND) y viceversa

EJERCICIO Ejercicio 2
PARA
TRABAJAR

Caracterización En este espacio se realiza:

del autómata - Identificación del Autómata Finito Determinista o Autómata Finito
No Determinista
El presente autómata es Finito No Determinista
- Explicar las características del tipo de autómata
Su no determinismo se presenta en los estados q0 y q3 con los
símbolos a y b respectivamente, es decir que presentan rutas dobles.

Procedimiento Realice de manera detallada el procedimiento paso a paso de la

de conversión conversión del autómata según corresponda.
paso a paso - Paso 1.
 Se realiza la tabla de transiciones
a b
q0 q1,q3 -
q1 - q2
q2 - -
q3 - q2,q3

- Paso 2.
Se toman los subgrupos de estados y se evalúan nuevamente, se
inicia con q1,q3 luego con q2 y finalmente con q2, q3

- Paso 3.
Se realiza la nueva tabla

a b
q1,q3 - q2,q3
q2 - -
q2,q3 q2,q3

Autómata Final
convertido

Autómatas original
Practicar y
verificar lo
aprendido

Autómata resultado final de la conversión

Actividad 3:
Teniendo en cuenta los ejercicios desarrollados por los estudiantes el
Grupo, selecciona uno de los autómatas finitos deterministas (AFD).
Con base en ese autómata desarrollan:

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

𝐾 = Es el conjunto de estados
Σ = Es el alfabeto de entrada
S ∈ Q = Es el estado inicial
𝐹 ⊆ 𝑄 = Es el conjunto de estados finales
𝛿 =: 𝑄𝑥Σ → Q Es la función de transición

2. Plasme la tabla de transición.

a b c
q0 q1 - q0
q1 - q2 -
q2 - - -

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.
 𝐾 = Es el conjunto de estados (q0,q1, q2)
Σ = Es el alfabeto de entrada (a, b, c)
S ∈ Q = Es el estado inicial (q0)
𝐹 ⊆ 𝑄 = Es el conjunto de estados finales (q2)
𝛿 =: 𝑄𝑥Σ → Q Es la función de transición (se presenta en la tabla
se transición

Conceptos y definiciones adicionales

AFD: Autómata Finito Determinístico. Consiste en un grupo de estados y un

conjunto de transiciones de estado a estado, que se dan sobre símbolos de
entrada tomados de un alfabeto S. Para cada símbolo de entrada existe
exactamente una transición a partir de cada estado. El estado q0, es el
estado inicial, en el que el autómata comienza. Algunos estados están
designados como final o de aceptación.

Autómata: Una máquina abstracta cuyos mecanismos de mando

fueron diseñados para seguir una sucesión predeterminada de
funcionamientos automáticamente o responder a las
instrucciones incluidas en el código. El autómata que se estudia se
idealiza en máquinas cuya conducta puede ser explicada en términos
de algún sistema descriptivo formal donde se manipulan símbolos en
lugar de hardware.
La palabra vacía Es la misma para todos los alfabetos y se denota
como λ.
Los estados: Son las diferentes situaciones o combinaciones que se
pueden presentar en el autómata, además son círculos que llevan
dentro el nombre que los identifica.
El estado inicial: Nos brinda la pauta para saber por dónde es la salida
o partida del autómata. Se le reconoce porque tiene una pequeña
flecha sobre este.
El estado final: Nos representa un estado de aceptación.
Las transiciones son los respectivos movimientos que se presenta entre
un estado y otro. En la tabla de transición al estado inicial suele
señalarse con una flecha y al estado final con el signo numeral.
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)
cadena válida: ccb

estado inicial q0

Se queda en el mismo estado q0 y lee una c

Repite el mismo proceso, el mismo estado q0 y lee la segunda c

Pasa al estado final q2 y lee la b.

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 de Moore en JFLAP

Diagrama de Moore en VAS

 • Tres similitudes
Ambos simuladores pueden simular AF y AFN
Ambos simuladores muestran las posibles cadenas válidas y no válidas
Ambos simuladores convierten AFN A AF

• Tres diferencias
En el simulador VAS hay que escribir el nombre de cada estado, en el
simulador JFLAP salen nombrados.
En el simulador VAS se puede visualizar la tabla de transición, en el
simulador JFLAP no.
En el simulador JFLAP se convierte el AF a ER, en el simulador VAS no.
 BIBLIOGRAFÍA

Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). Teoría de

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