APORTE TRABAJO COLABORATIVO FASE 2

PRESENTADO

POR

OMAR PEDRAZA VALLE

CODIGO: 1065655932

PARA

JAIME JOSE VALDES

(Tutor)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

AUTOMATAS Y LENGUAJE FORMAL

COLOMBIA

2017
 Ejercicio 1: Teniendo en cuenta el 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)

Estados de los autómatas:

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|

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

(Antes de minimizar).

𝛿(𝑞0,1) = 𝑞1 𝛿(𝑞4,2) = 𝑞5
q0 con transición 1 a q4 con transición 2 a q5.
q1.
𝛿(𝑞0,2) = 𝑞2 𝛿(𝑞5,1) = 𝑞3
q0 con transición 2 a q5 con transición 1 a q3.
q2.
𝛿(𝑞1,1) = 𝑞5 𝛿(𝑞5,2) = 𝑞7
q1 con transición 1 a q5 con transición 2 a q7.
q5.
𝛿(𝑞1,2) = 𝑞3 𝛿(𝑞6,1) = 𝑞4
Función delta q1 con transición 2 a q6 con transición 1 a q4. Paso a Paso
q3.
𝛿(𝑞2,1) = 𝑞6 𝛿(𝑞6,2) = 𝑞1
q2 con transición 1 nos
q6 con transición 2 nos
lleva a q6. lleva a q1.
𝛿(𝑞2,2) = 𝑞4 𝛿(𝑞7,1) = 𝑞1
q2 con transición 2 nos
q7 con transición 1 nos
lleva a q4. lleva a q1.
𝛿(𝑞3,1) = 𝑞7 𝛿(𝑞7,2) = 𝑞2
q3 con transición 1 nos
q7 con transición 2 nos
lleva a q7. lleva a q2.
𝛿(𝑞3,2) = 𝑞1
q3 con transición 2 nos
lleva a q1
𝛿(𝑞4,1) = 𝑞1 q4 con transición 1 nos
lleva a q1
3. Identifique El Lenguaje que reconoce. (Antes de minimizar)

Lenguaje que reconoce es:

𝑳 = (𝟏, 𝟐)

4. Identifique los estados Distinguibles y los No distinguibles

Estados distinguibles:

{𝒒𝟎, 𝒒𝟏, 𝒒𝟐, 𝒒𝟑, 𝒒𝟓, 𝒒𝟔}

Estados 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

Se crean dos subconjuntos, uno formado por los estados no finales y el otro formado por
los estados finales

Conjunto no distinguible

𝑥 = {𝑞4 , 𝑞7 }

Conjunto distinguible

𝑦 = {𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞5 , 𝑞6 }

Tabla de conjunto x

1 2
𝒒𝟒 y y
𝒒𝟕 y y

Todos los elementos comparten las características

Tabla de conjunto y

𝜹 1 2
𝒒𝟎 y y
𝒒𝟏 y y
𝒒𝟐 y x
𝒒𝟑 x y
𝒒𝟓 y x
𝒒𝟔 x y

𝑞0 𝑦 𝑞1 𝐂𝐨𝐦𝐩𝐚𝐫𝐭𝐞𝐧 𝐥𝐚𝐬 𝐜𝐚𝐫𝐚𝐜𝐭𝐞𝐫í𝐬𝐭𝐢𝐜𝐚𝐬

𝑞2 𝑦 𝑞5 𝐂𝐨𝐦𝐩𝐚𝐫𝐭𝐞𝐧 𝐥𝐚𝐬 𝐜𝐚𝐫𝐚𝐜𝐭𝐞𝐫í𝐬𝐭𝐢𝐜𝐚𝐬

𝑞3 𝑦 𝑞6 𝐂𝐨𝐦𝐩𝐚𝐫𝐭𝐞𝐧 𝐥𝐚𝐬 𝐜𝐚𝐫𝐚𝐜𝐭𝐞𝐫í𝐬𝐭𝐢𝐜𝐚𝐬

Nuevos conjuntos que se trabajaran

𝑥 = {𝑞4 , 𝑞7 }

𝑦 = {𝑞0 , 𝑞1 }

𝑧 = {𝑞2 , 𝑞5 }

𝑤 = {𝑞3 , 𝑞6 }

Tabla para conjunto x

1 2
𝒒𝟒 y z
𝒒𝟕 y z

Todos los elementos comparten las mismas características

Tabla para conjunto y

𝜹 1 2
𝒒𝟎 y z
𝒒𝟏 z w
Los elementos no son iguales

Tabla para conjunto z

1 2
𝒒𝟐 w x
𝒒𝟓 w x

los elementos comparten las mismas características

Tabla para conjunto w

1 2
𝒒𝟑 x y
𝒒𝟔 x y

los elementos comparten las mismas características

Nuevos conjuntos que se trabajaran

𝑥 = {𝑞4 , 𝑞7 }

𝑦 = {𝑞0 }

𝑧 = {𝑞2 , 𝑞5 }

𝑤 = {𝑞3 , 𝑞6 }

𝑣 = {𝑞1 }

Nuevas iteraciones

Tabla para conjunto x

1 2
𝒒𝟒 v z
𝒒𝟕 v z

Todos los elementos comparten las mismas características

Tabla para conjunto y

𝜹 1 2
𝒒𝟎 v z

Tabla para conjunto z

1 2
𝒒𝟐 w x
𝒒𝟓 w x

Todos los elementos comparten las mismas características

Tabla para conjunto w

1 2
𝒒𝟑 x v
𝒒𝟔 x v

los elementos comparten las mismas características

Tabla para conjunto v

𝜹 1 2
𝒒𝟏 z w

Desarrollo del autómata

1
v X
2

2 1
W
1

2
1
Y
2
1

2
Z
Para el autómata ya minimizado:

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

minimizado

Es un autómata de la forma:

M = ((𝑣, 𝑤, 𝑥, 𝑦, 𝑧), (1,2), 𝑦, x, 𝛿)

El autómata es una tupla de 5 elementos que son:

M = (𝑄, Σ, s, 𝐹, 𝛿)

Colección de estados

𝑄 = {𝑣, 𝑤, 𝑥, 𝑦, 𝑧}

Alfabeto

Σ = {1,2}

Estado inicial

s = {𝑦}

Estado final

𝐹 = {𝑥}

Función de transición

𝛿 = 𝑄𝑥Σ → Q

1 2
v Z W
w x V
x V Z
y v Z
z w x

7. Identifique El Lenguaje que reconoce.

𝐿 = (1,2)
 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 asociados a
las variables y a las constantes.

Desarrollo del autómata

1
A v X
2 D
C D
2 1
W
1

2
S 1
Y
2
1

2
Z

Comenzamos Con el estado inicial:

S -> 1A
B -> 2D
D -> 2B
A -> 1B
C -> 2A
A -> 2C
D -> 𝜆
C -> 1D
S -> 2B