Unidad 1- Fase 2 - Conocer formalismos usados para definir lenguajes

formales.
Actividad individual

Estudiante
Anyerina Paola Cabarcas Diaz
Codigo:1118815359

Tutor
Rolando Fabian Junco

2019

Universidad Nacional Abierta y a Distancia

AUTOMATAS Y LENGUAJES FORMALES

Codigo de curso: 301405_44

Cead Puerto Colombia

Atlantico
ACTIVIDAD 1
 Desarrollo de la actividad

Teniendo en cuenta que el ultimo digito de mi identificaci[on es el numero 9 , me pemrito diligenciar los
datos requeridos según el formato:

Conversión de un Autómata Finito a Expresión Regular

Ejercicio A Trabajar

Caracterización del autómata  Es un Autómata Finito No Determinista.

 Permite transiciones con cadenas vacías.
 La transición desde un estado puede tener
múltiples destinos.

Procedimiento de conversión de  Paso 1: Conversión a Expresión regular

Autómata Finito a Expresión Regular
paso a paso

 Paso 2: Eliminamos q1:

  Paso 3

Autómata Final convertido

Lenguaje regular
ER= (11)* + (11+2) (12+1)
ACTIVIDAD 2: Conversión de Autómatas Finitos Deterministas a Autómatas Finitos No
deterministas (AFD a AFND) y viceversa

Ejercicio a trabajar

Caracterización del autómata  Autómata Finito No Determinista

 Permite transiciones con cadenas vacías.
 La transición desde un estado puede
tener múltiples destinos.

Procedimiento de conversión paso  Paso 1:

a paso
Estados A B C
q0 q0, q1 q2 q3,q2
q1 - q2 -
q2 - - -
q3 - q2 -

 Paso 2:

Estados A B C
q0 q0, q1 q2 q3,q2
q0, q1 q0, q1 q2 q3
q2 - - -
q3,q2 - q2 -
q3 - q2 -
Autómata Final convertido  Identificación del Autómata Finito
Determinista
 No se aceptan transiciones con cadenas
vacías
 La transición desde un estado puede
tener como destino un único estado

Practicar y verificar lo aprendido Apoyándose en el simulador JFlap o VAS ejecutar los

dos autómatas, el original y el autómata resultado
final de la conversión y validar por lo menos tres
cadenas válidas y tres cadenas rechazadas.
En este espacio agregar las imágenes tomadas del
simulador utilizado.

Cadenas validadas con JFLAP (autómata original):

Cadenas validadas con JFLAP Autómata
resultado: