Fase 2 - Formalismos usados para definir lenguajes formales

Presentado a:
Jheimer Julian Sepulveda
Por:
Juan Pablo Motta Erazo

Ingeniería de Sistemas.
Autómatas y Lenguajes Formales
301405_34 - Cead Cali
Marzo 2019
 EJERCICIOS DE LA FASE 1
ACTIVIDAD INDIVIDUAL

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 Ejercicio 3.
TRABAJAR

Caracterización
del autómata
Este es un Autómata Finito No Determinista
Porque con una misma transacción puede llegar
a varios estados. Ejemplo:

 Con la transacción a de q0 se puede llegar al

estado de q1 como a q2.
 Con la transacción b de q1 se puede llegar al
estado de q0 como a q2
Procedimiento -Método eliminación:
de conversión Paso 1.
de Autómata
Finito a Eliminando q1= Se obtiene
Expresión
Regular paso a
paso

Paso 2.

Eliminando q0 = Se obtiene

ab* a+ab

Autómata Final
convertido

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

EJERCICIO A Ejercicio 3:
TRABAJAR

Caracterizació Este es un Autómata Finito No Determinista

n del autómata Porque con una misma transacción puede llegar a varios
estados. Ejemplo:

 Con la transacción a de q0 se puede llegar al estado de q1

como a q3.

Procedimiento Paso 1.
de conversión Hallar Tabla de Transición.
paso a paso
a b λ
q0 q1, q3 q2 q2
q1 - q2 -
q2 - - -
q3 - - -

Paso 2.
Realizar Tabla de Procedimiento

a b λ
q0 q1, q3 q2 q2
q1 q3 q2 - -
q2 - - -
Autómata Final
convertido

Practicar y Apoyándose en el simulador JFlap o VAS ejecutar los dos

verificar lo autómatas, el original y el autómata resultado final de la
aprendido conversión y validar por lo menos tres cadenas válidas y tres
cadenas rechazadas.
Actividad 3:

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

({q0, q1, q2}, {a, b}, δ q0, {q2})

2. Plasme la tabla de transición.

a b
q0 q1, q2
q1 q0, 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.

Tupla:
Q= {q0, q1, q2} Identificación de transiciones del autómata.

Σ = {a,b} Identificación del Alfabeto del autómata.

S = {q0} Estado Inicial

F = {q2} Estado Final

δ = (q0, a) = q1, δ = (q0, a) = q2, δ = (q1, b) = qo, δ = (q1, b) = q2,