ACTIVIDAD COLABORATIVA PARA EL MOMENTO No: 2 AUTOMATAS Y LENGUAJES

FORMALES

PARTE 1
PUNTO 1

M es quntuplo determinado as: {K , , , s , f }

K se refiere al conjunto de los estados de nuestro autmata:

q 0 , Q1 , Q2 Q3 , Q4 , Q5 }

K ={

refiere al lenguaje :

= {a , b}

S es el estado inicial:
S =

Kx

q0
es la funcin de transicin del autmata podemos denotar asi :

k ( Quiere decir que si tenemos un estado , un lenguaje , mas

transicin = nos puede resultar un nuevo estado y as vamos organizando )

(q0, a)= q0
(q1, a)= q4
(q2, b)= q3
(q3, b)= q2
(q4, a)= q6
(q5, a)= q7

(q0, a)= q0
(q1, a)= q1
(q2, b)= q2
(q3, a)= q3
(q4, b)= q4
(q5, b)= q5
M= ({q0, q1, q2, q3, q4, q5 }, {a,b}, , {q0}, {q1, q2, q4})

0
q2
q4
q3
q2
q6
q7

q0
q1
q2
# q3
q4
# q5

1
q1
q5
q4
q6
q7
q1

L={ { 0,1 } =0 +1 + ( 10 ) + ( 01 ) +0 ( ( 10 ) +1( ( 10 ) + ( 01 ) +(01) )) }

R1=( q0 , q3 ) =00(00)
R2=( q0 , q5 ) =11(11)

R3=( q0 , q8 ) por q1 , q7=11 ( 11 ) 00 ( 00 )

R4 =( q 0 , q 8 ) por q 2 , q 6=00 ( 00 ) 11 ( 11 )

R5=( q0 , q8 ) por q2 , q4 , q 7=011 ( 11 ) 0 (00)

R6=( q0 , q8 ) por q1 , q4 , q 7=101 (11 ) 0(00)

R7=( q0 , q8 ) por q1 , q4 , q 6=100 ( 00 ) 1(11)

R8=( q0 , q8 ) por q2 , q4 , q 6=010 ( 00 ) 1(11)

ER= R1 + R2 + R3 + R4 + R 5+ R 6+ R 7 + R8
Por lo tanto ser:

00(00) + 11(11) +11 ( 11 ) 00 ( 00 ) +00 ( 00 ) 11 ( 11 ) +011 ( 11 ) 0 (00) +101 (11 ) 0(00) +100 ( 00 ) 1(11) +010 ( 00

Por equivalencias y factor comn entre las partes se puede decir que la Expresin
Regular del autmata es:

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

4. Identifique los estados Distinguibles y los No distinguibles

Minimizacin del Autmata utilizando el mtodo de conjuntos:
Conjuntos Inciales:
q3 , q5

,
y

q0 ,

q1 ,

Estados finales

q8
q2 ,

q4 ,

q 6 , Estados no finales

q7
= {0, 1}

5. 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

q5

q8

q0

0
y

1
y

q1

q2

q4

q6

Conjunto y

q7

Nuevos conjuntos:

q3 , q5

q8

q0 ,

q1 , q 6

q 2 , q7

Conjunto x

q3

0
w

1
z

q5

q8

q0

0
w

1
z

q4

q1

0
y

1
x

q6

q2

0
x

1
y

q7

Conjunto y

Conjunto z

Conjunto w

q4

Nuevos conjuntos:
x

q3 , q5

q8

,
y

q0

q1 , q 6

q 2 , q7

q4

Conjunto x

q3

0
w

1
z

q5

q8

0
w

1
z

q1

0
n

1
x

q6

q2

0
x

1
n

q7

0
z

1
w

Conjunto y

q0
Conjunto z

Conjunto w

Conjunto n

q4

6. En el proceso de eliminacin de estados, identifique que transiciones se

eliminan y cules se re direccionan. Muestre la tabla de estados
distinguibles
Se crea nuevamente una tabla de transicin del autmata final minimizado
K


y
#x
z
w
n

w
n
x
z

z
x
n
w

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

moore

8. Realice la descripcin (notacin) (caracterizacin) matemtica del autmata

ya minimizado
Solucin
M = (K, , , s, F)
K = { a,z,b,n,x } 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 (y)
F es un conjunto de estados finales, en nuestro caso (x)
9. Identifique El Lenguaje que reconoce. (autmata ya minimizado)
L= {A {0,1}*| A={.El lenguaje que reconoce ser el de todas las posibles cadenas
que empiezan por 0 o por 1 y que terminan en 0 o 1, seguidos de una

combinacin de uno o varios 0 o 1. bajo ciertas condiciones (propiedades) que

resultan complejas (ER), por eso es que se reduce o minimiza el autmata.
Cadenas validas
11
00
111010
0101
000000
Cadenas no validas
10
101
00101
00011
01001

10. 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+(01+10)(11+00)*(10+01))(00+11+(01+10)(11+00)*(10+01))*

11. Y 13. (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.
Las gramticas son mecanismos generadores de lenguajes, es decir nos indican
cmo podemos obtener o construir palabras de un determinado lenguaje.
Una gramtica independiente del contexto (GIC) es una cudrupla G=(N, , S, P),
donde:
N: es una coleccin finita (no vaca) de smbolos no terminales.
: es un alfabeto.
S: es un no terminal llamado smbolo inicial.
P: un conjunto de producciones tal que P N (N )*.
Los lenguajes generados por una GIC son llamados Lenguajes Independientes
del Contexto (LIC). Es posible probar que la gramtica independiente del contexto
dada por: S aSb|
Para verificar que tipo de gramtica es en el simulador JFLAP nos dirigimos a la
ventana que se exporta despus de haber convertido el DFA a Gramtica (ver
ms adelante) y en el men Test seleccionamos prueba de tipo de gramtica
(Test For Grammar Type).
Par ver qu tipo de gramtica es en el simulador (JFLAP) nos ubicamos en el
men convert y elegimos la opcin Convert to Grammar; esto si el autmata
finito es determinista de lo contrario debemos convertirlo primero en un autmata
finito Determinista y luego realizar el proceso para convertir a la gramtica, en este
caso estamos trabajando con un autmata finito determinstico as que no es
necesario.

En la nueva ventana damos clic en mostrar todas las producciones que quedan
(Show All), Exportamos la gramtica en una nueva ventana (opcin Export).

Al ejecutar nos indica la imagen que es una gramtica regular y una gramtica
libre de contexto alineado por derecha.

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

Ingresamos 111010 Presionamos STAR y luego STEP para ver todo el rbol.
Tambin podemos observar la tabla de derivacin

El rbol o gramtica No es ambigua, ya que no existen dos rboles de derivacin

distintos para una misma cadena o palabra. Definicin 17: Una GLC G es
ambigua si existen dos rboles de derivacin distintos para G que generan una
misma cadena

L(G) .

La gramtica del rbol no es ambigua se trata de una gramtica univoca o nica

ya que es una gramtica libre de contexto que tiene asociado un solo rbol de
derivacin para toda cadena del lenguaje.

CONCLUSIONES

Gracias al presente trabajo se logr aprender y apropiar conceptos de lo que son

los autmatas y los lenguajes formales. Adems tambin se aprendi que una
mquina de Turing es un dispositivo que manipula smbolos sobre una tira de cinta
de acuerdo a una tabla de reglas. A pesar de su simplicidad, una mquina de
Turing puede ser adaptada para simular la lgica de cualquier algoritmo de
computador y es particularmente til en la explicacin de las funciones de una
CPU dentro de un computador.

BIBLIOGRAFA

http://www.veoh.com/watch/v616083236Thn5HJn
https://www.youtube.com/watch?v=eWUfPJD9A_0&feature=youtu.be
https://www.youtube.com/watch?v=3kWdHOLw-AQ
https://www.youtube.com/watch?v=ASg_ZUXgvZk
https://www.youtube.com/watch?v=sW-Lx9p1xfc
https://www.youtube.com/watch?v=I4wI0mwQYow

https://www.youtube.com/watch?v=-mZ