Autómatas y Lenguajes Formales

Estudiantes:

Alejandro Guerra Palmera

Código: 1065656739
Omar Pedraza Valle
Codigo: 1065655932
Yenis Paola Bolaños
Codigo :1068389279
Marcos Ortiz
Codigo:

Curso: 301405_4

Facultad
Ing. De Sistemas
Tutor:
Jaime Jose Valdes

Universidad Nacional Abierta y a Distancia (UNAD)

Valledupar – Cesar

2017
Ejercicio 1.
Teniendo en cuenta siguiente autómata realizar el proceso de minimización. Se debe
realizar el procedimiento paso a paso.

1. Realice la descripción (notación) (caracterización) matemática del autómata (antes

de minimizar)
2. Plasme la tabla de transición del autómata. (No es la que generas VAS). (Antes de
minimizar)
3. Identifique El Lenguaje que reconoce. (Antes de minimizar)
4. Identifique los estados Distinguibles y los No distinguibles
5. En el proceso de eliminación de estados, identifique que transiciones se eliminan y
cuáles se re direccionan. Muestre la tabla de estados distinguibles Para el autómata
ya minimizado:
6. Realice la descripción (notación) (caracterización) matemática del autómata ya
minimizado
7. Identifique El Lenguaje que reconoce.
8. Identifique su gramática (de forma manual) por la derecha y caracterícela. Debe
incluir el diagrama de estados con los componentes de la gramática
9. asociados a las variables y a las constantes.
 Solución

1. Realice la descripción (notación) (caracterización) matemática del autómata

(antes de minimizar)

Tupla = q0, q1, q2, q3, q4, q5, q6, q7

Estado Inicial EI = q0
Alfabeto de Autómata ∑ = 1,2
Estado de aceptación EF= q4,q7

Rta/ La descripción que se emplea para la minimización del autómata es por conjuntos ya
que nos permite llegar a la forma reducida del autómata

Clasificamos los estados que se pueden denominar en conjunto de “Estados de

aceptación y estados de no aceptación” e identificamos el alfabeto que en este caso

sería  ={1, 2} procedemos a hacer los conjuntos los cuales serían:

X= {q4, q7}
Y= {q0, q1, q2, q3, q5, q6}

Clasificación de los estados

Estados de aceptación.
X= {q4, q7}

Estados de No Aceptación.
Y= {q0, q1, q2, q3, q5, q6}
 Una vez identificado los conjuntos de estados de aceptación procedemos a hacer la
tabla de transición.

Tabla de Transición de Estados de Aceptación

1 2
Q4 Y Y
Q7 Y Y

Tabla de Transición de Estados de No Aceptación

1 2
Q0 Y Y
Q1 Y Y

Comparten la

característica
Q2 Y X

misma
Q3 X Y
Q5 Y X
Q6 X Y

Identifique El Lenguaje que reconoce. (Antes de minimizar)

El Lenguaje que reconoce el autómata es

L = 1, 2
Podemos ver en la tabla de Estados de No Aceptación hay varios estados que
comprenden la misma característica podemos decir que se pueden unificar. Procedemos
a hacer nuevos conjuntos para los estados que comparten las mismas características.
Tenemos:

Conjunto X= {q4, q7}

Y = {q0, q1}
A = {q2, q5}
Z = {q3, q6}

Debido a los nuevos conjuntos procedemos a hacer una nueva tabla de transición.
Para cada conjunto

Tabla de Transición Conjunto X

1 2
Q4 Y A
Q7 Y A

Tabla de Transición Y
1 2
Q0 Y A
Q1 A Z

Tabla de Transición A
1 2
Q2 Z X
Q5 Z X

Tabla de Transición Z
1 2
Q3 X Y
Q6 X Y
Podemos ver que tenemos un factor problema en todas las tablas de transición entonces nos
toca volver a hacer una partición
Conjunto X= {q4, q7}
Y = {q0, q1}
A = {q2, q5}
Z = {q3, q6}

X= {q4, q7}
Y = {q0}
P = {q1}
A = {q2, q5}
Z = {q3, q6}

Tabla de Transición Conjunto X

1 2
Q4 P A
Q7 P A

Tabla de Transición Y
1 2
Q0 P A

Tabla de Transición P
1 2
Q1 A Z

Tabla de Transición A
1 2
Q2 Z X
 Q5 Z X

Tabla de Transición Z
1 2
Q3 X P
Q6 X P

Aquí podemos ver a nuestro autómata minimizado

Evaluamos nuestro autómata con la siguiente cadena

121212
Por lo tanto esta cadena si es aceptada por nuestro autómata ya minimizado.
El Lenguaje que reconoce el autómata es
L = 1, 2

Ejercicio 2:
Diseñe un AP que lea el siguiente lenguaje L ={(ab*) | (c*d*)} ; es decir todas las combinaciones
posibles de cadenas conformadas por los símbolos (a)(b*) o (c*)(d*) (con pila vacía).
1. Describa el autómata en notación matemática
2. Determine el lenguaje que reconoce el AP.
3. Justifique y asocio o evidencie si el diseño es un APND o un APD
4. Grafíquelo en JFLAP y realice el “Traceback” para las transiciones. (Las columnas para un AP
son: El estado en que se encuentra el autómata, lo que falta por leer de la palabra de entrada, y el
contenido de la pila).
5. Plasme las imágenes del recorrido de ese Traceback para cada movimiento en el documento. (Se
debe apoyar en JFLAP) (Documente el proceso)

Solución
1. Formalmente, un autómata con pila puede ser descrito como una séptupla
M=(S, Ʃ, Г, δ, s, Z, F) donde:
S = Conjunto de estados
Ʃ y Г = Son alfabetos (símbolos de entrada y de la pila respectivamente)
δ : S x (Ʃ U {€}) x Г P (S x Г*)
s є S = Estado inicial.
Z є Г = Símbolo inicial de la pila
F ⊆ S = Conjunto de estados de aceptación o finales.

Función de transición
AP = (Q, V, Ʃ, δ, q0, z0, F)
Conjunto de estados
Q = {q0, q1, q2, q3, q4}
Alfabeto
V = {a, b, c, d}
Alfabeto de la pila
Ʃ = {Z0, λ, 1}

Se define el lenguaje aceptado por estado final de un AP A al conjunto

L(A) = {x ∈ Σ ∗ | (q0, x, Z0) ∗ ` (p, λ, γ) tal que p ∈ F}.
Se define el lenguaje aceptado por pila vacía de un AP A al conjunto
N(A) = {x ∈ Σ ∗ | (q0, x, Z0) ∗ (p, λ, λ)}.

2. El lenguaje que reconoce el AP es:

L = {a,b,c,d}

3. Justifique y asocio o evidencie si el diseño es un APND o un APD

Podemos decir que el diseño del AP es un APND ya que tiene varios estados de transición o
varias entradas de datos en un mismo estado.

4. Cuando ingresamos una (a) nos deja en el punto inicial q0.

Cuando ingresamos una (abbccdddd) nos deja en el punto q1.

Cuando ingresamos una (abbccdddd) nos deja en el punto q1. Pero vemos que nos agrega un (1)

Cuando ingresamos una (bccdddd) nos deja en el punto q2. Pero vemos que nos agrega un (1) mas
en total tenemos 2 (1)
Cuando ingresamos una (ccdddd) nos deja en el punto q2. Pero vemos que nos agrega un (1) mas en
total tenemos 3 (1)

Cuando ingresamos una (cdddd) nos deja en el punto q3. Pero vemos que nos agrega un (1) mas en
total tenemos 4 (1)
Cuando ingresamos una (dddd) nos deja en el punto q3. Pero vemos que nos agrega un (1) mas en
total tenemos 5 (1)

Cuando ingresamos una (ddd) nos deja en el punto q3. Pero vemos que nos agrega un (1) mas en
total tenemos 4 (1)
Vemos que todas las cadenas son aceptadas