Ejercicio 1:

Teniendo en cuenta la siguiente tabla de transiciones cree el autómata y realice el proceso de minimización paso a paso.
Estados a b
 q0 q1 q2
q1 q3 q5
q2 q6 q4
q3 q3 q5
q4 q6 q4
q5 q6 q4
# q6 q3 q5

 Representación gráfica del autómata.

 Representación matemática y minimización.

El autómata dado es un autómata finito determinista (AFD), puesto que para cada estado que se encuentra en el autómata
y con cualquier símbolo del alfabeto leído solo existe no más de una transición posible desde ese estado y con ese símbolo.
5 − 𝑡𝑢𝑝𝑙𝑎 = {𝑄, ∑, 𝛿, 𝑆, 𝐹}
𝑄 = {𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , 𝑞5 , 𝑞6 } --- Cantidad de estados
∑ = {𝑎, 𝑏} --- Alfabeto que identifica el autómata
𝑆 = 𝑞0 --- Estado inicial del autómata
𝐹 = 𝑞6 --- Estado final del autómata
Δ(q0,a) = q1 Δ(q0,b) = q2
Δ(q1,a) = q3 Δ(q1,b) = q5
Δ(q2,a) = q6 Δ(q2,b) = q4
Δ(q3,a) = q3 Δ(q3,b) = q5
Δ(q4,a) = q6 Δ(q4,b) = q4
Δ(q5,a) = q6 Δ(q5,b) = q4
Δ(q6,a) = q3 Δ(q6,b) = q5

 Estados aceptadores y no aceptadores.

X = {q6}  Estados aceptados
Y = {q0, q1, q2, q3, q4, q5}  Estados no aceptados

Aceptados a b
q6 Y Y
 No
a b
aceptados
q0 Y Y
q1 Y Y
q2 X Y
q3 Y Y
q4 X Y
q5 X Y

 Se buscan los estados que son equivalentes en las transiciones de a y b, y se renombran estos nuevos conjuntos.
R = {q0, q1, q3}
T = {q2, q4, q5}

 Los nuevos conjuntos serán.

X = {q6}
R = {q0, q1, q3}  Se puede eliminar q1y q3
T = {q2, q4, q5}  Se puede eliminar q4 y q5

 Validar los conjuntos.

R a b
q0 R T
q1 R T
q3 R T

T a b
q2 X T
q4 X T
q5 X T

X a b
q6 R T

 Tabla de estados del autómata minimizado.

a b
 q0 q0 q2
q2 q6 q2
# q6 q0 q2

 Representación gráfica.
  Notación formal del autómata ya minimizado.
Como este también resulta siendo un autómata finito determinista, cumple con las mismas características siendo una
quíntupla como se representa a continuación.
5 − 𝑡𝑢𝑝𝑙𝑎 = {𝑄, ∑, 𝛿, 𝑆, 𝐹}
𝑄 = {𝑞0 , 𝑞2 , 𝑞6 } --- Cantidad de estados
∑ = {𝑎, 𝑏} --- Alfabeto que identifica el autómata
𝑆 = 𝑞0 --- Estado inicial del autómata
𝐹 = 𝑞6 --- Estado final del autómata

 Gramática del autómata.

(q0)  a(q0)
(q2)  b(q2)
(q0)  b(q2)
(q6)  a(q0)
(q2)  a(q6)
(q6)  b(q2)
(q6) 

 Lenguaje que reconoce el autómata.

Dado que el autómata que fue planteado es un AFD se puede decir que el lenguaje que reconoce este está basado en
todas las posibles cadenas que empiecen con 1 o con 0. Esto no implica que afecte su funcionamiento por lo tanto se
puede decir que el lenguaje que reconoce es el que está dado por cada estado que posee el autómata y con la entrada de
1 y 0, con lo cual habrá una transición posible desde el estado y con esa entrada.

 Gramática por la derecha.

Una gramática es un cuádruplo (v, Σ, R, s)
V =Alfabeto variable
Σ = Alfabeto constante
R = Conjunto de reglas
S = Símbolo inicial, es un elemento del alfabeto de variables
 Se hace unas pruebas que determinen que el autómata normal y el minimizado aceptan las mismas cadenas, para esto se
hace la simulación de los dos autómatas con múltiples entradas de manera independiente.
Ejercicio 2:
Diseñe un AP que lea el siguiente lenguaje L = {(0n+1m: n>0, m>0} (con pila vacía).
Para el diseño del autómata se tiene en cuenta que autómata reconocerá por lo menos un cero y por lo menos un uno,
de ahí en adelante reconocerá cualquier cadena con la cantidad de 0’s y de 1’s indeterminado pero finito.

 Descripción matemática del autómata

El autómata de pila es una séptupla definida por:
𝐴𝑃 = {𝑄, ∑, Γ, 𝛿, 𝑆, 𝑍, 𝐹}
Q = {q0, q1, q2, q3}
Σ = {0, 1}
Γ = {λ, Z, a}

 Lenguaje.
El lenguaje que el autómata reconoce son una cantidad finita de 0’s seguidos de una cantidad finita de 1’s. Definido esto
las cadenas de lenguaje que puede recibir el autómata como ejemplo son las siguientes:
01
000111
011
001111
011111
Mientras que las cadenas que no se aceptan son las que empiezan por 1, como por ejemplo:
100
111111
11
Y la llegar al estado final del autómata se consigue que la pila este vacía.

 El autómata que se tiene es un autómata de pila no determinista dado que se presenta de manera simultánea lo
siguiente:
Δ(1, 𝑎; 𝜆)𝑦 Δ(1, 𝜆; 𝜆)

 Se grafica el traceback en JFLAP del autómata diseñado y se realiza la simulación de la cadena de entrada 01 y se
tienen los siguientes pantallazos.
  Por último se hace la prueba del autómata con múltiples entradas para validar las cadenas que acepta y rechaza
este.
Como se observa en la siguiente imagen las entradas en el autómata por lo menos debe tener la misma cantidad de 1’s
que de 0’s, pero los 1’s si pueden ser mucho más que los 0’s de entrada.