www.monografias.

com

Introduccin a la teora de gramticas. Lenguajes y autmatas

Jhenny Castillo Tapia jhennyct@yahoo.es 1. 2. 3. 4. !. Introduccin Conceptos y definiciones Lenguajes y gramticas Jerar ua de las gramticas "jercicios resueltos #i$liografa

6.

I%&'()*CCI+% El universo de los sistemas automatizados, digital, virtual. Cada da a sor e m!s terreno y forma parte ya de nosotros. "or ejemplo en el interior de nuestros hogares, encontramos lavadoras, hornos microondas e#uipos de sonido, video, sistemas de calefacci$n%aire acondicionado etc. En el lugar menos pensado, la cocina o el cuarto de lavado, usted posee tecnologa de punta, sistemas automatizados o ras de ingeniera, pero #ue, por la familiaridad o uso frecuente parece algo normal y parte de nosotros incluso nuestros ni&os interact'an cada da en (ideo Juegos, T(, )(), "lay *tations y otros con la mayor familiaridad, sin imaginarse la complejidad de los sistemas #ue nos rodean en el mundo real. +asta hace unos a&os atr!s se emplea a la frase Lento pero seguro con el o jetivo de uscar la e,celencia pensando #ue los tra ajos realizados a la r!pida no tenan uena calidad, empero con los sistemas automatizados surge una nueva premisa 'pido y muy seguro. El universo tecnol$gico cada da usca satisfacer las necesidades del ser humano, mejorar y optimizar la forma de hacer las cosas, m!s r!pido y mejor. En lo #ue ata&e a nuestro tema de estudio no es otra cosa #ue la comprensi$n y representaci$n de estos dos universos paralelos el real y el virtual, el tema de estudio a arca m!s all! de las cosas tangi les o visi les, la e,presi$n corporal, el lenguaje la forma de decir y comprender el significado y la sem!ntica de las pala ras generando lenguajes de comunicaci$n. "or ejemplo*ean las siguientes e,presiones(en *e refiere a la acci$n de venir. (en. Es una orden, una e,presi$n imperativa. (en/ Es una consulta, o pregunta #ue implica la voluntad del otro de realizarlo o no. En el universo del lenguaje e,isten innumera les e,presiones y formas de decir las cosas por lo #ue se hace necesaria la estandarizaci$n o formalizaci$n de un lenguaje, de manera #ue pueda ad#uirir un significado real para nosotros. *i nos preguntamos #u0 significa lenguaje formal, pro a lemente lleguemos a analizar primeramente el t0rmino lenguaje, #ue en pala ras sencillas, viene a ser todo tipo de e,presi$n #ue permite al ser humano comunicarse con sus semejantes, con el cual podemos e,presarnos y dar a conocer nuestras opiniones, es sin duda importante aclarar, #ue para poder entendernos entre personas, de emos ha lar un mismo idioma. Caso contrario podramos caer en am ig1edades #ue ocasionara malos entendidos, por ejemplo, el movimiento de girar la ca eza de iz#uierda a derecha o viceversa significa para nosotros en este lado del mundo 2o, para otros podra significar *i, otro ejemplo, es la forma de lectura%escritura lo normal para nosotros es realizarlo de iz#uierda a derecha, esto parece o vio, sin em argo no lo es, si consideramos #ue hay millones de personas #ue leen de derecha a iz#uierda, de arri a a ajo o incluso en diagonal. *i analizamos la forma de escritura en 3ra ia o China tendramos #ue analizar la forma de lectura, antes de realizarla, de lo contrario podramos darle un significado muy diferente, como, sucedi$ en una pu licidad de analg0sicos 4pastillas5 para calmar el dolor de ca eza, se tra aj$ con las siguientes im!genes, ajo la premisa- una imagen ha la m!s #ue mil pala ras

"ara ver tra ajos similares o reci ir informaci$n semanal so re nuevas pu licaciones, visite www.monografias.com

www.monografias.com

"ara lo #ue emplearon un cuadro con tres fotografas dispuestas de manera horizontal, en la primera aparece la imagen de una persona triste, en la segunda una persona tomando la pastilla, y en la tercera una persona feliz, #ue si las leemos en este lado del mundo, el significado sera una persona enferma toma la pastilla y se sana, parece normal #ue lo entendamos de esta manera, sin em argo no se imaginaron los resultados devastadores en la comercializaci$n de este producto y el fracaso total, puesto #ue en 3ra ia lo normal es leer de derecha a iz#uierda, por lo tanto, ellos leyeron en la primera imagen una persona feliz, luego toma la pastilla, y se pone triste o se enferma. Este pro lema se dio, de ido a #ue no se tomaron las previsiones concernientes al conte,to donde se realizara la campa&a pu licitaria. "or lo #ue intentar llegar a formalizar un lenguaje nos ayudar! a su mejor comprensi$n, consigna o instrucci$n a resolver%. 6no de los pioneros so re lenguajes y gram!ticas fue 3vram 2oam Choms7y, sin duda la figura m!s destacada de la ling1stica moderna, tanto por sus fundamentos matem!ticos como por sus teoras so re el origen y la naturaleza de los lenguajes naturales. En el campo de la inform!tica, el concepto de 8ram!tica 9ormal ad#uiri$ gran importancia para el desarrollo de lenguajes de programaci$n, consiguientemente el desarrollo de aut$matas y ma#uinas de Turing co r$ vida en las 'ltimas d0cadas, fortaleciendo el vnculo entre Electr$nica e :nform!tica, creando m!#uinas cada vez mas sofisticadas y menos complicadas para el usuario final. El prop$sito de este material est! dirigido a introducir a los estudiantes universitarios de las ramas de la :nform!tica, en el fascinante mundo de los lenguajes y la l$gica implcita en las m!#uinas del siglo ;;:. "roporcionando una gua pr!ctica con ejercicios resueltos #ue pretenden fortalecer el conocimiento de la teora de gram!ticas y lenguajes formales, en el entendido #ue cada soluci$n propuesta en este material, no representa la 'nica soluci$n, e,istiendo muchas maneras de resolver el mismo ejercicio. C,-.&*L( I C(%C"-&(/ 0 )"1I%ICI(%"/ (eamos algunos conceptos #ue nos permitir!n conceptualizar la gram!tica /.2#(L( Es una entidad a stracta, #ue no se va a definir. 2ormalmente los sm olos son letras 4a, ,c, z5, dgitos 4<,=,>?5 y otros caracteres 4@,A,%,B,/...5. 6n sm olo tam i0n puede estar formado por varias letras o caracteres, como las pala ras reservadas de un lenguaje de programaci$n son sm olos de dicho lenguaje. Ejemplo a, ,c,C,@,B,A, then, egin, end, else, 3(C,#*L,'I( ( ,L1,#"&( 6n voca ulario o alfa eto es un conjunto finito de sm olos, no vaco. "ara definir #ue un sm olo a pertenece a un alfa eto V, se utiliza la siguiente notaci$n a(. Dos alfa etos se definen por enumeraci$n de los sm olos #ue contienen, podemos ver los siguientes ejemplos (=EF3,G,C,),E,9,..,;,H,IJ (>EFa, ,c,d,<,=,>,K,L,A,C,@J (KEF<,=J (LEFif, then, egin, end, else, a, ,M,E,NJ Tam i0n se pueden definir las ta las 3*C:: y EGC):C como los alfa etos de distintos ordenadores.

"ara ver tra ajos similares o reci ir informaci$n semanal so re nuevas pu licaciones, visite www.monografias.com

www.monografias.com

C,)"%, 6na cadena es una secuencia finita de sm olos de un determinado alfa eto. Ejm. Tomando en cuenta los alfa etos o voca ularios definidos anteriormente, podemos decir #uea c es una cadena del alfa eto (> a@>A es una cadena del alfa eto (> <<<=== es una cadena del alfa eto (K :f aN then EaM es una cadena del alfa eto (L L(%4I&*) )" C,)"%, Da longitud de una cadena consiste en el n'mero de sm olos pertenecientes a la cadena. Ejm. Tomando en cuenta los ejemplos de cadena podemos decir #ue Oa c O es de longitud L Oa @ >A O es de longitud P O<<<===O es de longitud Q Oif aN then aE MO es de longitud ? C,)"%, 3,C., *e denomina cadena vaca, #ue no tiene sm olos y se denota con , por lo #ue su longitud es OO< C(%C,&"%,CI+% )" C,)"%,/ *ean 3 y G dos cadenas cuales#uiera, se denomina concatenaci$n de 3 y G a una nueva cadena 3G constituida por los sm olos de la cadena 3 seguidos por los de la cadena G. El elemento neutro de la concatenaci$n es 3 E 3 E 3 *%I3"'/( )"L )I/C*'/( El conjunto de todas las cadenas #ue se pueden formar con los sm olos de un alfa eto, se denomina universo del discurso ( y se representa por R4(5. Evidentemente R4(5 es un conjunto infinito. Da cadena vaca pertenece a R4(5.Ejm*ea un alfa eto con una sola letra (EFaJ, entonces el universo del discurso esR4(5 E F, a, aa, aaa, aaaa, .J #ue contiene infinitas cadenas. 4',25&IC, (eamos algunos conceptos #ue nos ayuden a formular el concepto de gram!tica4)el lat. grammatSca, y este del gr. TUVWWVXYZ5. f. Ciencia #ue estudia los elementos de una lengua y sus com inaciones. 3rte de ha lar y escri ir correctamente una lengua. Estudio de una lengua regido por el principio de #ue todos sus elementos mantienen entre s relaciones sistem!ticas. Da #ue trata de formular una serie de reglas capaces de generar o producir todas las oraciones posi les y acepta les de un idioma o lenguaje [icrosoft\ Encarta\ ><<]. ^ =??KB><<Q [icrosoft Corporation. _eservados todos los derechos. 6na definici$n un tanto t0cnica- Da gram!tica es un ente formal para especificar, de una manera finita, el conjunto de cadenas de sm olos #ue constituyen un lenguaje . Da gram!tica genera o descri e un lenguaje. ,*&+2,&, 4)el latin. automta, t. f. de -tus, y este del gr. VXWVX`a, espont!neo5. m. :nstrumento o aparato #ue encierra dentro de s el mecanismo #ue le imprime determinados movimientos o respuestas. [!#uina #ue imita la figura y los movimientos de un ser animado. [icrosoft\ Encarta\ ><<]. ^ =??KB><<Q [icrosoft Corporation. _eservados todos los derechos. En el caso de los Procesadores de Lenguaje un aut$mata es una construcci$n l$gica #ue reci e como entrada una cadena de sm olos y produce una salida indicando si dicha cadena pertenece o no a un determinado lenguaje. L"%4*,J" Conjunto de sonidos articulados con #ue el hom re manifiesta lo #ue piensa o siente. *istema de comunicaci$n ver al. [anera de e,presarse. Conjunto de se&ales #ue dan a entender algo. El lenguaje de los ojos, el de las flores. En :nform!tica Conjunto de signos y reglas #ue permite la comunicaci$n con un ordenador. [icrosoft\ Encarta\ ><<]. ^ =??KB><<Q [icrosoft Corporation. _eservados todos los derechos. "odemos e,presarlo de manera m!s sencilla como un conjunto de pala ras $ cadenas de sm olos 4pala ras, oraciones, te,tos o frases5 de un determinado alfa eto. L"%4*,J" 3,C.(

"ara ver tra ajos similares o reci ir informaci$n semanal so re nuevas pu licaciones, visite www.monografias.com

www.monografias.com

E,iste un lenguaje denominado lenguaje vaco, #ue es un conjunto vaco y #ue se denota por FbJ. El lenguaje vaco no de e confundirse con un lenguaje #ue contenga una sola cadena, y #ue 0sta sea la cadena vaca, es decir FJ, ya #ue el n'mero de elementos 4cardinalidad5 de estos dos conjuntos es diferente. Cardinal 4F b J5 E < Cardinal 4F J5 E = -,L.%)'(2(/ Cadenas #ue se leen igual hacia delante, #ue hacia atr!s. "or ejemplo, c_6_c C,-.&*L( II L"%4*,J"/ 0 4',25&IC,/ L"%4*,J" *e denomina lenguaje a un conjunto de pala ras de un determinado alfa eto. Tam i0n un lenguaje es un conjunto de cadenas de sm olos 4pala ras, oraciones, te,tos o frases5. 6n lenguaje est! compuesto por /inta6is7 4gram!tica5, #ue define las secuencias de sm olos #ue forman cadenas v!lidas de un lenguaje. H por /emntica, #ue es el significado de las cadenas #ue componen un lenguaje. Ejemplo =*inta,is- 3 *em!ntica- es un n'mero natural. )iferente sinta,is en diferentes lenguajes3- natural 3- es un n'mero #ue pertenece al conjunto de O2EF=,>,K..2J Ejemplo >*inta,isif aE then write4a, d es igual a e, 5 else write4a, d es distinto a e, 5 *em!ntica*i se cumple la condici$n entonces se muestra un mensaje #ue am os n'meros son iguales. Caso contrario, se escri e los n'mero son distintos. 4ramtica Choms7y la define como- f)escripci$n formalizada de las oraciones de un lenguaje. 6na gram!tica genera o descri$e un lenguaje.g )"1I%ICI+% 1('2,L )" 4',25&IC, 6na gram!tica es una cu!drupla8 E 4(T, (2, *, "5 donde(TE Fconjunto finito de sm olos terminalesJ (2EFconjunto finito de sm olos no terminalesJ * es el smbolo inicial y pertenece a (2 "E Fconjunto de producciones o de reglas de derivaci$nJ Todas las cadenas del lenguaje definidas por la gram!tica est!n formadas con sm olos del vocabulario terminal (T. El voca ulario terminal se define por enumeraci$n de los sm olos terminales. El vocabulario no terminal (2 es el conjunto de sm olos introducidos como elementos au,iliares para la definici$n de la gram!tica, y #ue no figuran en las sentencias del lenguaje. Da intersecci$n entre el voca ulario terminal y no terminal es el conjunto vacoF(2J F(TJ E FbJ Da uni$n entre el voca ulario terminal y no terminal es el vocabulario. F(2J F(TJ E F(J En ocasiones es importante distinguir si un determinado voca ulario incluye o no la cadena vaca, indic!ndose respectivamente con superndice @ o superndice A, tal como se muestra a continuaci$n(@ E ( h FJ (A E ( @ FJ

"ara ver tra ajos similares o reci ir informaci$n semanal so re nuevas pu licaciones, visite www.monografias.com

www.monografias.com

El smbolo inicial * es un sm olo no terminal a partir del cual se aplican las reglas de la gram!tica para o tener las distintas cadenas del lenguaje. Das producciones " son las reglas #ue se aplican desde el sm olo inicial para o tener las cadenas del lenguaje. El conjunto de producciones " se define por medio de la enumeraci$n de las distintas producciones, en forma de reglas o por medio de un metalenguaje. Ej =- *ea la gram!tica- 8E4(T,(2,*,"5 donde (TEFa, J, (2EF*J y el conjunto de producciones es*a * a* Das cadenas de esta gram!tica est!n dadas por- a , aa , aaa , aaia n i. n Ej >. *ea la gram!tica- 8E4Fa, ,c,dJ, F*,3,GJ,*,"5 donde " son las producciones* 3*G 3 aa3 aaGG *d 3 a3 G dcd Das cadenas de esta gram!tica son- ddcd, a ddcd, aa ddcd, addcddcddcdii Ej K- *ea la gram!tica- 8E4(2, (T,*,"5 donde(2EFjn'meroN, jdgitoNJ (TEF<,=,>,K,L,P,Q,],k,?J *E jn'meroN Das reglas de producci$n " sonjn'meroN--EjdgitoNjn'meroN jn'meroN--EjdgitoN jdgitoN--E<O =O >O KO LO PO QO ]O kO ? )"1I%ICI+% 1('2,L )" L"%4*,J" El lenguaje D 485 generado por una gram!tica 8 es el conjunto de todas las sentencias #ue puede generar 8. Es decir e,presado formalmenteD 485 E F (TA%* J 6na sentencia pertenece a D 485 si- son sm olos terminales 4(T5 - Da sentencia puede derivarse del sm olo inicial * aplicando las reglas de producci$n de la gram!tica -'(-I"),) )os gram!ticas son e#uivalentes si am as generan el mismo lenguaje. 8= y 8> son e#uivalentes si D48=5 E D48>5 EJE["Dc =*ea la gram!tica definida por 8=E 4F*J, F<,=J,*,"5 donde "EF4* <<<*===5, 4<*= <=5J . )eterminar el lenguaje #ue genera. *cD6C:l2 Da 'nica forma de generar sentencias es aplicando cual#uier n'mero de veces la primera producci$n y terminado con la aplicaci$n de la segunda, as se o tiene el lenguaje. * <<<*=== <<<<<<*====== i..<4KnB=5<*==4KnB=5 <4Kn5=4Kn5 "or consiguiente el lenguaje #ue genera esta gram!tica es el conjunto infinito de instrucciones #ue se indica a continuaci$n-

"ara ver tra ajos similares o reci ir informaci$n semanal so re nuevas pu licaciones, visite www.monografias.com

www.monografias.com

D48>5EF<4Kn5=4Kn5%nNE=J *i la >m producci$n de la gram!tica del ejemplo = fuese *<= el lenguaje sera*cD6C:l2 D48>5EF<4Kn@=5=4Kn@=5% nNE<J "J"'CICI(/ '"/*"L&(/ =. *ea la gram!tica definida por 8=E 4F*J,Fa, J,*,"5 )onde"EF4* a* 5, 4* a 5J )eterminar el lenguaje #ue genera. *cD6C:l2 D48=5EFan n% nNE=J >. )adas las siguientes pala ras del lenguaje determinar las reglas de producci$n #ue las genera. y,,y, , ,yy, 4,yy5n, 4y,,y5n, *cD6C:l2 8>E 4F*,3J, F,,yJ,*,"5 donde "EF4* ,y3*5,4,y3 y,,y54* ,5,43 y5J. D48>5EFcadenas #ue contienen ,yy y y,,y intercam i!ndose y reproduci0ndose cual#uier n'mero de veces, y terminado siempre con el sm olo ,J C,-.&*L( III J"','8*., )" L,/ 4',25&IC,/ "ara una mejor comprensi$n las gram!ticas han sido clasificadas de acuerdo a particularidades y restricciones propias, una de ellas y la m!s acertada es la formulada por 3vram 2oam Choms7y, #uien clasific$ las gram!ticas de acuerdo a cuatro tipos, dando origen a la Jerar ua de C9oms:y en funci$n de la forma de reglas de derivaci$n o producci$n. Das gram!ticas no restringidas Tipo < *ensi les al conte,to Tipo = :ndependientes del conte,to Tipo > 8ram!ticas regulares Tipo K Da clasificaci$n comienza con un tipo de gram!ticas #ue pretende ser universal, aplicando restricciones a sus reglas de derivaci$n, se van o teniendo los otros tres tipos de gram!ticas. Esta clasificaci$n es jer!r#uica, es decir cada tipo de gram!tica incluye a todos los tipos siguientes. Dos lenguajes #ue resultan de dichas gram!ticas tam i0n se identifican con lenguajes de tipo cero, uno, dos y tres. 3 esta jerar#ua de lenguaje se le conoce como la jerar#ua de choms7y.

&I-( ;

&I-( 1

&I-( 2

&I-( 3

"ara ver tra ajos similares o reci ir informaci$n semanal so re nuevas pu licaciones, visite www.monografias.com

www.monografias.com

4',25&IC,/ &I-( ; Tam i0n llamadas gramticas no restringidas con estructura de frase. *e caracterizan por En la parte iz#uierda tiene #ue ha er al menos un sm olo no terminal. _especto a sus partes derechas de producciones no hay ning'n tipo de restricci$n. Das reglas de derivaci$n son de la forma *iendo 4(2 (T5@ y 4(2 (T5, es decir la 'nica restricci$n es #ue no puede ha er reglas de la forma donde es la cadena vaca. Ejemplos de estas gram!ticas son todos los ejercicios #ue hemos visto hasta ahora. "J"2-L( *ea la gram!tica definida por- 8E 4F*J, F<,=J,*,"5 donde "EF4* <<<*===5, 4<*= <=5J . )eterminar el lenguaje #ue genera. *cD6C:l2 D485EF<4Kn@=5=4Kn@=5% nNE<J 4',25&IC,/ &I-( 1 Tam i0n llamadas gramticas sensibles al contexto. Es decir #ue es importante tomar en cuenta la u icaci$n de los sm olos no terminales en la regla de derivaci$n 4#ue preceden y suceden a cada sm olo Terminal, de en mantener su u icaci$n en el lado derecho de la regla de producci$n tal como aparece en la parte iz#uierda de la regla de producci$n5. En este tipo de gram!tica sus reglas de producci$n son de la forma , *iendo 3 (2 , 4(2 (T5 A y 4(2 (T5A Estas gram!ticas se llaman sensi les al conte,to, pues se puede reemplazar 3 por siempre #ue est0n en el conte,to i.. "J"2-L(/ Da gram!tica 8E4F*,3,GJ, Fa, J, *, "5 cuyas producciones " se muestran a continuaci$n* aG G 3 3 c) c) c33 3 aa3 3 -'(-I"),)"/ )" L,/ 4',25&IC,/ &I-( 1 -ropiedad de no decrecimiento.B Das cadenas #ue se o tienen en cual#uier derivaci$n de una gram!tica de tipo = son de longitud no decreciente, es decir H se puede enunciar como la longitud de la parte derecha de la producci$n es mayor o igual a la parte iz#uierda. Es decir no tiene reglas compresoras. *e puede demostrar de la siguiente manera3 *iendo 4(2(T5@, es decir nunca puede ser la cadena vaca, lo #ue implica #ue = y como O3O como mnimo vale =, #ueda demostrada la propiedad3O jE O -ropiedad de sensi$ilidad al conte6to

"ara ver tra ajos similares o reci ir informaci$n semanal so re nuevas pu licaciones, visite www.monografias.com

www.monografias.com

En los lenguajes generados por estas gram!ticas el significado de las fpala rasg depende de su posici$n en la frase. 3 los sm olos y es a lo #ue se llama conte6to. Es decir, , s$lo puede transformarse en si va precedido de y seguido de . Ejercicio 1. )ado el siguiente lenguaje ela ora las reglas de producci$n L4 5 E F <n=n % n n =J /olucin ! F F", #J, F<, =J, ", P J $eglas de producci%n& " o <"# % <= =# o == Ejercicio 2 'onstru(e una gramtica tipo 1 )ue genere el lenguaje L ! *a+bc,n - n . ! 1/ /olucin *o aG Go cG% c 4',25&IC,/ &I-( 2 Tam i0n se denominan gramticas de contexto libre o libres de contexto. *us reglas de producci$n tan s$lo admiten tener un sm olo no terminal en su parte iz#uierda, es decir son de la forma, *iendo 3 (2 y 4(2 (T5 0 *i cada regla se representa como un par ordenado 43, 5, el conjunto " es un su conjunto del conjunto producto cartesiano (2 , 4F(2 (TJ5 @, es decir"{ , 4F(2J F(T}5@J Da denominaci$n conte,to li re se de e a #ue se puede cam iar 3 por , independientemente del conte,to en #ue aparezca 3. "J"2-L(/ Ejemplo = Da gram!tica 8E4F*,3,GJ, Fa, J, *, "5 cuyas producciones " se muestran a continuaci$n es de tipo >* aG * 3 3a 3 a* 3 33 G G * G aGG Ejemplo > Da gram!tica 8E4Fa, J, F3,*J, *,"5 donde " son las producciones #ue se muestran a continuaci$n es de tipo >. * a* * a3 3 3 3 Ejercicio 1. )ado el siguiente lenguaje L4 5 E F <n=n % n n =J Con las siguientes reglas de producci$n tipo =. Convertir a tipo > $eglas de producci%n&

"ara ver tra ajos similares o reci ir informaci$n semanal so re nuevas pu licaciones, visite www.monografias.com

www.monografias.com

" o <"# % <=, =# o == /olucin * o <*= % <= Ejercicio 2 'onstru(e una gramtica tipo 1 )ue genere el lenguaje& L ! *a+bc,n - n . ! 1/ /olucin *o aG Go cG% c 4',25&IC,/ &I-( 3 Tam i0n denominadas regulares o gramticas regulares a la derec2a comienzan sus reglas de producci$n por un sm olo terminal #ue puede ser seguido o no por un sm olo no terminal, es decir son de la forma, a# ,a )onde 3, G (2 y (T "J"2-L( *ea la gram!tica8E4Fa, J, F3,*J, *, "5 donde " son las producciones formuladas por/ a/ / a, , $, ,$ 3jercicio 1 'onstru(e una gramtica tipo 1 )ue genere el lenguaje& L ! *a+bc,n - n . ! 1/ /olucin7 / a#<a # $C<$c C c# C,-.&*L( I3 "J"'CICI(/ '"/*"L&(/ 1. 'onstru(e una gramtica tipo4 )ue genere las cadenas V5 )ue no contengan la secuencia 6abc7 /olucin7 / a#<$#<c#<d# # $#<d#< # aC<dC< C d)<aC<a)< ) c)<d)<a)< # $$C 1. 'onstru(e una gramtica tipo 4 para el siguiente lenguaje& L+ ,!*anbm - n.!8,m.!9/ /olucin7 / aaaa<, , a,<$<$$<$$$< 9. 'onstru(e una gramtica para el vocabulario V! *a,b,c,d/ donde todas las cadenas generadas contengan una :nica a. /olucin7

"ara ver tra ajos similares o reci ir informaci$n semanal so re nuevas pu licaciones, visite www.monografias.com

www.monografias.com

10

/ a#<#a / $C<cC # $#<c#< C $C<cC<a<C$<Cc L. D E F,cKm% , pqFa, JA y la cantidad de es es par y m pq<J /olucin7 / a,<$$, , a,<$$,<C< cccC C cccC <ccc ;. 'onstru(e una gramtica para el siguiente lenguaje& L+ ,!*bnan01c n01 - n.!1/ /olucin7 / $#a,cc # a < $#a, a,a aa, ,c cc ,a a, <. 'onstru(e una gramtica para el siguiente lenguaje& L+ ,!*anc b m - n.4 ( m.!4/ /olucin7 / a,c# , a, < # $#< =. 'onstru(e una gramtica para el siguiente lenguaje& L+ ,!*44>1 - > *4,1/5 / /olucin7 / ;;=1 = ;=< 1= < ?. 'onstru(e una gramtica para el siguiente lenguaje& L+ ,!*> c9m - > *a,b/5 ( la cantidad de b@s es par ( m.!4/ /olucin7 / ,C , a, <$$,< C cccC< A. 'onstru(e una gramtica para el siguiente lenguaje& L+ ,!*>- > *4,1/5 ( > contiene la subcadena 44 % > contiene 11/ /olucin7 / =;;=< =11= = ;= < 1=< 14. 'onstru(e una gramtica )ue genere cadenas del alfabeto V!+a,b, )ue finalicen con b ( )ue no tengan 1 b@s consecutivas. /olucin7 / $< $a,$<a,$ , a, <a$,<a< 11. 'onstru(e una gramtica )ue genere cadenas del alfabeto *a,b/ )ue finalicen con ba /olucin7

"ara ver tra ajos similares o reci ir informaci$n semanal so re nuevas pu licaciones, visite www.monografias.com

www.monografias.com

11

/ ,$a , a,< $, < 11. 'onstru(e una gramtica )ue genere cadenas del alfabeto V!+a,b, )ue no tengan 1 a@s consecutivas. /olucin7 / a$,<$,# , a$,<$,<a<$< , $a# # $a#<$ 19. 'onstru(e una gramtica )ue genere cadenas del alfabeto V!+a,b, )ue genere el lenguaje& L+ ,!*an b n -donde n sea m:ltiplo de 8/ /olucin7 / aaaa,$$$$ , aaaa,$$$$< 18. 'onstru(e una gramtica )ue genere cadenas del alfabeto V!+a,b, )ue genereun n:mero par de aes /olucin7 / aa,$#< $#,aa<$a,a#<a$#a, , aa,< # $#< 1;. 'onstru(e una gramtica )ue genere cadenas del alfabeto V!+a,b, )ue genere un n:mero par de aes ( un n:mero impar de bes. /olucin7 / aa,$# , ,aa # $$#< C C 1<. 'onstru(e una gramtica )ue genere cadenas del alfabeto V!+a,b, donde a sea siempre par /olucin7 / ,#< #, , aa,< $,< 1=. 'onstru(e una gramtica )ue genere cadenas del alfabeto V!+a,b, )ue genere un n:mero impar de aes. /olucin7 / ,#<#, , aC C aaC< # $# 1?. 'onstru(e una gramtica )ue genere cadenas del alfabeto V!+a,b, en la )ue cada instancia del smbolo a estB precedida ( seguida de al menos una instancia de b. 3jm& bab, babab, bbabbbabbbb. /olucin7 / #a#< ,#a#< # # $#< $ , $a,< $ 1A. "ea el vocabulario V!+a,b, ( la expresi%n aa5bb5. Cndicar el lenguaje )ue denota ( algunas cadenas de dic2o lenguaje. a$ aa$ aaaa$ a$$$$ a$$

"ara ver tra ajos similares o reci ir informaci$n semanal so re nuevas pu licaciones, visite www.monografias.com

www.monografias.com

12

aaa$ /olucin7 L>?cadenas ue comien@an por una a y continAan con Barias o ninguna aC y siguen con una $ y continAan con Barias o ninguna $D 14. 'onstru(e una gramtica tipo 4 ( tipo 1 )ue genere el siguiente lenguaje& L+ ,!*cn01 a n01 c n -n.!1/ /olucin &ipo ; / cc,a#c # a<,a#c a,a ,aa Ca cc a, ,a /olucin &ipo 1 / ccCa,)< cccaac C cC,) ), =, =, =0 =0 ,0 ,0 ,) a, aa )a )E )E )% )% %2 %2 E) E) a) C, ca )) cc C) cc 11. 'onstru(e una gramtica )ue genere el siguiente lenguaje& L+ ,!*anb mc -m.!4, n.!1, m m:ltiplo de 9, n par/ /olucin7 / ,#c< ,c , aa,< aa # $$$#< $$$ 11. 'onstru(e una gramtica )ue genere cadenas de V!+a,b, )ue no contengan 9 aes consecutivas /olucin7 / ,#<#, , a#<aa#<a # $#<$,<$ 19. 'onstru(e una gramtica )ue genere el siguiente lenguaje& L+ ,!*cn a n01 c n01 -n.!1/ /olucin7 / c#a,cc # a<c#a, a,a aa, ,c cc ,a a, 18. Para cada una de los siguientes incisos, proporcione, si es posible, una gramtica tipo 9 )ue defina el mismo lenguaje. "i en alg:n caso no es posible justifi)ue. a5 a A % aA

"ara ver tra ajos similares o reci ir informaci$n semanal so re nuevas pu licaciones, visite www.monografias.com

www.monografias.com

13

/olucin7 * a % % a3% G 3 3% G aG% a 5 4a O 5Ac /olucin7 * c% a*% * c5 Aa % aA /olucin7 * a % % 3% aG 3 3% a G aG% 1;. Dada la siguiente gramtica cu(as reglas de producci%n son de la forma& "EF* 3, * G , 3 C, 3 a * G, G c C, G a, C c C, C 3J. *e pidea5 _azone si es posi le #ue una cadena del lenguaje #ue define esta gram!tica empiece por el sm olo a y termine por el sm olo $. 3rgumente su respuesta. 5 _azone si es posi le #ue una cadena del lenguaje #ue define esta gram!tica empiece por el sm olo $ y termine por el sm olo a. 3rgumente su respuesta. /olucin7 a5 2inguna cadena del lenguaje definido por la gram!tica dada puede comenzar por el sm olo a y terminar por el sm olo $. Todas las reglas de producci$n de la gram!tica, e,cepto * $G$ y G a terminan por 3, G o C. "or lo tanto, comenzando la derivaci$n utilizando * 3, las formas sentenciales #ue se o tienen siempre terminan por 3, G o C, por lo #ue inevita lemente llegamos a cadenas #ue terminan por a. Teniendo en cuenta #ue comenzando la derivaci$n utilizando * $G$ se o tienen cadenas #ue empiezan por $, se concluye #ue no es posi le #ue una cadena del lenguaje dado cumpla con la condici$n antes mencionada. 5 "or otra parte, la cadena $$a$a$a pertenece al lenguaje, luego es posi le #ue una cadena del lenguaje #ue define esta gram!tica empiece por el sm olo $ y termine por el sm olo a. 1<. Dado el siguiente lenguaje, defina la gramtica tipo 1 )ue lo genera. D E Fam n c7 O m N n @ 7 M n, 7 NE<J /olucin7 *e puede desglosar de la siguiente maneraD E Fam a7 an n c7 % m N <M n, 7 NE< J * 3G 3 a3 %a G aGc %C C aC %a 1=. Dado el conjunto de palabras, determine la gramtica ( el lenguaje )ue las genera. bcc, abccc, abbccccc, aabcccc, aabbcccccc, aaaaabccccccc,........ *e pidea5 )efinir un lenguaje mediante reglas de producci$n. 5 )emostrar con ejemplos las posi les derivaciones de *. /olucin7 (E Fa, , cJ, D E Fan m cn@>m O n NE<, m NE =J * a*c O 3 3 3cc O cc 1?. 3scribe la gramtica tipo 1 )ue genere el siguiente lenguaje& D E Fan m c % nNE=, mNE <M n es m'ltiplo de K y m es par J /olucin7 / ,#c< ,c , aaa,<aaa # $$#<$$

"ara ver tra ajos similares o reci ir informaci$n semanal so re nuevas pu licaciones, visite www.monografias.com

www.monografias.com

14

1A. 3scribe la gramtica tipo 1 del alfabeto *a, b/ )ue contengan como subcadena 9 aes consecutivas. /olucin7 / aaa,<,aaa,<aaa<,aaa , a,<a< $< $, 94. Dado el vocabulario V! *a, b/, escribe la gramtica tipo 1 )ue genere el siguiente lenguaje& D E F an m | m jE n jE >m M n, m NE<J /olucin7 * a* O aa* O a 91. 3scribe la gramtica o reglas de producci%n tipo 4 )ue generen el siguiente lenguaje& D E F an m | n jN m M n, m N<J )onde el sm olo jN significa distinto. /olucin7 "odemos desglosar el lenguaje de la siguiente maneraD E F an m | n N m M n, m N<J F an m | n j m M n, m N<J * 3%G 3 a3 % a3 %aa G aG %G %a #i$liografa 3lfonseca, [., J. *ancho, [. 3. crga, Eeora de Lenguajes, ramticas ( #ut%matas, "romosoft, =??]. Cueva D., Juan [anuel, Lenguajes ramticas ( #ut%matas, *egunda Edici$n, ><<=, 6niversidad de cviedo. )az (ctor, Ca&ete Jos0 [iguel, Lenguajes Formales ( aut%matas, 6niversidad de *evilla, ><<Q 9erreiro, Emilia y [argarita 8$mez "alacio 4Comp.5 Guevas perspectivas sobre los procesos de lectura ( escritura. "iglo >>C. Guenos 3ires. +. Contreras, Los fundamentos de la gramtica transformacional, [0,ico, siglo ;;:, =?]=. +opcroft, J.E., _. [otwani, J. ). 6llman, Cntroducci%n a la teora de aut%matas, lenguajes ( computaci%n +1H 3dici%n,, "renticeB+all, ><<<. J. 2ivette- Principios de gramtica generativa. [adrid, 9ragua, =?]K. (idal Dami#uiz, LingIstica 3spaJola. "u licaciones de la 6niversidad de *evilla, =?]K. 3utores J9enny Castillo &apia Dicenciada en :nform!tica Especialista en )ocencia 6niversitaria )ocente en la carrera de :ngeniera :nform!tica 9acultad del 8ran Chaco Hacui aB TarijaB Golivia 3utoresLic. J9enny Castillo &apia jhennyct@yahoo.es Ing. 'onald 0e$er Cru@ )elgado Golivia ><<k 'onald 0e$er Cru@ )elgado :ngeniero en :nform!tica Consultor en :ngeniera :nform!tica )esarrollo de *oftware, *istemas, _edes de Computadoras y *istemas Telem!ticos. TarijaB Golivia

"ara ver tra ajos similares o reci ir informaci$n semanal so re nuevas pu licaciones, visite www.monografias.com