ACTIVIDAD COLABORATIVA 1

MOMENTO 1

HAROL MENDEZ COLLO

COD 17659358
haroldmenster@gmail.com
CEAD: JOS ACEVEDO Y GMEZ
WILSON RAMREZ ZULUAGA
COD 18520991
WILSON.RZ@GMAIL.COM
CEAD: PEREIRA

GRUPO 301405 - 9

TRABAJO ESCRITO Y PRESENTADO AL TUTOR (a)

CARLOS ALBERTO AMAYA TARAZONA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA ECBTI
PROGRAMA DE INGENIERIA ELECTRONICA
MODULO DE AUTOMATAS Y LENGUAJES FORMALES
2014

DESCRIPCION GENERAL
Este primer trabajo colaborativo hace nfasis sobre los conceptos generales
de la unidad 1 del curso de Autmatas y Lenguajes Formales, permitiendo
interpretar y reconocer los conceptos sobre lenguajes formales, autmatas
finitos y su regulacin.
Con el trabajo realizado, podemos identificar claramente cada uno de los
conceptos planteados en la Unidad 1 del Curso de Autmatas y Lenguajes
Formales, analizando diferentes factores en grupo y realizando trabajo
colaborativo.

PARTE 1: PROBLEMAS A DESARROLLAR

Fig. 1

Dada la siguiente tabla de transicin:

Fig. 2

1. Exprese el autmata en notacin matemtica (Tome como referencia,

ejemplo 24 pgina 43 del mdulo). Identifique que tipo de autmata es
(AFD o AFND) y justifique su respuesta. (No se trata de dar el concepto de
determinismo).
Autmata Finito Determinsticos: porque me est determinando la ruta por
donde puedo pasar o recrear o correr las cadenas que puede aceptar el
autmata.
,(

)(

)-

2. Identifique los elementos (tupla que es) (Asociadas con los elementos del
autmata del ejercicio propuesto). Debe explicar y describir cada elemento
y la funcin y significado en el autmata. Conceptos y definiciones
adicionales.
(

= x K K La funcin de transicin indica a qu estado se va a pasar

sabiendo cul es el estado actual y el smbolo que se est leyendo.
Donde la funcin : (
(q0, 0) = q0, q3

) (
(q0, 1) = q0, q1

(q1, 0) =

(q1, 1) = q2

(q2, 0) = q2

(q2, 1) = q2

(q3, 0) = q4

(q3, 1) =

(q4, 0) = q4

(q4, 1) = q4

) (

)viene dada por:

3. Identifique el lenguaje que genera. (no se trata de explicarlo o formularlo en

notacin de una ER)
(

El lenguaje que genera segn la tabla de transiciones y el diagrama realizado, es

una cadena que deben tener dos estados iguales en cualquier parte de la cadena
00 11y puede empezar la cadena con 0 1. El lenguaje aceptado por esta
autmata es:
00
11
4. Muestre en el simulador (grficamente) como recorre una cadena vlida.
Explique cada secuencia. (No se trata solo de captura las imgenes, estas
deben ser explicadas en pi de pgina o de lo contrario no tienen validez)
Ingresamos la cadena 1001 que es una palabra aceptada

Se inicializa el automata en q0 que es la entrada

La palabra 1001 inicia con un uno (1) el cul puede tomar dos caminos diferentes
uno de ellos es que se queda en el mismo estado y puede realizar el cambio
estado a q1

La palabra 1001 continua con un cero (0), el cul la siguiente ruta parte desde el
mismo q0 que ya que el primer simbolo lo dejo en el estado q0 y q1 pero la unica
ruta siguiente posible es desde q0 a q3 ya que en q1 no hay transicion posible.

La palabra 1001 continua con otro cero (0), desde q3 hay una transcion al estado
q4

La palabra 1001 finaliza con un uno(1), desde el mismo q4 se da la aceptacin.

5. Muestre el diagrama de Moore generado en JFLAP y en VAS y comente

cinco similitudes y cinco diferencias que encuentra al realizarlo en los dos
simuladores. (Herramienta que ofrezca uno u otro).

Fig. 9 En JFLAP

Fig. 10 En Vas

En ambos simuladores se pueden realizar el diagrama de Moore y correr sin

ningn problema las cadenas que acepte el autmata, el simulador Vas nos
permite generar la tabla de transiciones y pasar un autmata finito no
determinsticos (AFND) a un autmata finito determinsticos (AFD), mientras
que el simulador JFLAp, es un poco ms completo, permitiendo generar AFND
a AFD, adems de otras opciones como obtener la ER, seguir el proceso de
una cadena, generar la gramtica, minimizar, comparar equivalencias entre
otras funciones.
SIMILITUD
a. Entorno limpio y fondo en blanco.
b. Convierte AFND a AFN
c. Exporta a imagen el autmata.
DIFERENCIAS
VAS
Prueba una cadena
Depurador grfico, muestra por color
la prueba
Muestra la tabla de las transiciones

JFLAP
Mltiple prueba
Define automticamente si es AFD o
AFND
Re organiza el automata

6. Identifique la ER del autmata y Plasme tres cadenas vlidas y tres no

vlidas en una tabla (identificando jerarqua de operadores regulares,
identificando colores).
ER= (1+0)*(11(1+0)*+00(1+0)*)
(0+1)*
0
1

11
1
0
1

(11(1+0)*+00(1+0)*)
11
11
1100
00
001
001

10
01

Si / No
Valida
Valida
Valida
Valida
Valida
Valida
No Valida
No Valida
No Valida
No Valida

7. Justifique o explique segn la jerarqua y funcin de los operadores de ER

en qu parte se trunca la jerarqua y orden de los operadores para las
cadenas no vlidas de la tabla anterior.
ER= (1+0)*(11(1+0)*+00(1+0)*)
Primero evaluamos de la ER (1+0)*(11(1+0)*+00(1+0)*) que se encuentra en
verde. (1+0)* Nos quiere decir que puede ser ningn, uno o varios Unos 1 o
ningn, uno o varios Ceros 0 no es obligatorio. Luego analizamos lo que se
encuentra
dentro
de
los
signos
de
agrupacin
Parntesis
(1+0)*(11(1+0)*+00(1+0)*) los que estn de color oro; ah primero se analiza el
lado izquierdo del signo mas + De color rojo. (1+0)*(11(1+0)*+00(1+0)*), Se
encuentra una concatenacin 11 que es obligatorio y otra concatenacin con
(1+0)* que representa ningn, uno o varios Unos 1 o ningn, uno o varios Ceros
0 no es obligatorio. Por ltimo analizamos el lado derecho del smbolo mas +,
(1+0)*(11(1+0)*+00(1+0)*) de color purpura hay una concatenacin 00 que es
obligatorio y otra concatenacin con (1+0)* que representa ningn, uno o varios
Unos 1 o ningn, uno o varios Ceros 0 no es obligatorio.
Para las cadenas NO VALIDAS se analiza dentro del segundo parntesis
(11(1+0)*+00(1+0)*); se toma la unin (+) para que una cadena no sea vlida en el

lado izquierdo no puede haber dos unos concatenados 11 seguidos y para el

lado derecho no puede haber dos ceros 00 concatenados
(0+1)*
1
0
1

(11(1+0)*+00(1+0)*)

10
01

Si / No
No Valida
No Valida
No Valida
No Valida

ER: (0+1)*11(0+1)* + (0+1)*00(0+1)*

Primero evaluamos de la ER (0+1)*11(0+1)* + (0+1)*00(0+1)* que se encuentra en
verde. (1+0)* Nos quiere decir que puede ser ningn, uno o varios Unos 1 o
ningn, uno o varios Ceros 0 no es obligatorio. Luego analizamos lo que se
encuentra dentro de los signos de agrupacin (0+1)*11(0+1)* + (0+1)*00(0+1)* los
que estn de color azul; ah primero se analiza el lado izquierdo del signo + de
color rojo. (0+1)*11(0+1)* + (0+1)*00(0+1)* Se encuentra una concatenacin 11
que es obligatorio y otra concatenacin con (1+0)* que representa ningn, uno o
varios Unos 1 o ningn, uno o varios Ceros 0 no es obligatorio. Por ltimo
analizamos el lado derecho del smbolo +,(0+1)*11(0+1)* + (0+1)*00(0+1)* de
color amarillo hay una concatenacin 00 que es obligatorio y otra concatenacin
con (1+0)* que representa ningn, uno o varios Unos 1 o ningn, uno o varios
Ceros 0 no es obligatorio.
Para las cadenas NO VALIDAS se analiza dentro del segundo parntesis
(11(1+0)*+00(1+0)*); se toma la unin (+) para que una cadena no sea vlida en el
lado izquierdo no puede haber dos unos concatenados 11 seguidos y para el
lado derecho no puede haber dos ceros 00 concatenados

8. De la tabla de transicin dada y del autmata asociado a esa tabla, genere

la ER (no desde el simulador JFLAP), genrela de forma manual y explique
cada sentencia asociada al autmata o diagrama de moore.

PASO 1: El primer paso en este procedimiento consiste en aadir al autmata

finito un nuevo estado inicial i, mientras que el antiguo estado inicial

deja de ser

inicial, y un nuevo estado final f, mientras que los antiguos estados finales
dejan de ser finales; adems se aade una transicin vaca del nuevo estado

inicial al antiguo (

), y varias transiciones de los antiguos estados finales al

nuevo: *(

)|

Esta transformacin tiene por objeto que haya un estado inicial al que no llegue
ninguna transicin, y un solo estado final, del que no salga ninguna transicin.
Esta condicin se requiere para llevar a cabo el siguiente paso. Hay muchos
autmatas que ya cumplen estas condiciones sin necesidad de aadir un nuevo
estado inicial o un nuevo estado final. En la figura 11 se muestra estas acciones
realizadas.

Fig. 11

PASO 2: Eliminacin de nodos intermedios. Eliminamos primero el nodo

Para ello, consideramos que trayectorias o rutas pasan por el nodo a eliminar. En
la figura 12 se muestra estos cambios

Fig. 12

PASO 3: Eliminacin de nodos. La figura 13 muestra el proceso de eliminacin del

nodo

Fig. 13

PASO 4: La figura 1 muestra el proceso de eliminacin del nodo

Fig. 14

Finalmente la ER obtenida corresponde a: (0+1)*11(0+1)* + (0+1)*00(0+1)*, como

se muestra en la figura 15.

Fig. 15

BIBLIOGRAFIA

MDULO DEL CURSO DE 301405 AUTMATAS Y LENGUAJES

FORMALES, CARLOS ALBERTO AMAYA TARAZONA (Director Nacional),
http://www.camayat.com, Duitama (ZCBO), Versin 4 2014.

Pginas Web.
Amaya. C . Mdulo Autmatas y lenguajes formales: UNAD,
2014,
182p.
Disponible
en
internet:
http://datateca.unad.edu.co/contenidos/301405/20142_AVA/AUTOMATAS_Y_LENGUAJES_FORMALES.pdf

AMAYA C. 2014- Canal con LC Creative Commons. Tras las

huellas de Alan Turing. Disponible en internet:
http://youtu.be/tO-WgRXKcAo.

AMAYA C. 2014- Canal con LC Creative Commons.

Descripcin de Lenguaje, Alfabeto y expresin regular.
Disponible
en
internet
http://www.veoh.com/watch/v616083236Thn5HJn / VeoH
Chanel: Autor: AMAYA, C. Disponible en internet. Con
acceso Enero de 2014. LC Creative