UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Programa Ingeniera en Sistemas

Autmatas y Lenguajes Formales

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA-UNAD

TRABAJO COLABORATIVO 2

TUTORA
ANGELA MARIA GONZALEZ

PRESENTADO POR:
MAIRA ALEJANDRA OCAMPO

C.C 1088317709

CCAV DOSQUEBRADAS
PARTE 1: Hallar el autmata mnimo correspondiente al siguiente autmata finito:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Programa Ingeniera en Sistemas
Autmatas y Lenguajes Formales

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

minimizar).
M =( K , , ,q 0, F ) ,donde K ={ q 0, q 1, q 2, q 3, q 4, q 5, q 6, q 7, q 8 } , ={0,1}
q 0=Estado inicial

F={q 3, q 5, q 8 }
={ q 0, q 1, q 2, q 3, q 4, q 5, q 6, q 7, q 8 } x { a ,b } { q 0, q 1, q 2, q 3, q 4, q 5, q 6, q 7, q 8 } q 0 {q 3, q 5,q 8}

( q 0,0 )=q 2 ( q 4,0 ) =q 6 ( q 8,0 )=q 7

( q 0,1 )=q 1 ( q 4,1 )=q 7 ( q 8,1 )=q 6
( q 1,0 )=q 4 ( q 5,0 )=q 7
( q 1,1 ) =q 5 ( q 5,1 ) =q 1
( q 2,0 )=q 3 ( q 6,0 )=q 4
( q 2,1 )=q 4 ( q 6,1 ) =q 8

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Programa Ingeniera en Sistemas
Autmatas y Lenguajes Formales

( q 3,0 )=q 2 ( q 7,0 )=q 8

( q 3,1 ) =q 6 ( q 7,1 )=q 4

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

q0

q2

q1

q1

q4

q5

q2

q3

q4

q3

q2

q6

q4

q6

q7

q5

q7

q1

q6

q4

q8

q7

q8

q4

q8

q7

q6

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

L={ w { 0,1 } |w= Para todas las cadenas que empiezan por 1 o 0; seguidos de una, ninguna o
muchas cadenas conformadas por 1 o 0 o su respectiva combinacin; y terminados en cadenas
conformadas por 1 o 0 o su respectiva combinacin }
Cadenas validas:

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Programa Ingeniera en Sistemas
Autmatas y Lenguajes Formales

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)

q 0, q 2, q 3 0( 0+0)
q 0, q 2, q 3, q 6, q 8 0 ( 0+0 ) 1(1+1)
q 0, q 2, q 4,q 6, q 80 1 ( 0+0 ) (1+ 1)
q 0, q 2, q 4,q 7, q 8 0 1 ( 1+ 1 ) (0+0)
q 0, q 1, q 5 0(1+1)
q 0, q 1, q 5, q 7, q 8 1 ( 1+1 ) 0(0+ 0)
q 0, q 1, q 4, q 7, q 8 1 0 ( 1+ 1 ) (0+0)
q 0, q 1, q 4, q 6, q 8 1 0 ( 0+0 )( 1+1)
q 0, q 2, q 3, q 6, q 4, q 7, q 8 0 ( 0+ 0 ) 1 ( 0+0 )( 1+1 ) (0+ 0)

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Programa Ingeniera en Sistemas
Autmatas y Lenguajes Formales

q 0, q 1, q 5, q 7, q 4, q 6, q 8 1 (1+1 ) 0 ( 1+1 )( 0+ 0 ) (1+1)

Expresin regular:

0 ( 0+0 )+ 0 ( 0+0 ) 1 ( 1+1 ) +0 1 ( 0+0 ) ( 1+1 )+ 0 1 ( 1+1 ) ( 0+0 ) +0 ( 1+1 ) +1 ( 1+1 ) 0 ( 0+ 0 )+ 10 ( 1+1 ) ( 0+0 ) +1 0 ( 0+0 )( 1

5. Identifique los estados Distinguibles y los No distinguibles

Dos estados son distinguibles si no son equivalentes. Dos estados
si son incompatibles (es decir, uno es final y el otro no es final)

q
1
q
2
q
3
q
4
q
5
q
6
q
7
q
8

x
x x
x x x
x x x x
x x x x x
x x x x X x
x x x x X x x
x x x x x x x x
q q q q q q q q
0 1 2 3 4 5 6 7

p y q son distinguibles

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Programa Ingeniera en Sistemas
Autmatas y Lenguajes Formales

x: estados distinguibles.

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.
( q 0,0 )=q 2 ( q 0,1 )=q 1
( q 1,0 )=q 4 ( q 1,1 )=q 5
( q 2,0 )=q 3 ( q 2,1 )=q 4
( q 3,0 )=q 2 ( q 3,1 )=q 6
( q 4,0 )=q 6 ( q 4,1 )=q 7
( q 5,0 )=q 7 ( q 5,1 )=q 1
( q 6,0 )=q 4 ( q 6,1 )=q 8
( q 7,0 )=q 8 ( q 7,1 )=q 4
( q 8,0 )=q 7 ( q 8,1 )=q 6

Los estados equivalentes son

( q 1, q 6 ) , ( q 2, q 7 ) y (q 3, q 5, q 8) .

( q 1, q 6 )

Son equivalentes ya que con el estado

1 llegan a un estado final.

( q 2, q 7 )

Son equivalentes ya que con el estado

0 llegan a un estado final.

( q 3, q 5, q 8 )

Son equivalentes ya que son estados finales

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Programa Ingeniera en Sistemas
Autmatas y Lenguajes Formales

11. Identifique la ER del autmata ya minimizado y en una tabla de validacin, verifique una
cadena valida y una no valida. Tenga en cuenta la jerarqua de operadores.
Caminos posibles desde el estado inicial

q 0 a los estados finales q 3

q 0, q 2, q 3 0( 0+0)
q 0, q 2, q 4,q 1, q 3 0 ( 1+1 ) ( 0+0 ) (1+1)
q 0, q 1, q 3 1(1+1)
q 0, q 1, q 4, q 2, q 3 1 ( 0+0 ) ( 1+1 ) (0+0)

Expresin regular:

0 ( 0+0 )+ 0 ( 1+1 ) ( 0+0 )( 1+1 ) +1 (1+1 ) +1 ( 0+0 )( 1+1 ) ( 0+0 )

12. (Autmata minimizado) Identifique su gramtica por la derecha (de forma manual) y
caractercela.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Programa Ingeniera en Sistemas
Autmatas y Lenguajes Formales

Sea

V = { A ; B ; C ; D ; E ; F ;G } el alfabeto variable

Sea

={ 0,1 } el alfabeto de constantes

Sea

R= el conjunto de reglas o producciones

Y sea

S=S 1 A

el smbolo inicial y adems un elemento de

Entonces tenemos en este caso que es lineal por la derecha ya que todas las producciones tienen
forma

A ab

Gramtica:

S A1
S B0
BC0
CB0
C
D B1

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

Programa Ingeniera en Sistemas
Autmatas y Lenguajes Formales

B D1
A C 1
C A1
A D0
D A 0

Entonces la derivacin por la derecha para la cadena

10111000 es:

S C B 0 C 00 B 000 D 1000 B 11000 D 111000111 A 0111000C 10111000 10111000