UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA

AUTOMATAS Y LENGUAJES FORMALES
2015 - Semestre II

AUTOMATAS Y LENGUAJES FORMALES

Momento No 2

Presentado por:
LUISA FERNANDA ROMERO RIOS
CODIGO 52268864

Grupo:
XXXXXXXXXXXXX

Tutor
XXXXXXXXXXXXX

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
II SEMESTRE DE 2015
OCTUBRE

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2015 - Semestre II

INTRODUCCIN
La teora de autmatas es una rama de las ciencias de la computacin que estudia
las mquinas abstractas y los problemas que stas son capaces de resolver. La
teora de autmatas est estrechamente relacionada con la teora del lenguaje
formal ya que los autmatas son clasificados a menudo por la clase de lenguajes
formales que son capaces de reconocer.
Un autmata es un modelo matemtico para una mquina de estado finito (FSM
sus siglas en ingls). Una FSM es una mquina que, dada una entrada de
smbolos, "salta" a travs de una serie de estados de acuerdo a una funcin de
transicin (que puede ser expresada como una tabla). En la variedad comn
"Mealy" de FSMs, esta funcin de transicin dice al autmata a qu estado
cambiar dados un determinado estado y smbolo.
La entrada es leda smbolo por smbolo, hasta que es "consumida"
completamente (piense en sta como una cinta con una palabra escrita en ella,
que es leda por una cabeza lectora del autmata; la cabeza se mueve a lo largo
de la cinta, leyendo un smbolo a la vez) una vez la entrada se ha agotado, el
autmata se detiene.
Dependiendo del estado en el que el autmata finaliza se dice que este ha
aceptado o rechazado la entrada. Si ste termina en el estado "acepta", el
autmata acepta la palabra. Si lo hace en el estado "rechaza", el autmata
rechaz la palabra, el conjunto de todas las palabras aceptadas por el autmata
constituyen el lenguaje aceptado por el mismo.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2015 - Semestre II

GUIA DE ACTIVIDADES

Parte 1: hallar el autmata mnimo correspondiente al siguiente autmata finito.

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

(Antes de minimizar)
El autmata finito es de quntupla no determinstica, ya que a partir del estado
actual y del smbolo actual de entrada no se puede determinar de forma exacta
cul ser el estado siguiente.
M es un quntuplo (K, , , s, F), donde:
K = {q0, q1, q2, q3, q4, q5, q6, q7, q8}, identifica el conjunto de estados del autmata
= {0,1}, es el alfabeto de entrada
S = {q0}, es el estado inicial
F = {q3, q5, q8} es un conjunto de estados finales o de aceptacin.
: K x K es la funcin de transicin, que a partir de un estado y un
smbolo del alfabeto obtiene un nuevo estado.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2015 - Semestre II

Donde la funcin
: {q0, q1, q2, q3, q4, q5, q6, q7, q8} x {0,1} {q0, q1, q2, q3, q4, q5, q6, q7, q8}
Viene dada por:
(q0, 0)= q2
(q1, 0)= q4
(q2, 0)= q3
(q3, 0)= q2
(q4, 0)= q6
(q5, 0)= q7
(q6, 0)= q4
(q7, 0)= q8
(q8, 0)= q7

(q0, 1)= q1
(q1, 1)= q5
(q2, 1)= q4
(q3, 1)= q6
(q4, 1)= q7
(q5, 1)= q1
(q6, 1)= q8
(q7, 1)= q4
(q8, 1)= q6
M= ({q0, q1, q2, q3, q4, q5, q6, q7, q8}, {0,1}, , {q0}, {q3, q5, q8})

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

0
q2
q4
q3
q2
q6
q7
q4
q8
q7

1
q1
q5
q4
q6
q7
q1
q8
q4
q6

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2015 - Semestre II

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

El lenguaje que reconoce ser el de todas las posibles cadenas

que

empiecen por 0 o por 1 y que terminen en 0 o 1, bajo ciertas condiciones

(propiedad) que resultan complejas, y por ello se reduce o minimiza el autmata.

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
q3

uno de los estados finales

nombraremos

q5

q8

q0

hasta cada

, para identificar cada ruta las

Rn

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=

R 1 + R 2 + R 3 + R 4 + R 5 + R 6+ R 7 + R 8

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2015 - Semestre II

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) ))

5. Identifique los estados Distinguibles y los No distinguibles

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

q0

q1

q8

q2

q5

Estados finales

q4

q6

Estados no finales

q7
= {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

q5

q8

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2015 - Semestre II

Conjunto y

q0

0
y

1
y

q1

q2

q4

q6

q7

Nuevos conjuntos:

q3

q5

q8

q0

q1

q6

q2

q7

Conjunto x

q4

q3

0
w

1
z

q5

q8

q0

0
w

1
z

q4

Conjunto y

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2015 - Semestre II

Conjunto z

q1

0
y

1
x

q6

q2

0
x

1
y

q7

Conjunto w

Nuevos conjuntos:

q3

q5

q8

q0

q1

q6

q2

q7

q4

Conjunto x

q3

0
w

1
z

q5

q8

0
w

1
z

0
n

1
x

Conjunto y

q0
Conjunto z

q1

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2015 - Semestre II

q6

q2

0
x

1
n

q7

0
z

1
w

Conjunto w

Conjunto n

q4

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

0
w

1
z

w
n
x
z

z
x
n
w

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

moore

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2015 - Semestre II

9. 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)
10. 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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2015 - Semestre II

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

12. 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 )*.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2015 - Semestre II

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2015 - Semestre II

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2015 - Semestre II

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

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2015 - Semestre II

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.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2015 - Semestre II

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.

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS, TECNOLOGA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
2015 - Semestre II

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=-mZ2HgVW1oc