AUTOMOTAS Y LENGUAJES FORMALES – APORTE INDIVIDUAL

FASE 1

Estudiante:

CRISTIAN ALBERTO GOMEZ

Materia:

Automatas

Universidad Nacional Abierta y a Distancia

Septiembre 2018
 DESARROLLO ACTIVIDAD INDIVIDUAL

1. Conversión de un Autómata Finito a Expresión Regular (ER)

EJERCICIO A Ejercicio 3
TRABAJAR

Caracterización - Identificación del Autómata Finito

del autómata Determinista o Autómata Finito No
Determinista.

Autómata Finito Determinista (AFD)

Q ơ δ (q, ơ)
a
b
b

- Explicar las características del tipo de

autómata

 Toda transición de a no es vacía.

 Desde cualquier estado y con la misma
transición solo se va a uno y solo un
estado
 Transiciones de un estado final con
transiciones a otros estados

Procedimiento Realice de manera detallada el procedimiento

de conversión paso a paso de la conversión del autómata a
de Autómata expresión regular y según ejemplo revisado.
Finito a
Expresión
Regular paso a Método de eliminación de estados
paso
- Paso 1

Por medio de eliminación de estados eliminamos

debido a que no es el único medio por el cual
podemos llegar a .
Queda dirección a
Y dirección a y

- Paso 2

Por medio de eliminación de estados eliminamos

Queda de la forma: Estrella de Kleene b + ab
Autómata Final En este espacio se presenta la expresión
convertido correspondiente al autómata trabajado.

Lenguaje En este espacio agrega el lenguaje regular

regular correspondiente a la expresión regular.
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ón En este espacio se realiza:

del autómata - Identificación del Autómata Finito Determinista o
Autómata Finito No Determinista

Autómata Finito No Determinista (AFND)

Q ơ δ (q, ơ)
a
b
a
b
a
λ
a
b
- -

- Explicar las características del tipo de

autómata

 Posee un estado con muchas transiciones

 Transiciones sin leer entradas
 Transiciones de un estado final con
transiciones a otros estados

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: Hallar las clausuras respecto a épsilon

Clausura
Clausura e (0) { } { }
Clausura e (1) { } { }
Clausura e (2) { } { }
Clausura e (3) { } { }
Clausura e (4) { } { }

- Paso 2: Elaborar la tabla de transiciones del

autómata

λ a b
Q0 - { } { }
Q1 - { } { }
Q2 { } { } -
Q3 - { } { }
Q4 - - -

- Paso 3: Elaborar la tabla de relación de transición

del AFD

a b
{ } { } { } { } { } { }
{ } { } { } { } { } { }
{ } { } { } { } { } { }
{ } { } { } { } { } { }
{ } { } { } { } { } { }

a b
A B C
B D B
C E F
D F F
E D B

-Paso 4: Dibujar el AFD

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

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

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

Autómata Original

Cadenas Validas
Cadenas Rechazadas

Autómata resultado

Cadenas Validas:

Cadenas Rechazadas
 REFERENCIAS BIBLIOGRAFICAS

González, A. [Ángela]. (2018, junio 1). Lenguajes Regulares.

[Archivo web]. Recuperado
de http://hdl.handle.net/10596/18315