UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

UNAD

AUTMATAS Y LENGUAJES FORMALES

TRABAJO COLABORATIVO 2

PRESENTADO POR
JUAN DAVID SANTANA MEJIA
KELVIN ABDALA LAMBRAO

GRUPO
301405_62

PRESENTADO A
ANGELA MARIA GONZALEZ
.

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA

22 OCTUBRE 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)
Autmata de tipo quntuple compuesto por los siguientes elementos:

M = (K, , s, , F) donde,

K= Es el conjunto de estados que posee el autmata.

= (Sigma) Es el alfabeto de entrada
s = Al estado inicial del autmata
= (sigma) Denota una funcin
F=Estado final del autmata

K=

{q 0 , q 1 , q 2 , q 3 , q 4 , q5 , q6 , q7 , q 8 , q 9 }

{ 0,1 }

s=

{q 0 }

F=

{ q 3 , q 4 , q8 }

2. Plasme la tabla de transicin del autmata. (No es la que generas VAS). (Antes de
minimizar)
0
1
q0
q2
q1
q1
q5
q3
q2
q4
----q3
q9
q6
q4
q7
q9
q5
q9
q2
q6
q8
q9
q7
q9
-----q8
------ q7

q9

------

-----

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
los estados finales

q3 , q5 , q 8 , para identificar cada ruta las nombraremos

R1=( q0 , q3 ) =11
R2=( q0 , q4 )=00
R3=( q0 , q8 ) por q1 , q6=11 10
R4 =( q 0 , q 4 ) por q1 ,q 5, q2 =1010

ER=

R 1 + R2 + R3 + R4

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

q 0 hasta cada uno de

q3 , q 4

Estados finales

Rn

,
y

q8

q0 ,

q1 ,

q2 ,

q5 ,

q 6 , Estados no finales

q7 , q 9
= {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

0
y

1
y

q4

q8

Nuevos conjuntos
A

q3 , q 4

q8

Conjunto y

q0

0
y

1
y

q1

q2

q5

q6

q7

q9

Nuevos conjuntos
C

q0 ,

q5

q1

q2

q6

q7

q9

Nuevos conjuntos
x

q3

q0

q1

q2

q6

q7

q9

q8

q4

q5

Creamos la tabla de transicin

0

{ q 3, q4 }

A=
B=

{q 8 }
C=

{ q 9, q7 }
--------

{q 6, q9 }

{q 7 }

{ q 2 , q9 }

{q 1 }

{ q 0 , q5 }
D=

{q 1 }

{q 5 }

{q 3 }

E=

{q 2 }

{q 4 }

--------

{q 6 }

{q 8 }

{q 9 }

F=
G=

{q 7 }

{q 9 }

---------

H=

{q 9 }

--------

--------

{q 9 }

---------

=G

{ q 6, q9 }

{q 8 }

{q 9 }

=F

{ q 2 , q9 }

{q 4 }

--------

=E

{q 9, q7 }

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.

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 autmata
= {0,1} es el alfabeto de entrada
= es la funcin de transicin, que a partir de un estado y un smbolo 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)

L= {A {0,1}*| A={.El lenguaje que reconoce ser el de las cadenas especificas

1010+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

14.Con una cadena vlida, genere un rbol de derivacin para la gramtica por la
derecha y demuestre y justifique si la cadena y rbol generado puede ser ambigua o
no.