Está en la página 1de 20

TRABAJO COLABORATIVO 1

AUTMATAS Y LENGUAJES FORMALES

Milton Alonso valencia rincon


CC 1123304819
Giancarlo Valencia
CC
Juan Camilo Correa
CC 1053800129
Yisel Paola Peralta
CC 1048275306
Grupo: 301405A_38

Tutora: ngela Mara Gonzlez

Universidad Nacional Abierta y A Distancia UNAD


Escuela de Ciencias Bsicas, Tecnologa e Ingeniera
CEAD Barranquilla, Valle del Guamuez
Septiembre 2015

Introduccin
Los autmatas son en gran medida la base del mundo industrializado y de diversidad
tecnologa en el cual vivimos, de all se denota la importancia en su estudio.
El trabajo presentado a continuacin se centra en el desarrollo del momento 1 del curso
donde se plasmara diferentes ejercicios prcticos los cuales abarcaran diferentes temticas
como expresiones regulares y autmatas finitos.

Objetivo general
Estudiar y reconocer acerca de los autmatas y los lenguajes o tipos de canas que este
logra procesar.

Objetivos especficos:
-

Lograr identificar y simplificar expresiones regulares

Interactuar con autmatas finitos y lograr identificar y/o diferenciar si son autmatas
finitos determinsticos AFD a autmatas finitos no determinsticos AFND.

Interactuar con diversas herramientas didcticas como JFLAP y VAS que nos
permitan graficar o lograr identificar el funcionamiento de un autmata

Desarrollo momento 1
1. Encuentre la expresin mnima simplificada correspondiente y una posible expresin
equivalente escrita en otra forma.
ER

ER Simplificada

(0(1) ) + 1

01 + 1

ER ALTERNA O EQUIVALENTE
Aplicamos propiedad 2

ER1

01 + 1 = 1 + 01
Aplicando propiedad 10

ER2

+ 1 + ( + 1) + ( + 1) =
+ 1 + ( + 1)( + 1) (

+ 1 + ( + 1)

(1)
+ 1)

Aplicando propiedad 21
+ 1 + ( + 1) = (1)

0 + ( + 1)(1) 0

ER3

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

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

ER4

1 0 + 1 0( + 0 + 1) ( + 0
1 00(1 + 0) 01

1 0 + 1 0(0 + 1) 01

+ 1)
1 00(1 + 0) 01
ER5

((0 + 1)1)

011

0+11

2. Para la expresin regular 4: 1 0 + 1 0( + 0 + 1) ( + 0 + 1) resuelva:

2.1.Describa la forma matemtica del autmata:

A = [(Q0, Q1, Q2, Q3, Q4),(0,1),, Q0,( Q2, Q4)]

2.2.Plasme la tabla de transicin e identifique que tipo de autmata es (AFD o AFND)


y justifique su respuesta.

3 2

Estudiando las transiciones podemos encontrar que el autmata es un autmata finito


no determinstico debido aque antes de llegar al estado de aceptacin podemos
observar durante sus transiciones para ser mas especifico las transiciones:

(2,0) = 2
(2,0) = 3
Como este adopta dos estados al mismo tiempo que son q2 y q3 algo caracteristicos
de los autmatas no determinsticos.

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

Ya que el autmata es un autmata finito recordemos que los autmatas finitos en el caso del
autmata estudiado identificado como un autmata finito determinista que se lo define como
la como una 5-tupla (Q, , q0, , F) donde:

es un conjunto de estados;

es un alfabeto;

es el estado inicial;
es una funcin de transicin;
es un conjunto de estados finales o de aceptacin.

2.4. Identifique el lenguaje que genera.

= { {1,0, }|1 0(0 + 1) }


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

Se hizo la primera prueba con una cadena sencilla (1100001101) para estudiar su recorrido.

Al iniciar la transicin podemos {11} notar como el autmata entra en su estado inicial con
los dos primeros valores de la cadena (0,1) = 0

Al seguir con su siguiente valor {110} podemos notar que el autmata pasa al estado q1
(0,0) = 1

Siguiendo con su transicin de la cadena {1100} podemos notar que el autmata pasa a su
siguiente estado que es q2

Podemos notar el caso especial siguiendo la cadena {11000} como el autmata puede adoptar
dos estados al mismo tiempo ya que ambos pueden aceptar estos mismos datos de entrada de
la cadena, algo caracterstico de los AFND.

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


similitudes y tres diferencias que encuentra al realizarlo en los dos simuladores.
(Herramientas que ofrezcan uno u otro).
a. Diagrama de Moore Generado en JFLAP

b. Diagrama de Moore generado en VAS

DIFERENCIAS
JFLAP

VAS

JFLAP no permite notar los caminos que

VAS se puede notar los caminos

embargo genera una tabla en la que se

que toma cada smbolo en una

evidencia el total de las transiciones.

transicin marcndola de color

JFLAP permite la insercin de varias

rojo.

VAS permite ver la tabla de


transicin.

JFLAP permite la conversin de AF a ER

y viceversa.

En los diagramas de Moore en

toma cada smbolo en una transicin, sin

cadenas para su posterior anlisis.

Para VAS podemos ingresar

Para JFLAP debemos ingresar una por una

todas las transiciones a la vez

cada transicin cuando est bajo una

cuando est bajo una estrella de

estrella de kleene.

kleene.
SIMILITUDES

Ambos simuladores permiten el anlisis de cadenas aceptando o rechazando.

Ambos simuladores permiten crear AFD y AFND.

Ambos simuladores permiten la conversin de AFND a AFD.

Ambos simuladores permiten observar el recorrido paso a paso de un autmata.

Ambos simuladores permiten la conversin a formato de imagen.

2.7.Genere tres cadenas vlidas y dos no vlidas.

3. Si el autmata inicial (el de la ER4) es un AFD genere un AFND que reconozca el


mismo lenguaje; o por lo contrario si el autmata inicial es un AFND, genere un AFD
que reconozca el mismo lenguaje.

3.1.Describa la forma matemtica del autmata


M= ({0 , 1 , 2 , 3 , 4 },{0,1},S, )
= 0

= 4

Q={q0, (q1, q2 )},{0,1} , q0 ={q1,q2}

3.2.Identifique los elementos tupla

= (0,1)
K = 0 , 1 , 2 , 3 , 4

S = 0
F =

3.3.Muestre en el simulador como recorre una cadena valida. Explique cada secuencia

Se hizo la prueba con la cadena {110001} donde logramos identificar el siguiente


recorrido.

Primero el autmata entra en su estado inicial con los valores {11}

Luego pasa al estado q1 tomando su siguiente valor {110}

Continuado con el estudio de la cadena el autmata pasa del estado q1 al estado q2 al tomar
el siguiente valor {1100}

Aadiendo el siguiente valor de la cadena en su transicin (2,0) = 3

Llegando asi al final del estudio completo de la cadena de entrada {110001} donde el ultimo
valor hace que el autmata entre a su estado final que es q4 (3,1) = 4

Ntese que a diferencia el autmata finito no determinstico el autmata solo toma un estado
dentro de su transicin en comparacin con el anterior, determinado as que este es un
autmata finito determinstico.
3.4.Muestre el diagrama de Moore generado en JFLAP y VAS

a. Diagrama de Moore Generado en JFLAP

b. Diagrama de Moore Generado en VAS

3.5.Identifique la expresin regular asociada al nuevo diseo y comprela con la


expresin regular con simplificada(es decir analcelas con dos cadenas vlidas y
dos cadenas no validas)

Expresion regular del automata

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

Expresin Regular: 1*001*00*1((0+11*0)0*1)*

Cadenas Validas: 10001, 0001

1*

00 1*

0* 1

00

00

Expresin Regular: 1*001*00*1((0+11*0)0*1)*


1*

00 1*

00

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

1
1

Cadenas No Validas: 101, 10010


0

0* 1
1

10

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

Conclusiones
Durante el desarrollo de esta actividad se apropiaron los conceptos para la creacin de
Autmatas y Lenguajes Formales, tales como Alfabetos, cadenas y Lenguajes.
Se evidencio a travs de ejercicios prcticos la diferencia entre Autmatas Finitos
Determinsticos y No determinsticos, sus transiciones y se aprendi el uso de herramientas
como JFLAP y Visual Autmata Simulator mediante ejercicios prcticos.

Bibliografa

Gonzalez, A. M. (Septiembre de 2015). AUTOMATAS Y LENGUAJES FORMALES.


Obtenido de datateca unad:
http://datateca.unad.edu.co/contenidos/301405/2015_2/LENGUAJES_Y_EXPRESIO
NES_REGULARES1.pdf
Gonzalez, A. M. (Septiembre de 2015). Expresiones Regulares y Lenguajes Regulares.
Obtenido de datateca unad:
http://datateca.unad.edu.co/contenidos/301405/2015_2/Expresiones_Regulares_y_Le
nguajes_Regulares_2_parte.pdf
Tarazona, C. A. (2015). Automatas y Lenguajes Formales. Duitama (Boyaca) Colombia.
Brena R, (2015). Automatas y Lenguajes.
Obtenido de unillanos:
http://fcbi.unillanos.edu.co/proyectos/Facultad/php/tutoriales/upload_tutos/Automatas
%20Y%20Lenguajes.pdf