PARTE 1: HALLAR EL AUTÓMATA MÍNIMO CORRESPONDIENTE al autómata finito que representa la

siguiente expresión regular Expresión regular.

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

de minimizar).

Elementos de la Quíntupla → (𝐾, Σ, 𝛿, 𝑠, 𝐹)

Dónde:

𝑀 = ({𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , 𝑞5 , 𝑞6 , 𝑞7 , 𝑞8 , 𝑞9 }, {0,1}, 𝛿, 𝑞0 , {𝑞3 , 𝑞4 , 𝑞8 })

𝐾 = {𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , 𝑞5 , 𝑞6 , 𝑞7 , 𝑞8 , 𝑞9 } → 𝐸𝑠𝑡𝑎𝑑𝑜𝑠

Σ = {0,1} → 𝐴𝑙𝑓𝑎𝑏𝑒𝑡𝑜

𝛿 = {𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , 𝑞5 , 𝑞6 , 𝑞7 , 𝑞8 , 𝑞9 } × {0,1} → {𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , 𝑞5 , 𝑞6 , 𝑞7 , 𝑞8 , 𝑞9 } → 𝑇𝑟𝑎𝑛𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠

s = {𝑞0 } → 𝐸𝑠𝑡𝑎𝑑𝑜 𝑖𝑛𝑖𝑐𝑖𝑎𝑙

F = {𝑞3 , 𝑞4 , 𝑞8 } → 𝐸𝑠𝑡𝑎𝑑𝑜𝑠 𝐹𝑖𝑛𝑎𝑙𝑒𝑠

2. Plasme la tabla de transición del autómata. (No es la que generas VAS). (Antes de
minimizar)

Estados\Alfabeto 0 1
→ 𝒒𝟎 𝒒𝟐 𝒒𝟏
𝒒𝟏 𝒒𝟓 𝒒𝟑
𝒒𝟐 𝒒𝟒 ----
#𝒒𝟑 𝒒𝟗 𝒒𝟔
#𝒒𝟒 𝒒𝟕 𝒒𝟗
𝒒𝟓 𝒒𝟗 𝒒𝟐
𝒒𝟔 𝒒𝟖 𝒒𝟗
𝒒𝟕 𝒒𝟗 ----
#𝒒𝟖 ---- 𝒒𝟕
𝒒𝟗 ---- ----

3. Identifique El Lenguaje que reconoce. (Antes de minimizar)

𝑳(𝑴) = {𝟎𝟎, 𝟏𝟏, 𝟏𝟎𝟏𝟎, 𝟏𝟏𝟏𝟎}

4. Identifique la ER y en una tabla de validación (puede ser de Excel), verifique una

cadena válida y una no válida. Tenga en cuenta la jerarquía de operadores. (Antes de
minimizar).

 Se obtienen las ecuaciones características del autómata:

1. 𝑞0 = 0𝑞2 + 1𝑞1
2. 𝑞1 = 0𝑞5 + 1𝑞3
3. 𝑞2 = 0𝑞4
4. 𝑞3 = 0𝑞9 + 1𝑞6 + 𝜆
5. 𝑞4 = 0𝑞7 + 1𝑞9 + 𝜆
6. 𝑞5 = 0𝑞9 + 1𝑞2
7. 𝑞6 = 0𝑞8 + 1𝑞9
8. 𝑞7 = 0𝑞9
9. 𝑞8 = 1𝑞7 + 𝜆
10. 𝑞9 = ∅

Como 𝑞9 = ∅ entonces 𝑞7 = 0𝑞9 = 0(∅)=0∅ = ∅ → 𝑞7 = ∅

Para: 𝑞8 = 1𝑞7 + 𝜆 = 1(∅) + 𝜆 = 1∅ + 𝜆=∅ + 𝜆 = 𝜆 → 𝑞8 = 𝜆

Para: 𝑞6 = 0𝑞8 + 1𝑞9 = 0(𝜆) + 1(∅) = 0𝜆 + 1∅ = 0 + ∅ = 0 → 𝑞6 = 0
 Para: 𝑞5 = 0𝑞9 + 1𝑞2 = 0(∅) + 1𝑞2 = 0∅ + 1𝑞2 = 1𝑞2 → 𝑞5 = 1𝑞2
Para: 𝑞4 = 0𝑞7 + 1𝑞9 + 𝜆 = 0(∅) + 1(∅) + 𝜆 = 0∅ + 1∅ + 𝜆 = 𝜆 → 𝑞4 = 𝜆
Para: 𝑞3 = 0𝑞9 + 1𝑞6 + 𝜆 = 0(∅) + 1(0) + 𝜆 = 0∅ + 10 + 𝜆 = 10 + 𝜆 → 𝑞3 = 10 + 𝜆
Para: 𝑞2 = 0𝑞4 = 0(𝜆) = 0𝜆 = 0 → 𝑞2 = 0
Para: 𝑞1 = 0𝑞5 + 1𝑞3 = 0(1𝑞2 ) + 1(10 + 𝜆)) = 0(1(0)) + 1(10 + 𝜆)) =
010 + 110 + 1𝜆 = 010 + 110 + 1 → 𝑞1 = 010 + 110 + 1
Para: 𝑞0 = 0𝑞2 + 1𝑞1 = 0(0) + 1(010 + 110 + 1) = 00 + 1010 + 1110 + 11
→ 𝑞0 = 00 + 1010 + 1110 + 11

Por lo tanto:
𝑬𝑹 = 00 + 1010 + 1110 + 11

Cadena Entrada Resultado

1110 Válido
010 No Válido

5. Identifique los estados Distinguibles y los No distinguibles.

Estados Distinguibles Estados No distinguibles

{𝑞3 , 𝑞4 , 𝑞8 } {𝑞0 , 𝑞1 , 𝑞2 , 𝑞5 , 𝑞6 , 𝑞7 , 𝑞8 }

6. Identifique los estados equivalentes (para ello muestre cómo evalúa esas
equivalencias, colocando a los estados candidatos de equivalencia como estados
iniciales). Evidencie el proceso de cómo los evalúa.

 Para este caso, se empieza minimizando el autómata eliminando los estados cuyas
transiciones no finalizan o no van a ningún estado de aceptación. Por tal motivo
se suprimen los estados 𝑞7 y 𝑞9 quedando de la siguiente forma:
 Con los nuevos estados, se crean los conjuntos de estados aceptadores y no
aceptadores:

𝑋 = {𝑞3 , 𝑞4 , 𝑞8 }

𝑌 = {𝑞0 , 𝑞1 , 𝑞2 , 𝑞5 , 𝑞6 }

 Validando información para el conjunto X:

Estados\Alfabeto 0 1
𝒒𝟑 --- Y
𝒒𝟒 --- --- 𝒒𝟒 𝒚 𝒒𝟖
𝒒𝟖 --- --- Son equivalentes

 Validando información para el conjunto Y:

Estados\Alfabeto 0 1
𝒒𝟎 Y Y
𝒒𝟏 Y X
𝒒𝟐 X --- 𝒒𝟐 𝒚 𝒒𝟔
𝒒𝟓 --- Y
𝒒𝟔 X --- Son equivalentes

 Generando nuevos conjuntos en reemplazo de X y Y:

𝐴 = {𝑞3 }
𝐵 = { 𝑞4 , 𝑞8 }
𝐶 = {𝑞0 }
𝐷 = {𝑞1 }
𝐸 = {𝑞2 , 𝑞6 }
𝐹 = {𝑞5 }
 Validando información para el conjunto A:

Estados\Alfabeto 0 1
𝒒𝟑 --- E

 Validando información para el conjunto B:

Estados\Alfabeto 0 1
𝒒𝟒 𝒒𝟒 𝒚 𝒒𝟖
--- ---
𝒒𝟖 --- --- Siguen siendo
equivalentes

 Validando información para el conjunto C:

Estados\Alfabeto 0 1
𝒒𝟎 E D

 Validando información para el conjunto D:

Estados\Alfabeto 0 1
𝒒𝟏 F A

 Validando información para el conjunto E:

Estados\Alfabeto 0 1
𝒒𝟐 𝒚 𝒒𝟔
𝒒𝟐 B ---
𝒒𝟔 B --- Siguen siendo
equivalentes

 Validando información para el conjunto F:

Estados\Alfabeto 0 1
𝒒𝟓 --- E
7. 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.

 Como se dijo en el punto anterior, se tuvieron que eliminar inicialmente los estados
𝑞7 y 𝑞9 debido a que la trayectoria de sus transiciones no llegaban a ningún estado
de aceptación.

 Las transiciones 𝑞4 𝑦 𝑞8 por ser equivalentes, se re direccionan al estado B.

 Las transiciones 𝑞2 𝑦 𝑞6 por ser equivalentes, se re direccionan al estado E.

 La nueva tabla de transiciones quedaría de la siguiente forma:

Estados\Alfabeto 0 1
#A --- E
#B --- ---
→C E D
D F A
E B ---
F --- E

8. El autómata nuevo minimizado expresarlo o graficarlos en un diagrama de Moore.

Autómata Nuevo Minimizado:

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

Elementos de la Quíntupla → (𝐾, Σ, 𝛿, 𝑠, 𝐹)

Dónde:
𝑀 = ({𝐴, 𝐵, 𝐶, 𝐷, 𝐸, 𝐹}, {0,1}, 𝛿, 𝐶, {𝐴, 𝐵})
𝐾 = {𝐴, 𝐵, 𝐶, 𝐷, 𝐸, 𝐹} → 𝐸𝑠𝑡𝑎𝑑𝑜𝑠
Σ = {0,1} → 𝐴𝑙𝑓𝑎𝑏𝑒𝑡𝑜
𝛿 = {𝐴, 𝐵, 𝐶, 𝐷, 𝐸, 𝐹} × {0,1} → {𝐴, 𝐵, 𝐶, 𝐷, 𝐸, 𝐹} → 𝑇𝑟𝑎𝑛𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠
s = {𝐶} → 𝐸𝑠𝑡𝑎𝑑𝑜 𝑖𝑛𝑖𝑐𝑖𝑎𝑙
F = {𝐴, 𝐵 } → 𝐸𝑠𝑡𝑎𝑑𝑜𝑠 𝐹𝑖𝑛𝑎𝑙𝑒𝑠

10. Identifique El Lenguaje que reconoce. (autómata ya minimizado)

𝑳(𝑴) = {𝟎𝟎, 𝟏𝟏, 𝟏𝟎𝟏𝟎, 𝟏𝟏𝟏𝟎}

11. Identifique la ER del autómata ya minimizado y en una tabla de validación (puede ser
de Excel), verifique una cadena válida y una no válida. Tenga en cuenta la jerarquía de
operadores. (autómata ya minimizado).

 Se obtienen las ecuaciones características del nuevo autómata:

1. 𝐶 = 0𝐸 + 1𝐷
2. D= 0𝐹 + 1𝐴
3. 𝐴 = 1𝐸 + 𝜆
4. 𝐸 = 0𝐵
5. 𝐹 = 1𝐸
6. 𝐵 = ∅+ 𝜆

Para: 𝐵 = ∅+ 𝜆 = 𝜆 → 𝐵 = 𝜆
Para: 𝐸 = 0𝐵 = 0(𝜆) = 0𝜆 = 0 → 𝐸 = 0
Para: 𝐹 = 1𝐸 = 1(0) = 10 → 𝐹 = 10
Para: 𝐴 = 1𝐸 + 𝜆 = 1(0) + 𝜆 = 10 + 𝜆 → 𝐴 = 10 + 𝜆
Para: D= 𝟎𝑭 + 𝟏𝑨 = 0(10) + 1(10 + 𝜆 ) = 010 + 110 + 1𝜆 = 010 + 110 + 1 → 𝐷 = 010 + 110 + 1
Para: 𝑪 = 𝟎𝑬 + 𝟏𝑫 = 0(0) + 1(010 + 110 + 1) = 00 + 1010 + 1110 + 11 → 𝑪 = 𝟎𝟎 + 𝟏𝟎𝟏𝟎 + 𝟏𝟏𝟏𝟎 + 𝟏𝟏
 Por lo tanto:
𝑬𝑹 = 00 + 1010 + 1110 + 11

Cadena Entrada Resultado

1010 Válido
1011 No Válido

12. (Autómata minimizado) 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.

13. Realice la gramática por la izquierda (de forma manual) y compare si esta gramática
acepta o no el mismo lenguaje (cadenas). Justifique y demuestre su respuesta

14. Con una cadena válida, genere un árbol de derivación para la gramática por la derecha
y demuestre y justifique si la cadena y árbol generado puede ser ambigua o no.