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

Para minimizar el autómata utilizaremos el método de conjuntos.

Creamos 2 conjuntos, el conjunto de los aceptadores y los no aceptadores.

𝑥 = {𝑞₆} 𝐴𝑐𝑒𝑝𝑡𝑎𝑑𝑜𝑟𝑒𝑠

𝑦 = {𝑞₀, 𝑞₁, 𝑞₂, 𝑞₃, 𝑞₄, 𝑞₅} 𝑁𝑜 𝑎𝑐𝑒𝑝𝑡𝑎𝑑𝑜𝑟𝑒𝑠

𝐴𝑙𝑓𝑎𝑏𝑒𝑡𝑜 = {𝑎, 𝑏}

Evaluamos los elementos con base al alfabeto

 a b
q₆ y y

a b
q₀ y y
q₁ y y
q₂ x y
q₃ y y
q₄ x y
q₅ x y

Como se puede observar existen 2 grupos equivalentes, por lo que crearemos dos
conjuntos.

𝑤 = {𝑞₀, 𝑞₁, 𝑞₃, 𝑞₆}

𝑧 = {𝑞₂, 𝑞₄, 𝑞₅}

𝑥 = {𝑞₆}

Realizamos de nuevo la evaluación de los elementos con base al alfabeto

Conjunto w

a b
q₀ w z
q₁ w z
q₃ w z
q₆ w z

Conjunto z

a b
q₂ x z
q₄ x z
q₅ x z

Conjunto x

a b
q₆ w z
Resultado final

a b
w w z
z x z
x w z

Para el autómata ya minimizado:

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

2. Plasme la gramática del autómata.
3. Identifique El Lenguaje que reconoce.
4. 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 asociados a las
variables y a las constantes.

Ejercicio 2:
Diseñe un AP que lea el siguiente lenguaje L = {(0n+1m: n>0, m>0} (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).