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

formales.

Grupo 301405_51

Universidad Nacional Abierta y a Distancia

Escuela de ingeniería
Marzo de 2019
Medellín
 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 Ejercicio

de la Cédula o
TI
1y9 Ejercicio 1
2y8 Ejercicio 2
3y7 Ejercicio 3
4y6 Ejercicio 4
5y0 Ejercicio 5

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

El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO A
TRABAJAR Ejercicio 4

Caracterización
del autómata Tipo autómata
Autómata Finito Determinista

Características
- Tiene un conjunto finito de estados (Q)
- Tiene un estado inicial (▻ )
- Tiene una función de transición (δ)
 - Tiene un estado final o de aceptación (F)
- Tiene un símbolo de entrada designado como
(Σ)
- La transición desde un estado puede tener como
destino un único estado. Por eso se llama
determinista.
- No se aceptan transiciones con cadenas vacías.
- Una cadena es aceptada si su transición es
hacia un estado final.

Procedimiento
de conversión - Paso 1 – Eliminando el estado q1
de Autómata
Finito a
Expresión
Regular paso a
paso

- Paso 2 – Eliminando el estado q0

Autómata Final
convertido

Lenguaje ER= (b a+ab)b*

regular
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
TRABAJAR Ejercicio 4

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

Características
- Tiene un conjunto finito de estados (Q)
- Tiene un estado inicial (▻ )
- Tiene una función de transición (δ)
- Tiene un estado final o de aceptación (F)
- Tiene un símbolo de entrada designado como
(Σ)
- La transición desde un estado puede tener
múltiples destinos. Por eso se le llama no
determinista.
- Permite transiciones con cadenas vacías.
 - Una cadena es aceptada si solo una de todas
sus posibles transiciones son hacia un estado
final.

Procedimiento Realice de manera detallada el procedimiento paso

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

- Paso 1…
- Paso 2…
- Paso 3…

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

verificar lo dos autómatas, el original y el autómata resultado
aprendido 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.