4.

-Decir cuáles de las siguientes palabras son reconocidas por el siguiente

AFND: 110, 01, 100

AFND = ({0, 1}, {q0, q1, q2}, q0, {q1})

f(q0, 0) = ∅ f(q0, 1) = {q1, q2} f(q0, λ) = ∅

f(q1, 0) = {q0} f(q1, 1) = {q0, q1} f(q1, λ) = {q0}

f(q2, 0) = {q2} f(q2, 1) = ∅ f(q2, λ) = {q1}

[pic]

Las palabras reconocidas por el autómata son 110 y 100

6.-Obtener para cada uno de los siguientes autómatas finitos su autómata mínimo Equivalente:

Para A1

Realizando el diagrama de transición tenemos:

[pic]

Como vemos existen estados {p5, p6, p7, p8} que no son accesibles desde el estado inicial p0 por lo tanto esos
estados se pueden eliminar, quedando el diagrama de transición así:

[pic]

Y el autómata así:

A1 = {({0, 1}, {p1, p2, p3, p4}, f, p1, {p4})}

Aplicando el algoritmo de minimización:

P0 = {{p1, p2, p3}, {p4}}

f(p4, 0) = p3 f(p4, 1) = p2

f(p1, 0) = p2 f(p1, 1) = p4

f(p2, 0) = p2 f(p2, 1) = p2

f(p3, 0) = p2 f(p3, 1) = p4

P1 = {{p1, p3}, {p2}, {p4}}

Verificando que no se pueden hacer mas reducciones sucesivas de clases encontramos:

Pn = P1 = {{p1, p3}, {p2}, {p4}}

Encontramos un par de estados equivalentes {p1, p3}, eliminando el estado p3 y redireccionando los arcos de
llegada a él, a su estado equivalente obtenemos un AFD equivalente que será igual a:

A1’ = {({0, 1}, {p1, p2, p4}, f, p1, {p4})}

Con la tabla de transición:

| |F |0 |1 |

|( |p1 |p2 |p4 |

| |p2 |p2 |p2 |

|# |p4 |p1 |p2 |

Y generando el diagrama de transición tenemos:

[pic]

Para A2

Realizando el diagrama de transición tenemos:

[pic]

Como vemos existen estados {q4, q5} que no son accesibles desde el estado inicial q1 por lo tanto esos estados se
pueden eliminar, quedando el diagrama de transición así:

[pic]

Y el autómata así:

A2 = {({0, 1}, {q1, q2, q3, q6, q7, q8}, f, q1, {q8})}

Aplicando el algoritmo de minimización:

P0 = {{q1, q2, q3, q6, q7}, {q8}}

f(q8, 0) = q7 f(q8, 1) = q6

f(q1, 0) = q3 f(q1, 1) = q2

f(q2, 0) = q2 f(q2, 1) = q2

f(q3, 0) = q6 f(q3, 1) = q1

f(q6, 0) = q7 f(q6, 1) = q2

f(q7, 0) = q7 f(q7, 1) = q8
P1 = {{q1, q2, q3, q6}, {q7}, {q8}}

P2 = {{q1, q2, q3}, {q6}, {q7}, {q8}}

Haciendo reducciones sucesivas de clases encontramos:

Pn = {{q1}, {q2}, {q3}, {q6}, {q7}, {q8}}

Debido a que no hay estados equivalentes {q1, q2, q3, q6}, el AFD equivalente será aquel que se obtuvo de eliminar
los estados {q4, q5} que no se pudieron acceder desde el estado inicial q1 y será igual a:

A2’ = {({0, 1}, {q1, q2, q3, q6, q7, q8}, f, q1, {q8})}

Con la tabla de transición:

| |f |0 |1 |

|( |q1 |q3 |q2 |

| |q2 |q2 |q2 |

| |q3 |q6 |q1 |

| |q6 |q7 |q2 |

| |q7 |q7 |q8 |

|# |q8 |q7 |q6 |

Y generando el diagrama de transición tenemos:

[pic]

9.- Encontrar el autómata mínimo equivalente al siguiente AFD:

Realizando el diagrama de transición tenemos:

[pic]

A = { ({a, b, c}, {q0, q1, q2, q3, q4, q5, q6, q7, q8, q9}, f, q0, {q2, q4, q6,q9})}

Aplicando el algoritmo de minimización:

P0 = {{q0, q1, q3, q5, q7, q8}, {q2, q4, q6, q9}}

f(q2, a) = q9 f(q2, b) = q1 f(q2, c) = q6

f(q4, a) = q0 f(q4, b) = q6 f(q4, c) = q9

f(q6, a) = q4 f(q6, b) = q1 f(q6, c) = q2

f(q9, a) = q8 f(q9, b) = q2 f(q9, c) = q4

f(q0, a) = q1 f(q0, b) = q7 f(q0, c) = q8

f(q1, a) = q3 f(q1, b) = q4 f(q1, c) = q5

f(q3, a) = q3 f(q3, b) = q2 f(q3, c) = q7

f(q5, a) = q2 f(q5, b) = q8 f(q5, c) = q8

f(q7, a) = q3 f(q7, b) = q6 f(q7, c) = q3

f(q8, a) = q1 f(q8, b) = q3 f(q8, c) = q0

P1 = {{q0, q1, q3, q5, q7, q8}, {q2}, {q4}, {q6}, {q9}}

Haciendo reducciones sucesivas de clases encontramos:

Pn = {{q0, q8}, {q1}, {q3, q7}, {q5}, {q2}, {q4}, {q6}, {q9}}
Encontramos dos pares de estados equivalentes {q0, q8} y {q3, q7}, eliminando los estados q7 y q8, y
redireccionando los arcos de llegada a ellos a su estado equivalente obtenemos un AFD equivalente que será igual
a:

A’ = { ({a, b, c}, {q0, q1, q2, q3, q4, q5, q6, q9}, f, q0, {q2, q4, q6,q9})}

Con la tabla de transición :

| |f |A |b |c |

|( |q0 |q1 |q3 |q0 |

| |q1 |q3 |q4 |q5 |

|# |q2 |q9 |q1 |q6 |

| |q3 |q3 |q2 |q3 |

|# |q4 |q0 |q6 |q9 |

| |q5 |q2 |q0 |q0 |

|# |q6 |q4 |q1 |q2 |

|# |q9 |q0 |q2 |q4 |

Y generando el diagrama de transición tenemos:

[pic]

10.- Construir el autómata finito determinista mínimo equivalente al siguiente:

[pic]

Realizando el diagrama de transición tenemos:

[pic]

A = { ({a, b, c}, {q0, q1, q2, q3, q4, q5, q6, q7, q8}, f, q0, {q1, q3, q8})}

Aplicando el algoritmo de minimización:

P0 = {{q0, q2, q4, q5, q6, q7}, {q1, q3, q8}}

f(q1, a) = q8 f(q1, b) = q0 f(q1, c) = q4

f(q3, a) = q1 f(q3, b) = q2 f(q3, c) = q5

f(q8, a) = q1 f(q8, b) = q6 f(q8, c) = q0

f(q0, a) = q3 f(q0, b) = q6 f(q0, c) = q0

f(q2, a) = q1 f(q2, b) = q5 f(q2, c) = q6

f(q4, a) = q1 f(q4, b) = q1 f(q4, c) = q7

f(q5, a) = q8 f(q5, b) = q0 f(q5, c) = q2

f(q6, a) = q3 f(q6, b) = q2 f(q6, c) = q0

f(q7, a) = q1 f(q7, b) = q3 f(q7, c) = q8

P1 = {{q0, q2, q4, q5, q6, q7}, {q1, q3, q8}}

Haciendo reducciones sucesivas de clases encontramos:

Pn = {{q0, q2, q5, q6}, {q4}, {q7}, {q1, q3, q8}}

Encontramos clases equivalentes en los estados no finales { q0, q2, q5, q6} y en los estados finales {q1, q3, q8},
eliminando los estados no finales q2, q5, q6 y los estados finales q3 y q8, y redireccionando los arcos de llegada a
ellos a su estado equivalente obtenemos un AFD equivalente que será igual a:
A’ = { ({a, b, c}, {q0, q1, q4, q7}, f, q0, {q1})}

Con la tabla de transición:

| |f |A |b |c |

|( |q0 |q1 |q0 |q0 |

|# |q1 |q1 |q0 |q4 |

| |q4 |q1 |q1 |q7 |

| |q7 |q1 |q1 |q1 |

Y generando el diagrama de transición tenemos:

[pic]

enguajes