AUTOMATAS AUTOMATAS Y LENGUAJES LENGU AJES FORMALES FORM ALES CÓDIGO: 301405
TRABAJO COLABORATIVO FASE 2
Pree!"#$% #: MAGDA LORENA &U'IGA T("%r
E!"re)#$% *%r: N%+,re - A*e../$% : J(#! E$(#r$% G%+e C$/)%: 110124
Gr(*%: 301405630
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA 7 UNAD ESCUELA DE CIENCIAS B8SICAS TECNOLOG9A E INGENIER9A 01 !% 1 BUCARAMANGA
INTRODUCCIÓN Los lenguajes regulares son la buena manera de validar campos del texto tales como nombres, las direcciones, los números de teléfono, y otra información del usuario. Podemos utilizarlas para obligar la entrada, aplicar reglas del formato, y mucho ms! hay varios métodos de cómo validar información y entre ellos, se encuentran los "utómatas de Pila #ue contienen las expresiones regulares, #ue tienen parecido a una especie de lenguaje #ue se puede usar para buscar, remplazar y sobreponer ciertos patrones en un texto, trabajable casi de manera igual #ue los "utómatas $initos y no $initos. %n autómata con pila o autómata de pila o autómata a pila o autómata apilador es un modelo matemtico de un sistema #ue recibe una cadena constituida por s&mbolos de un alfabeto y determina si esa cadena pertenece al lenguaje #ue el autómata reconoce. 'l lenguaje #ue reconoce un autómata a pila pertenece al grupo de los lenguajes de contexto libre en la clasificación de la (erar#u&a de )homs*y.
OBJETIVOS OBJETIVO GENERAL •
+econocer los lenguajes independientes del contexto y sus diversas aplicaciones.
OBJETIVOS ESPECIFICOS • •
• •
'studiar la aplicación de los lenguajes regulares y los autómatas finitos. "d#uirir las habilidades necesarias para desarrollar autómatas y m#uinas #ue reconozcan lenguajes o computen funciones. istinguir los diferentes tipos de lenguajes formales existentes. "d#uirir el conocimiento y competencia para poder recrear autómatas sencillos en un simulador. e igual forma verificar el lenguaje #ue reconoce.
P#r"e 2: ise-e un "P #ue dentro de su lenguaje L / 0a%b1 2 0a3b14 !es decir todas las combinaciones posibles de cadenas conformadas por los s&mbolos 0a1 0b1 o conjunto universal de estrellas de *leene, 0con pila vac&a15 exceptuando o rechazando cadenas como5 )adenas no vlidas. Las #ue estén compuestas por uno o muchos s&mbolos 6a75 ejemplo5 /0a1 0aa1 0aaa1 0aaaa1 0aaaaa1 0aaaaaa1...4 'n el dise-o #ue haga es libre determinar si acepta la cadena vac&a o no. 8. escriba el autómata en notación matemtica. +ta5 M =( Q,V ,Σ ,δ ,q 0 , z 0 , F )
9uestro "utómata
Q={ q0 , q1 }
)onjunto de estados del autómata
V ={ a , b }
"lfabeto utilizado en el autómata
Σ={ z 0 , 1, λ }
"lfabeto de la pila
q0
'stado inicial del autómata
F =q0
'stado final del autómata
δ ={ q0 , q1 } x { a , b }
$unción de transición del autómata
:. etermine el lenguaje #ue reconoce el "P. +ta5 n
L={ a b ∨ n > 0 }
;. (ustifi#ue y asocio o evidencie si el dise-o es un "P9 o un "P
<. =raf&#uelo en ($L"P y realice el 6>racebac*7 para las transiciones. 0Las columnas para un "P son5 'l estado en #ue se encuentra el autómata, lo #ue falta por leer de la palabra de entrada, y el contenido de la pila1. +ta5
e"#$% inicio #8 #@
*%r .eer abbbabba b 8 bbbabbab ? bbabbab ?
*/.#
#@ babbab ? #@ abbab 8 #8 bbab ? #@ bab ? #@ ab 8 #8 b ? A. Plasme las imgenes del recorrido de ese >racebac* para cada movimiento en el documento. 0Be debe apoyar en ($L"P1 0ocumente el proceso1
'n esta imagen se muestra el inicio del recorrido de la palabra ingresada, se muestra #ue al leer la letra 6a7 automticamente pasa al estado #8 e ingresa un elemento a la pila.
'n esta imagen se muestra cuando al leer la letra b vuelve al estado #@ y la pila vuelve a #uedar vac&a.
'n esta imagen se muestra #ue en el estado #@ permanece al pasar a la segunda 6b7.
'n esta imagen igual #ue en la anterior se mantiene en el estado #@ al leer la tercera 6b7 consecutiva.
'n esta imagen se confirma #ue al pasar a la siguiente letra 6a7 se vuelve a pasar al estado #8 y la pila vuelve a ser modificada.
'n esta imagen al leerse la siguiente 6b7 igualmente se devuelve al estado #@ y se vuelve a vaciar la pila.
" esta imagen se vuelve a mostrar #ue al tomar el valor de la siguiente 6b7 se mantiene en el estado #@.
'n esta imagen al tomar nuevamente la letra 6a7 retorna al estado #8 y la pila vuelve a variar.
Ca en esta imagen se muestra #ue al llegar a validar la última letra de nuestro nuestra palabra ingresada se devuelve al estado #@ #ue es aceptador, la pila vuelve a #uedar vac&a y se concluye #ue ha sido aceptada sin ningún problema
D. Euestre el diagrama correspondiente de estados.
F. etermine si su dise-o acepta o no la cadena vac&a y expli#ue por #ué en cual#uier caso, demostrando el recorrido o comportamiento de la Pila para ese evento. 0'videncindolo1. +ta5 'l autómata desarrollado acepta la cadena vac&a debido a #ue el estado inicial es el mismo estado de aceptación y a #ue la pila no sufre ningún cambio en sus elementos, en la siguiente imagen se confirma dicha información5
CONCLUSIONES G >al como se observa en el documento base de la catedra lógica matemtica se puede comprender #ue servir para desarrollar competencias para expresar razonamientos lógicos en lenguaje simbólico. G 'l uso del softHare ($L"P sin lugar a dudas presenta muchas herramientas #ue permite simular y comprender cadenas fcilmente y a la vez facilita las practica del contenido general del curso.
BIBLIOGRAFIA •
Eodulo Logica Eatematica, "utor =eorffrey "cevedo =omez, %9", Eedellin, :@8:
