MOMENTO 2

AUTOMATAS Y LENGUAS FORMALES

ADRIANA SOFIA OLIARES PEREZ

COD: 1.052.381.796

TUTOR:
JAIME JOSE VALDES

GRUPO:
301405_11

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

CEAD DUITAMA
UNAD
2016

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)
Minimizacin de un AFD
Dos estados de un autmata finito determinista son estados equivalentes si al
unirse en un slo estado, pueden reconocer el mismo lenguaje regular que si
estuviesen separados. Esta unin de estados implica la unin tanto de sus
transiciones de entrada como de salida. Si dos estados no son equivalentes, se
dice que son estados distinguibles. Un estado final con un estado no-final nunca
ser equivalentes.

Un AFD est minimizado, si todos sus estados son distinguibles y alcanzables.

Un algoritmo de minimizacin de AFD es el siguiente:

1. Eliminar los estados inaccesibles del autmata.

2. Construir una tabla con todos los pares (p, q) de estados restantes.
3. Marcar en la tabla aquellas entradas donde un estado es final y el otro es
no-final, es decir, aquellos pares de estados que son claramente
distinguibles.
4. Para cada par (p, q) y cada smbolo a del alfabeto, tal que r = (p,a) y s =
(q,a):
a. Si (r, s) ya ha sido marcado, entonces p y q tambin
distinguibles, por lo tanto, marcar la entrada (p, q).

son

b. De lo contrario, colocar (p, q) en una lista asociada a la entrada (r, s).

5. Agrupar los pares de estados no marcados.
Luego del tercer paso, si la tabla creada queda completamente marcada, entonces
el AFD inicial ya era mnimo.
La complejidad computacional del problema de minimizar un AFD es polinomial.
De hecho, existen algoritmos ms eficientes an que el mostrado en este artculo
(aunque menos intuitivos).11 Sin embargo, el problema de minimizar un autmata
finito no determinista es NP-completo y PSPACE-completo.
Notacin
La matemtica se apoya en un lenguaje simblico formal, la notacin matemtica,
que sigue una serie de convenciones propias. Los smbolos representan un
concepto, una relacin una operacin, o una frmula matemtica segn ciertas
reglas. Estos smbolos no deben considerarse abreviaturas, sino entidades con
valor propio y autnomo.
2. Plasme la tabla de transicin del autmata. (No es la que generas VAS).
(Antes de minimizar)
Q ,
, F
A= ,

TABLA DE TRANSICIN DEL AUTMATA

q0

0
q1

1
q2

q1

q3

q5

q4

q3

q1

q2

q4

q1

q2

q5

q5

q4

* q2

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

AFD
Q=[ q 0 , q1 , q2 ,q 3 , q4 , q 5 ]
q 0=Estado unicial
=[ 0,1 ]
F=[ q2 ]

=Funcion de transicion

( q0 , 0 )=q1
( q0 ,1 ) =q 2
( q1 ,0 )=q 3
( q2 ,0 )=q 5
( q2 ,1 ) =q 4
( q3 , 0 )=q1
( q3 ,1 ) =q 2
( q4 , 0 ) =q1
( q4 , 1 )=q2
Q ,
, F
A= ,
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)

CADENAS VALIDAS
1
001
00001

CADENAS NO VALIDAS
101
1010
10101

5. Identifique los estados Distinguibles y los No distinguibles

q0

0
q1

1
q2

q1

q3

q5

q4

q3

q1

q2

q4

q1

q2

q5

q5

q4

* q2

Distinguibles
( q0 ,1 ) =q 2

 ( q3 ,1 ) =q 2
( q4 , 1 )=q2
No distinguibles
( q0 , 0 )=q1
( q1 ,0 )=q 3
( q2 ,0 )=q 5
( q2 ,1 ) =q 4
( q3 , 0 )=q1
( q4 , 0 ) =q1

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.

c 1= { q 2 }
c 2={ q 0 , q1, q3 , q 4 , q5 }

=( q 2 , 0 )=q 5
=( q 2 , 1 ) =q 4

=( q 0 ,0 )=q 1
=( q 1 , 0 ) =q 3
=( q 3 ,0 )=q 1
=( q 4 , 0 ) =q1
=( q 5 ,0 )=q 5

=( q 0 ,1 ) =q2
=( q 1 , 1 ) =
=( q 3 ,1 ) =q2
=( q 4 , 1 )=q 2
=( q 5 ,1 ) =q 4

Estados de aceptacin
=( q 3 ,1 ) =q2
=( q 4 , 1 )=q 2
=( q 0 ,1 ) =q2
7. En el proceso de eliminacin de estados, identifique que transiciones se
eliminan y cules se re direccionan. Muestre la tabla de estados

Tabla De Transicin Del Autmata

q0

0
q1

1
q2

q1

q3

q5

q4

q3

q1

q2

q4

q1

q2

q5

q5

q4

* q2

Se eliminan ( q5 , q 4
Re direccionados ( q 0 , q 1 , q 2 , q 3 )

Tabla De Estados

 q2

0
q0

1
q3

q1

q1

q2

q1

q2

q2

* q3
q0

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

Moore.
Minimizar

CADENAS VALIDAS
1
001
00001

Q=[ q 0 , q1 , q2 ,q 3 ]

CADENAS NO VALIDAS
101
1010
10101

q 2=Estado unicial
=[ 0,1 ]
F=[ q3 ]
=Funcion de transicion
Q ,
, F
A= ,
=( q 0 ,0 )=q 2
=( q 1 , 0 ) =q 1
=( q 2 , 0 )=q 0
=( q 3 ,0 )=q 1
=( q 0 ,1 ) =
=( q 1 , 1 ) =q2
=( q 2 , 1 ) =q3
=( q 3 ,1 ) =q2