AUTOMATAS Y LENGUAJES

FORMALES
Unidad 1: Fase 1

REALIZADO POR: RENE OSORIO ESPINOSA

GRUPO COLABORATIVO: 301405_1

TUTORA: EDGAR ANTONIO CORTES

OCTUBRE DEL 2017

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
BARRANQUILLA - COLOMBIA
 INTRODUCCION

En el presente trabajo se podrá encontrar la puesta en práctica de los conocimientos

que se están adquiriendo en el curso de Autómatas y lenguajes formales a partir
de las teorías que de los lenguajes formales y la relación existe con la teoría de los
autómatas. La serie de ejercicios resueltos nos plantea una forma de poder
reconocer y comprender el nivel de abstracción de las maquinas secuenciales y los
autómatas partiendo de esto se podrán obtener técnicas para la construcción inicial
de un compilador.

El manejo de los Autómatas, las expresiones regulares y el lenguaje regular en la

solución de los distintos ejercidos nos permite obtener previos conocimientos a las
próximas fases que se desarrollen en el curso de Autómatas y lenguajes formales.
 OBJETIVOS

General
Desarrollar ejercicios sobre lenguaje y expresiones regulares.

Específicos
 Consultar sobre Autómatas y lenguajes formales
 Aprender sobre lenguaje formales
 Aprender sobre expresiones regulares
 Desarrollar los ejercicios planteados
 Ejercicio 1

Teniendo en cuenta el autómata realizar paso a paso el procedimiento de:

1. Hallar la expresión regular

2. Hallar el lenguaje regular
3. Justificar el tipo de autómata que es

Solución:
 Para este proceso se utilizara el método de la eliminación.
“Cuando eliminamos un estado, debemos reemplazar todos los caminos que
acontecían o pasaban a través de él como transiciones directas que ahora se
realizan con el ingreso de expresiones regulares, en vez de con símbolos”
Como en este autómata el estado inicial es diferente al estado final, se debe usar:

En este caso la expresión final del autómata está dada por:

(𝐖 + 𝐗𝐘 ∗ 𝐕)∗ 𝐗𝒀∗

Primero que todo eliminamos q2, las transiciones afectadas son:

a) De q3 a q0, pasando por q2. Para llegar a q0, q3 primero se debe pasar por q2
usando el símbolo “b”, luego pasa de q2 a q0 con el símbolo “a”. Esto queda
expresado con la siguiente expresión regular: “ba”
b) De q3 a q3, pasando por q2. Para llegar a q3, q3 primero debe pasar por q2 usando
el símbolo “b”, luego pasa de q2 a q3 con el símbolo “b”. Esto queda expresado con
la expresión regular “bb”.

Ahora procederemos a eliminarq3, donde las transiciones afectadas son las

siguientes:
a) De q4 a q0, pasando por q3. Para llegar a q0, primero se pasa por q3 con “(a+b)”,
luego en q3 se repite (a+bb)* y de q3 a q0 con “ba”.Esto queda expresado con la
expresión regular (a+b)(a+bb)*ba.

b) De q0 a q0, pasando por q3. Para llegar a q0, primero se pasa por q3 con “b”, luego
en q3 se repite (a+bb)* y de q3 a q0 con “ba”, todo esto repetidamente. Esto queda
expresado con la expresión regular b(a+bb)*ba).
Completemos la transición vacía de q4 a q0.

Se debe tener en cuenta que la expresión final del autómata está determinada por:

En este caso la expresión final del autómata está dada por:

(𝐖 + 𝐗𝐘 ∗ 𝐕)∗ 𝐗𝒀∗

En este caso los valores son los siguientes:

W = b(a+bb)*ba
X=a
Y=∅
V =(a+b)(a+bb)*ba

Reemplazando
La expresión regular es:

(b(a+bb)*ba)*a(a+b)(a+bb)*ba)*)*a

Hallar el lenguaje regular

Al hallar el lenguaje regular, este quedaría de la siguiente manera:

(b(a|bb)*ba)*a(a|b)(a|bb)*ba)*)*a
Justificación del tipo de autómata que es:
De acuerdo a los procesos llevados a cabo, puedo considerar que este tipo de
autómata es Finito Determinista y lo considero de esta manera porque de un estado
no salen 2 transiciones con la misma letra o palabra.

Ejercicio 2: Realizar la conversión del siguiente autómata, si el autómata es

AFD convertirlo a AFND y si es AFND convertirlo a AFD, Se debe mostrar el
procedimiento paso a paso.

En este ejercicio se identifica una AFN a AFD para su respectiva conversión; En

este ejercicio el método utilizado de conversión representado así:
Eq2 a q3 este ejercicio antes de empezar a graficarlo respectivamente en la tabla
de transiciones podemos deducir que su esta inicial va ser q0 y su estado final q6
estados; además podemos identificar que al alfabeto utilizado en este AFN es a y
b.
Tenemos dos tablas a representar primero las clausulas y después el procedimiento
así:
TABLA DE TRANSICIONES CLAUSULAS

a b
Q0 Q4 Q3
Q1 Q4 Q1
Q2 Q0 Q3
 Q3 Q3 Q2
Q4 Q3 Q3
Q5 Q3 Q2, Q6
Q6 Q1 Q3

TABLA DE TRANSICIONES PROCEDIMIENTO

a b
Q0 Q4 Q3
Q4 Q3 Q3
Q3 Q3 Q2
Q2 Q0 Q3
Q5 Q3 Q2, Q6
Q6 Q1 Q3
Q1 Q4 Q1

Con esto podemos identificar en la parte vertical los estados respectivamente en la

tabla de cláusulas propuestas para todos los estados y en la parte horizontal las
diferentes letras de abecedario relacionadas en cada una de las transiciones.
En la segunda tabla tenemos el proceso de cada una de las transiciones
respectivamente estudiadas y por ultimo procedemos a graficarlo así:
En el anterior proceso utilizamos el software Visual Autómata Simulator para
graficarlo correctamente.