Está en la página 1de 9

PARTE 1: HALLAR EL AUTMATA MNIMO CORRESPONDIENTE al autmata finito

que representa la siguiente expresin regular Expresin regular.

1. Realice la descripcin (notacin) (caracterizacin) matemtica del autmata. (Antes


de minimizar)

Autmata Finito No Determinista por lo cual su tupla es:

5-tupla

A= (Q, , q0, , A)

Q es un conjunto de estados;

es un alfabeto;

: Q x Q es una funcin de transicin para un AFD;

q0 Q es el estado inicial;

A {q3, q4, q8} es un conjunto de estados finales o de aceptacin.

2. Plasme la tabla de transicin del autmata. (No es la que generas VAS). (Antes de
minimizar)

q0
q1
q2
* q3
* q4
q5
q6
q7
* q8
q9

0
q2
q5
q4
q9
q7
q9
q8
q9

1
q1
q3
q6
q9
q2
q9
q7

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


w={ {0,1 }. w=1010+1110+ 00+11 }

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


cadena vlida y una no vlida. Tenga en cuenta la jerarqua de operadores. (Antes
de minimizar)

Para identificar la ER se analizan las rutas desde el estado inicial q0 hasta cada uno de
los estados finales q3 , q5 , q8 , para identificar cada ruta las nombraremos Rn
R 1=( q 0 , q 3)=11

R 2=(q 0 , q 4 )=00
R 3=(q 0 , q 8) por q 1 , q 6=1110

R 4=( q 0 , q 4 ) por q 1 ,q 5, q 2=1010

ER=R 1+ R 2+ R 3+ R 4 ER=11+ 00+1110+1010

5. Identifique los estados Distinguibles y los No distinguibles


Minimizacin del Autmata utilizando el mtodo de conjuntos:
Conjuntos Inciales:
x
y

q3 , q4
, q8
q0 , q1 , q2 , q5 , q6 ,
q7 , q9

Estados finales
Estados no finales

= {0, 1}

6. Identifique los estados equivalentes (para ello muestre cmo evala esas
equivalencias, colocando a los estados candidatos de equivalencia como estados
iniciales). Evidencie el proceso de cmo los evala.
Conjunto x
q3
q4

0
y
y

1
y
y

q8

Nuevos conjuntos
A

q3 , q4

Conjunto y
q0
q1
q2
q5
q6
q7
q9

B
0
y
y
x
y
x
y
0

q8
1
y
x
0
y
y
0
0

Nuevos conjuntos
C
E
G

q0 , q5
q2
q7

D
F
H

q1
q6
q9

x
z
m
s
t

q3
q1
q6
q9
q4

y
F
h
r
p

q0
q2
q7
q8
q5

Nuevos conjuntos

Creamos la tabla de transicin

0
{q9,q7}
---------{q2,q9}
{q5}
{q4}
{q8}
{q9}
---------

A = {q3,q4}
B = {q8}
C = {q0,q5}
D = {q1}
E = {q2}
F = {q6}
G = {q7}
H = {q9}

{q9,q7}
{q6,q9}
{q2,q9}

0
{q9}
{q8}
{q4}

1
{q6,q9}
{q7}
{q1}
{q3}
--------{q9}
----------------1
-------{q9}
--------

=G
=F
=E

7. En el proceso de eliminacin de estados, identifique que transiciones se eliminan y


cules se re direccionan. Muestre la tabla de estados distinguibles.

#A
#B
-> C
D
E
F
G
H

0
G
-------E
C
A
B
H
--------

1
F
G
D
A
-------H
---------------

8. El autmata nuevo minimizado expresarlo o graficarlos en un diagrama de moore

9. Realice la descripcin (notacin) (caracterizacin) matemtica del autmata ya


minimizado

M = (K, , , s, F)
K = { a,b,c,d,e,f,g,h } estados del automata
= {0,1} es el alfabeto de entrada
= es la funcion de transicion, que a partir de un estado y un simbolo del alfabeto obtiene
un nuevo estado.

s es el estado inicial, en nuestro caso (c)


F es un conjunto de estados finales, en nuestro caso (a,b)

10. Identifique El Lenguaje que reconoce. (autmata ya minimizado)


A { 0,1 }

L=
ser el de las cadenas especificas1010+ 1110+ 00+11 }

11. Identifique la ER del autmata ya minimizado y en una tabla de validacin (puede


ser de Excel), verifique una cadena vlida y una no vlida. Tenga en cuenta la
jerarqua de operadores. (autmata ya minimizado)
00+11+0010+1110

12. (Autmata minimizado) Identifique su gramtica (de forma manual) por la derecha
y caractercela. Debe incluir el diagrama de estados con los componentes de la
gramtica asociados a las variables y a las constantes.

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