Trabajo Final Automatas

Universidad Nacional Abierta y a Distancia
Escuela de Ciencias Básicas, Tecnología e Ingeniería - ECBTI

Autómatas y lenguajes Formales - 301405
Introducción
El presente informe es construido como evidencia del desarrollo de la

actividad correspondiente a la fase final del curso Autómatas y Lenguajes
Formales, en la Universidad Nacional Abierta y a Distancia de Colombia, UNAD.
En el mismo se abordan todas las temáticas revisadas durante el desarrollo

de las 3 unidades didácticas del curso a través de la solución de una serie de
ejercicios propuestos.
qx qy Qj Simplificación
0 0 ∅ a+b ¿ ∅+ a a¿
0 2 ∅ a+b ¿ ∅+ b b
2 0 b a+ b¿ ∅+ ∅ ∅
2 2 b a+ b¿ ∅+a a¿
De esta manera tenemos:
ER=a¿ b a ¿
a. Lenguaje regular
A partir de la expresión regular del autómata, se puede definir el

lenguaje regular que la misma representa:
¿ ¿
L={ { a } ⋅{ba }}
b. Tipo de autómata
Se trata de un autómata finito determinista (AFD), ya que todas sus
transiciones entre estados están determinadas.
Ejercicio 2
Sacamos la quíntupla del Autómata (Q , Σ , q 0 , δ , F)
Q={q 0 , q 1 , q 2 , q 3 , q 4 ,q 5 }
Σ={a , b , c , λ }
Qo=qo ,
F={q 3 , q 4 , q 5 }
Transiciones
δ (q 0 , a)→q 2 δ (q 0 , c )→q 4 δ (q 2 , a)→q 4
δ (q 0 , b)→q 0 δ (q 1 , a)→q 1 δ (q 3 , b)→q 1
δ (q 0 , λ)→q 1 δ (q 2 , b)→q 0 δ (q 3 , b)→q 4

δ (q 3 , a)→q 5 δ (q 4 , λ)→q 1 δ (q 5 , c)→q 3
δ (q 4 , a)→q 3 δ (q 4 , c)→q 0 δ (q 5 , a)→q 2
2. Realizar la conversión de AFD a AFND o de AFND a AFD según

corresponda.
El autómata descrito es un AFND debido a que de un mismo estado con un mismo

símbolo del alfabeto pasa a dos estados diferentes.
Primer paso se evalúa los estados que tienen conflicto
δ (q 3 , b)→q 1
δ (q 3 , b)→q 4
δ (q 0 , λ)→q 1 δ( q 1 , a)→q 1
δ (q 0 , a)→q 2
Se evalúa si se puede suprimir un estado
Debido a que q1 es un estado absorbente y todas las cadenas que queden en

este estado serán invalidas. Se elimina este estado quedando la siguiente figura
Como para cada transición un elemento del alfabeto lleva a un estado se dice que
este es un autómata finito determinista (AFD)
Descrito a continuación de la siguiente forma
5-tupla (Q , Σ , q 0 , δ , F)
Q={q 0 , q 2 , q 3 , q 4 , q 5 }
Σ={a , b , c }
Qo=qo ,
F={q 3 , q 4 , q 5 }
Transiciones
δ (q 0 , a)→q 2 δ (q 2 , a)→q 4 δ (q 4 , c)→q 0
δ (q 0 , b)→q 0 δ (q 3 , b)→q 4 δ (q 5 , c)→q 3
δ (q 0 , c )→q 4 δ (q 3 , a)→q 5 δ (q 5 , a)→q 2
δ (q 2 , b)→q 0 δ (q 4 , a)→q 3
Ejercicio 3
Realice la minimización paso a paso del autómata finito determinista.
Por minimización de conjuntos:
Paso1:
Se crean dos subconjuntos para los estados de aceptación y no aceptación X=

{q 3 , q 4 ,q 5 , q 6 }= estados de aceptación
Y ={q 0 , q 1 , q 2 }=¿ estados de no aceptación
Paso2:
Evaluamos el conjunto de los estados de aceptación

Paso3:
Evaluamos el conjunto de los estados de no aceptación.
Paso4:
Renombramos los estados
X ={q 3 ,q 6 }
Y ={q 4 , q 5 }
Z={q 0}
W ={q 1 }
J={q 2 }
Paso5:
Empezamos a validar el grupo de conjuntos renombrando estados, hasta hallar el

último conjunto equivalente.
X ={q 3 ,q 6 }
Y ={q 4 , q 5 }
Z={q 0}
W ={q 1 }
J={q 2 }
Paso 6:
El autómata ya se encuentra en su mínimo estado, hallamos los últimos conjuntos

y eliminamos los estados sobrantes para re direccionar los estados y construir el
autómata minimizado
X ={q 3 ,q 6 }
Y ={q 4 , q 5 }
Z={q 0}
W ={q 1 }
J={q 2 }
Para el caso de los conjuntos (X, Y) eliminamos cualquier estado sin que esto
afecte su funcionamiento.
X ={q 3 } para este conjunto eliminaremos {q 6 }
Y ={q 4 }para este conjunto eliminaremos {q 5}
La nueva tabla de transición del Autómata Minimizado queda de la siguiente

manera:
Ejercicio 4
Conjunto de estados
S={q 0 , q 1 }
Simbolos de Entrada
Σ={a , b }
Simbolos de pila
Γ ={a }
Trancisiones
δ (q 0 , a , apila a)=q 1
δ (q 1 , b , desapila a)=q 0
Estado Lectura Operación Estado

Q0 a Apila a Q1
Q1 b Desapila a Q0
Estado inicial
qo=Q 0
Estado de aceptación
F={q 0 }
Imagen
Validación de la máquina de pila en JFLAP:

Ejercicio 5
Realizar una máquina de Turing de autoría propia y realice:
A. Recorra la máquina con al menos una cadena válida explicando lo sucedido

tanto en la cinta como en la secuencia de entrada:
Cuando este en q1y lea una “b” se desplace ala izquierda y donde estaba
escriba una “b” y continua… continuando con el paso a paso.
En cuanto a lo que se encuentra en el círculo; lo que hace es duplicar la

entrada “abbb” en ese caso por “abbbabbb” pero solo las “b” y pasa 3 veces
porque son 3 b.
Y así continua y finaliza

B. Identifique una cadena que no sea válida y justifíquela por qué. Cadena
rechazada “aabb”
Por qué. La máquina inicia bien y cuando llega a q3 dice cuando lea un “ a”
gire a la derecha y escriba donde estaba una “X”
Ahora cuando este en q4 y lea una “b” aquí marcada. Pero no encuentra
“b” finaliza. Y es una cadena rechazada.
C. Ejecute el RunTest a una cadena aceptada que tenga al menos cinco

símbolos
Identifique en que momento la máquina se detiene.
En esta parte la maquina se detiene. Cuando está en q9 y lee cuadro, gire

la derecha y donde estaba escriba cuadro. Y así lo hace y giro a la derecha
y encontró la cinta queda en una “a” pero encuentra el final.

Trabajo Final Automatas

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Trabajo Final Automatas

Cargado por

Copyright:

Formatos disponibles

Universidad Nacional Abierta y a Distancia

Escuela de Ciencias Básicas, Tecnología e Ingeniería - ECBTI

El presente informe es construido como evidencia del desarrollo de la

En el mismo se abordan todas las temáticas revisadas durante el desarrollo

De esta manera tenemos:

A partir de la expresión regular del autómata, se puede definir el

Sacamos la quíntupla del Autómata (Q , Σ , q 0 , δ , F)

δ (q 0 , a)→q 2 δ (q 0 , c )→q 4 δ (q 2 , a)→q 4

δ (q 0 , b)→q 0 δ (q 1 , a)→q 1 δ (q 3 , b)→q 1

δ (q 0 , λ)→q 1 δ (q 2 , b)→q 0 δ (q 3 , b)→q 4

δ (q 3 , a)→q 5 δ (q 4 , λ)→q 1 δ (q 5 , c)→q 3

δ (q 4 , a)→q 3 δ (q 4 , c)→q 0 δ (q 5 , a)→q 2

2. Realizar la conversión de AFD a AFND o de AFND a AFD según

El autómata descrito es un AFND debido a que de un mismo estado con un mismo

Primer paso se evalúa los estados que tienen conflicto

Se evalúa si se puede suprimir un estado

Debido a que q1 es un estado absorbente y todas las cadenas que queden en

Descrito a continuación de la siguiente forma

δ (q 0 , a)→q 2 δ (q 2 , a)→q 4 δ (q 4 , c)→q 0

δ (q 0 , b)→q 0 δ (q 3 , b)→q 4 δ (q 5 , c)→q 3

δ (q 0 , c )→q 4 δ (q 3 , a)→q 5 δ (q 5 , a)→q 2

Por minimización de conjuntos:

Se crean dos subconjuntos para los estados de aceptación y no aceptación X=

Y ={q 0 , q 1 , q 2 }=¿ estados de no aceptación

Evaluamos el conjunto de los estados de aceptación

Evaluamos el conjunto de los estados de no aceptación.

Renombramos los estados

Empezamos a validar el grupo de conjuntos renombrando estados, hasta hallar el

El autómata ya se encuentra en su mínimo estado, hallamos los últimos conjuntos

X ={q 3 } para este conjunto eliminaremos {q 6 }

Y ={q 4 }para este conjunto eliminaremos {q 5}

La nueva tabla de transición del Autómata Minimizado queda de la siguiente

Estado Lectura Operación Estado

Validación de la máquina de pila en JFLAP:

A. Recorra la máquina con al menos una cadena válida explicando lo sucedido

En cuanto a lo que se encuentra en el círculo; lo que hace es duplicar la

Y así continua y finaliza

C. Ejecute el RunTest a una cadena aceptada que tenga al menos cinco

Identifique en que momento la máquina se detiene.

En esta parte la maquina se detiene. Cuando está en q9 y lee cuadro, gire

También podría gustarte