Unidad 1- fase 2 - Conocer Formalismos Usados Para Definir Lenguajes Formales.

Autómatas

Estudiante:
Cristian Camilo Velez
Código: 1109383715

Tutor:

Rolando Fabián Junco

Grupo: 301405_15

Universidad nacional Abierta y a Distancia Unad

Ingeniería de Sistemas
Líbano
 Ejercicios de la fase 1
Actividad individual

De acuerdo al último dígito de su cédula o tarjeta de identidad, identifique el ejercicio asignado en

la siguiente tabla:

Último dígito de la Ejercicio

Cédula o TI
5 Ejercicio 5

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

EJERCICIO A
TRABAJAR

ejercicio 5
Caracterización del En este espacio se realiza:
autómata - Identificación del Autómata Finito Determinista o Autómata
Finito No Determinista
- Explicar las características del tipo de autómata

tabla de transición

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

identificación de autómata finito no determinístico

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

conversión de conversión del autómata a expresión regular y según ejemplo
Autómata Finito a revisado.
Expresión Regular
paso a paso
 - eliminando el estado q1

- eliminando el estado q0

ER=C*(ab+b)

Autómata Final En este espacio se presenta la expresión correspondiente al

convertido autómata trabajado.
 ER=C*(ab+b)

Lenguaje regular En este espacio agrega el lenguaje regular correspondiente a la

expresión regular.

ER=C*(ab+b)
ACTIVIDAD 2: Conversión de Autómatas Finitos Deterministas a Autómatas Finitos No
deterministas (AFD a AFND) y viceversa
El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO A Registre aquí el Ejercicio a trabajar. Por favor agregue la imagen

TRABAJAR

Caracterización En este espacio se realiza:

del autómata - Identificación del Autómata Finito Determinista o Autómata Finito
No Determinista
- Explicar las características del tipo de autómata

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

de conversión conversión del autómata según corresponda y según ejemplo revisado.
paso a paso

- Paso 1…

0 1
𝐴 = {0}𝑈{3} 𝐵 = {0,2}𝑈{3} 𝐶 = {0,1}𝑈{3}
𝐵 = {0,2}𝑈{3} 𝐵 = {0,2}𝑈{3} 𝐷 = {0,1,3}𝑈{3}
𝐶 = {0,1}𝑈{3} 𝐸 = {0,2,3}𝑈{3} 𝐶 = {0,1}𝑈{3}
𝐷 = {0,1,3}𝑈{3} 𝐸 = {0,2,3}𝑈{3} 𝐶 = {0,1}𝑈{3}
𝐸 = {0,2,3}𝑈{3} 𝐵 = {0,2}𝑈{3} 𝐷 = {0,1,3}𝑈{3}

- Paso 2…
 estado 0 1
-A B C
B B D
C E C
#D E C
#E B D

Autómata Final En este espacio se presenta el autómata final

convertido

Practicar y Apoyándose en el simulador JFlap o VAS ejecutar los dos autómatas, el

verificar lo original y el autómata resultado final de la conversión y validar por lo
aprendido menos tres cadenas válidas y tres cadenas rechazadas.
Autómata Original
Unidad 1- Fase 2 - Conocer formalismos usados para definir lenguajes formales
Autómatas

Estudiantes:
Oscar Fernando Rojas
Cristian Camilo Velez

Tutor:
Rolando Fabián Junco

Grupo: 301405_15

Universidad Nacional Abierta y a Distancia Unad

Ingeniería de sistemas
2019
Actividad 3:
Teniendo en cuenta el siguiente autómata realice:

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

A=[(q0,q1,q2,q3,q4),(1,0),q0,(q4) δ]

K=(qo,q1,q2,q3,q4)
Σ=(1,0)
SϵA=q0
F⊆A=q4
δ=Transiciones

2. Plasme la tabla de transición.

estado 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 -

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.

Tupla:

M =({q0, q1, q2,q4,q5,q6,q7,q8} , {0,1} , δ, q0, {q2}, {q4}, {q8})

K =estados {q0, q1, q2,q4,q5,q6,q7,q8}

Σ = alfabeto {0,1)

s=estado inicial q0

F = estado final ({q2}, {q4}, {q8})

Donde la función δ : { q0, q1, q2,q4,q5,q6,q7,q8} ×{0,1} → { q0, q1, q2,q4,q5,q6,q7,q8} viene
dada por:

Relación de transiciones

δ(q0, 1) = q1

δ(q1, 1*) = q1

δ(q1, 0) = q2

δ(q2, 1) = q5

δ(q3, 0) = q0

δ(q3, 1) = q1

δ(q4, 0) = q4

δ(q4, 1) = q8

δ(q5, 0) = q2

δ(q5, 1) = q8
δ(q6, 1) = q3

δ(q6, 0) = q7

δ(q7, 1) = q3

δ(q7, 0) = q8

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

El autómata finito no determinístico presenta 3 estados finales se toma una de las sólidas
aceptadas en q0, q1, q2 es 110

Se hace el recorrido desde q0 pasando por la transición 1 mostrando en azul el estado

recorrido de una cadena valida sin llegar a su estado final
 En este caso se llega 1*= significa que puede existir 1 o varios unos concatenados con el
estado terminal que corresponde a un uno

muestra un estado de aceptación en q2 de igual forma se puede generar un estado de

aceptación en q4 solo agregando transición de 00 al llegar al estado aceptado, muestra de
color verde indicando que es aceptada la cadena.

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

Similitudes

 Tanto en JFLAP como en VAS, El diagrama Moore realizado presenta un análisis dando
como respuesta de ejecución: aceptación o rechazo.
 En los dos simuladores se pueden realizar la conversión de AFND a AFD.
 En los dos simuladores, JFLAP como en VAS, se puede observar el recorrido
progresivamente de un autómata (JFLAP: input/ step by step y enVAS: debug one step)
 Diferencias

 En JFLAP los diagramas no se puede observar la transición de lossímbolos.

 En el simulador VAS no es posible efectuar la conversión de AF a ER.
 Podemos indicar que en el VAS no se requiere colocar las expresiones 1 a1 como en el
JFLAP.
 Bibliografía

Santos, M. (2014). Sistemas telemáticos. Introducción a los sistemas telemáticos. (Páginas. 18 -

26). Madrid, ES: RA-MA Editorial. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?docID=3228770&ppg=18

Santos, G. M. (2014). Comunicaciones y Redes de Computadoras. Diseño de redes telemáticas.

(Páginas 18 - 38). Madrid, ES: RA-MA Editorial. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?docID=3229018&ppg=18

Santos, G. M. (2014). Medios de Transmisión y sistemas de cableado estructurado. Diseño de

redes telemáticas. (Páginas 80 - 100). Madrid, ES: RA-MA Editorial. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?docID=3229018&ppg=80

Santos, G. M. (2014). Proyecto e Implantación de una Red Telemática. Diseño de redes

telemáticas. (Páginas 225 - 260). Madrid, ES: RA-MA Editorial. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?docID=3229018&ppg=225