UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
Autmatas y Lenguajes formales
Grupo:301405A_220
Trabajo Colaborativo Momento 1
Presentado por:
CARLOS SAVEDRA
Presentado a :
Tutora: ngelaSOLER
Escuela De Ciencias Bsicas e Ingeniera (Ingeniera en Sistemas)
10 de marzo de 2015
Trabajo Colaborativo Momento 1
Ejercicio.
Dado el siguiente Autmata M Finito :M =(K, , q0, , F) donde:
K = {q0, q1, q2, q3, q4, } = {a,b,c} El estado Inicial = q0 F = q3, q4
donde la funcin de transicin est dada por: : {q0, q1, q2, q3, q4 } {a,b,c}
{q0, q1, q2, q3, q4 } q0 {q3, q4,}
(q0, a ) = q1 (q0, ) = q2 (q1, b ) = q3 (q2 , a ) = q4 (q3, a ) = q1 (q3, c ) = q2 (q4, b ) = q2 1. Plasme la tabla de transicin. Identifique que tipo de autmata es (AFD o AFND) y justifique su respuesta. (No se trata de dar el concepto de determinismo) Desarrollo:
TABLA DE TRANSICION
a b c
q0 q1 q2
q1 q3
q2 q4
#q3 q1 q2
#q4 q2
Nota: el smbolo denota el estado inicial del autmata
El smbolo # denota los estados finales del autmata
IMAGEN DE LA TABLA DE TRANSICION GENERADA POR EL
SIMULADOR
VISUAL AUTOMATA SIMULATOR (Esta tabla solo puede ser generada por
este simulador)
Por medio del estudio de los recursos que se nos han dado puedo decir
que este es un Autmata Finito Determinantico (AFD) ya que este autmata
tiene una sola ruta es decir se puede determinar cules son sus cadenas
validas mostrndonos que el comportamiento de este autmata es determinado
ya que sus estados no tienen ambigedad es decir en su estado inicial (q0)
solo se determina una interaccin y en sus estados no se repite la salida de un
mismo smbolo.
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.
Este autmata es un quntuplo ya que contiene 5 elementos y sus
caractersticas son las siguientes las cuales pude identificar desmenuzando
el ejercicio es decir tome el ejercicio por partes para poder entenderlo mejor.
M = (K, , q0, , F)
K= Es el conjunto de estados que posee el autmata.
= (Sigma) Es el alfabeto de entrada
q0 = Al estado inicial del autmata
=(sigma) Denota una funcin
F=Estado final del autmata
En el desarrollo de este autmata tuve que determinar varias cosas como lo
son:
Identifique los estados del autmata K = {q0, q1, q2, q3, q4}
Identifique el alfabeto de entrada = {a, b,c}
Identifique el estado inicial del autmata el cual es = q0
Identifique la funcin= : {q0, q1, q2, q3, q4 } {a,b,c} {q0, q1, q2, q3, q4 }
q0 {q3, q4,}
Identifique los estados finales del autmata F= q3, q4
3. Identifique el lenguaje que genera. L= { {a, b, c}* Esto quiere decir que el conjunto de cadenas que empiezan por a y que terminan en b o en a deven unas caractersticas ; ara cadenas que terminan en b estas deven estar precedidas por a , para cadenas que terminan en a es necesario que estn precedidas por c por b o a. 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)
Para este punto use el simulador JFLAP Versin 7.0 explicare paso a paso
cmo se recorre una cadena valida por medio de imgenes.
1 Paso. En imput seleccionamos Multilperun lo seleccionamos y se habrira un
cuadro en la parte derecha de la pantalla. Llamado tabletextsize en el cual
pondremos los alfabetos de entrada de cada estado ejemplo de esto es
(abca)como se ve en el simulador
Luego que escribimos nuestras alfabetos cadenas (abca)procedemos a
verificar si es aceptado o no por medio del botn que est en la parte inferior
derecha llamado run inputs (podemos ver que nuestra cadena es vlida o
aceptada)
Si ponemos una cadena que no es valida se nos mostrara un mensaje en el
tabletextsize que dirareject
Para mostrar el recorrido de una cadena valida vamos a input y seleccionamos
el botn de stepbystate en el cual saldr un cuadro de dialogo en el cual debemos
anotar nuestra cadena valida la cual es (abca) y luego dar aceptar
Al aceptar en el cuadro de dialogo se nos abrir otro cuadro llamado
simlate: abca en este se nos demostrara el rrecorido que hace nuestra
cadena valida esto lo hacemos dando click al botn step ubicado en la parte
inferior izquierda
5 . 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 ofrezca uno u otro). Diagrama de Moore con JFLAP
Diagrama de Moore conVisual Autmata Simulator
Las similitudes que encuentro en cuestin a los dos simuladores son las
siguientes: la interfaz grafica es muy similar en ambos ,se asimila la
manera de marcar los estados y las cadenas , ambos se pueden compilar.
Las direncias que encontr con respecto a los simuladores son en el Visual Autmata Simulator es mas fcil notar los errores ya que al compilar sale un mensaje de texto que marca el error ,en JFLAP se hace la transicin para cada estado Los esquemas son distinto.
.
7. Genere tres cadenas vlidas y dos no vlidas
Para la primera cadena valida que cree disee un autmata que reconoce cualquier numero de 1 segido de un 0 y un 1. Cadena valida # 1
Para probar mi autmata damos click en en botn input Mulitiplerun De hay nos va ha desplegar una tabla llamada(test Size) que es en la cual dijitamos nuestra cadena , podemos observar que al dar click en el botn run inputs nos demuestra cuales de las cadenas digitadas son validas o no en mi caso la nica cadena que es aceptada es la (111111111101) Cadenas no validas: Podemos observar que este autmata tambin nos demuestra las cadenas no validas las cuales entran a un estado inconcluso ,en el caso de este autmata un ejemplpo es ingresar los 0 antes de los 1 esto nos genera una cadena no valida y por ende es rechazada por el autmata(reject) Cadena valida # 2
Podemos demostrar cuales de las cadenas digitadas son validas o no en este caso las cadenas validas son(aba ,ababababababababababa, aaaaaaaaaaaaabaaaaaaaaaaaaaaaaaa. Cadena validad #3
Para esta cadena tome comoejemplo la palabra UNAD PODEMOS darnos cuenta que nuestro autmata solo reconoce cuando se toma la cadena UNAD y en el estado final se hace un recorrido por todo el autmata. Cadenas no validas:Podemos observar que este autmata tambin nos demuestra las cadenas no validas las cuales entran a un estado inconcluso ,en el caso de este autmata un ejemplpo es ingresar los la letras UNAD en minisculas o al ingresar las letras no ordenadamente (UNAAAAAAAAA) genera una cadena no valida y por ende es rechasada por el autmata(reject) 8. Plasme las tres cadenas vlidas para cada ER en una tabla (identificando jerarqua de operadores regulares, identificando colores).
Abrimos la pestaa expresiones regulares
Ingresamos nuestra expresin regular U*N*A*D(U+N+A+D) enseguida la convertimos en un
autmata finito no determinista
Damos click en Do Step lo cual nos va a generar un equivalente del autmata que estamos
generando.
Al dar click en Do All nos mostrara el autmata finito completo
Al exportar el autmata se abre automticamente se abre la interfaz de autmatas
Y queda convertido a expresin regular
9. Identifique en la misma tabla por que las dos cadenas seleccionadas no se aceptan o en qu parte se trunca la jerarqua y orden de los operadores