You are on page 1of 14

www.monografias.

com

1

Introducción a la teoría de gramáticas. Lenguajes y autómatas
Jhenny Castillo Tapia jhennyct@yahoo.es 1. 2. 3. 4. !. Introducción Conceptos y definiciones Lenguajes y gramáticas Jerar uía de las gramáticas "jercicios resueltos #i$liografía

6.

I%&'()*CCI+% El universo de los sistemas automatizados, digital, virtual. Cada día 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 tecnología de punta, sistemas automatizados o ras de ingeniería, pero #ue, por la familiaridad o uso frecuente parece algo normal y parte de nosotros incluso nuestros ni&os interact'an cada día 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 tenían uena calidad, empero con los sistemas automatizados surge una nueva premisa “'ápido y muy seguro”. El universo tecnol$gico cada día 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 podríamos caer en am ig1edades #ue ocasionaría 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 podría 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 tendríamos #ue analizar la forma de lectura, antes de realizarla, de lo contrario podríamos 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

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

aaaa. 6na definici$n un tanto t0cnica. Evidentemente R4(5 es un conjunto infinito. te.“Da gram!tica es un ente formal para especificar.)"%. _eservados todos los derechos.)"%. El lenguaje de los ojos.&. y este del gr.)"%.25&IC. L"%4*. Ejm. Da cadena vacía pertenece a R4(5. 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. [icrosoft\ Encarta\ ><<]. 6na cadena es una secuencia finita de sím olos de un determinado alfa eto. 3rte de ha lar y escri ir correctamente una lengua. *e denomina cadena vacía.J" Conjunto de sonidos articulados con #ue el hom re manifiesta lo #ue piensa o siente. se denomina concatenaci$n de 3 y G a una nueva cadena 3G constituida por los sím olos de la cadena 3 seguidos por los de la cadena G. :nstrumento o aparato #ue encierra dentro de sí el mecanismo #ue le imprime determinados movimientos o respuestas. *istema de comunicaci$n ver al. #ue no tiene sím olos y se denota con λ. Da longitud de una cadena consiste en el n'mero de sím olos pertenecientes a la cadena.C. . [!#uina #ue imita la figura y los movimientos de un ser animado. visite www. Ejm. Tomando en cuenta los alfa etos o voca ularios definidos anteriormente. se denomina universo del discurso ( y se representa por R4(5.. [anera de e. 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 sím olos y produce una salida indicando si dicha cadena pertenece o no a un determinado lenguaje. TUVWWVXYZή5.tos o frases5 de un determinado alfa eto.com 3 C.monografias. el de las flores. Conjunto de se&ales #ue dan a entender algo. y este del gr. f. 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 sím olos de un alfa eto. entonces el universo del discurso esR4(5 E Fλ. automăta.J #ue contiene infinitas cadenas. VὐXόWVX`a. _eservados todos los derechos. L"%4*. ^ =??KB><<Q [icrosoft Corporation. a. 4'.C. ….www.Ejm*ea un alfa eto con una sola letra (EFaJ. de una manera finita. t. aa. f. Ciencia #ue estudia los elementos de una lengua y sus com inaciones. "odemos e. _eservados todos los derechos.*&+2. espont!neo5. m. el conjunto de cadenas de sím olos #ue constituyen un lenguaje ”. ^ =??KB><<Q [icrosoft Corporation. (eamos algunos conceptos #ue nos ayuden a formular el concepto de gram!tica4)el lat. por lo #ue su longitud es OλO→< C(%C. 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.J" 3. 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\ ><<].presarlo de manera m!s sencilla como un conjunto de pala ras $ cadenas de sím olos 4pala ras. 4)el latin./ *ean 3 y G dos cadenas cuales#uiera. [icrosoft\ Encarta\ ><<].)"%. Da gram!tica genera o descri e un lenguaje. grammatSca. aaa.( "ara ver tra ajos similares o reci ir informaci$n semanal so re nuevas pu licaciones.CI+% )" C.com .monografias. En :nform!tica Conjunto de signos y reglas #ue permite la comunicaci$n con un ordenador. Estudio de una lengua regido por el principio de #ue todos sus elementos mantienen entre sí relaciones sistem!ticas.presarse. ^ =??KB><<Q [icrosoft Corporation. oraciones.&"%. de -tus.

tos o frases5.com . 4ramática Choms7y la define como. visite www.iste un lenguaje denominado lenguaje vacío. #ue es un conjunto vacío y #ue se denota por FbJ. tal como se muestra a continuaci$n(@ E ( h FλJ (A E ( @ FλJ "ara ver tra ajos similares o reci ir informaci$n semanal so re nuevas pu licaciones.iliares para la definici$n de la gram!tica.K.%)'(2(/ Cadenas #ue se leen igual hacia delante.J" *e denomina lenguaje a un conjunto de pala ras de un determinado alfa eto.natural 3. #ue define las secuencias de sím olos #ue forman cadenas v!lidas de un lenguaje. #ue hacia atr!s. 5 else write4a. d es distinto a e. d es igual a e. 6na gram!tica es una cu!drupla8 E 4(T. Tam i0n un lenguaje es un conjunto de cadenas de sím olos 4pala ras.L )" 4'. y #ue no figuran en las sentencias del lenguaje.f)escripci$n formalizada de las oraciones de un lenguaje.J"/ 0 4'. Da intersecci$n entre el voca ulario terminal y no terminal es el conjunto vacíoF(2J ∩ F(TJ E FbJ Da uni$n entre el voca ulario terminal y no terminal es el vocabulario. *. te.25&IC.-. El voca ulario terminal se define por enumeraci$n de los sím olos terminales. 6n lenguaje est! compuesto por /inta6is7 4gram!tica5. c_6_c C. "or ejemplo. es decir FλJ. oraciones.is. El vocabulario no terminal (2 es el conjunto de sím olos introducidos como elementos au. (2.monografias.>. )iferente sinta. indic!ndose respectivamente con superíndice @ o superíndice A.monografias.com 4 E.25&IC. y #ue 0sta sea la cadena vacía.isif aE then write4a.2J Ejemplo >*inta. se escri e los n'mero son distintos. 6na gram!tica genera o descri$e un lenguaje. Caso contrario. #ue es el significado de las cadenas #ue componen un lenguaje. ya #ue el n'mero de elementos 4cardinalidad5 de estos dos conjuntos es diferente. H por /emántica./ L"%4*.&*L( II L"%4*.es un n'mero #ue pertenece al conjunto de O2EF=. Cardinal 4F b J5 E < Cardinal 4F λ J5 E = -. 5 *em!ntica*i se cumple la condici$n entonces se muestra un mensaje #ue am os n'meros son iguales. "5 donde(TE Fconjunto finito de sím olos terminalesJ (2EFconjunto finito de sím olos no terminalesJ * es el símbolo 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 sím olos del vocabulario terminal (T.is en diferentes lenguajes3. Ejemplo =*inta. El lenguaje vacío no de e confundirse con un lenguaje #ue contenga una sola cadena.g )"1I%ICI+% 1('2.es un n'mero natural. F(2J ∪ F(TJ E F(J En ocasiones es importante distinguir si un determinado voca ulario incluye o no la cadena vacía.L..3 *em!ntica.www.

=J.com 5 El símbolo inicial * es un sím olo no terminal a partir del cual se aplican las reglas de la gram!tica para o tener las distintas cadenas del lenguaje. (T."5 donde(2EFjn'meroN.monografias. aaa . * →<<<*=== →<<<<<<*====== → i.monografias.8E4(2.3. Ej =.) )os gram!ticas son e#uivalentes si am as generan el mismo lenguaje. El conjunto de producciones " se define por medio de la enumeraci$n de las distintas producciones.→<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."5 donde " son las producciones* → 3*G 3→ aa3 → aaGG *→d 3 → a3 G → dcd Das cadenas de esta gram!tica son. en forma de reglas o por medio de un metalenguaje.>. aa .GJ. jdígitoNJ (TEF<."5 donde (TEFa.L. aaia n i..Da sentencia puede derivarse del sím olo inicial * aplicando las reglas de producci$n de la gram!tica -'(-I").*.8E4Fa. F<.a .*. Das producciones " son las reglas #ue se aplican desde el sím olo inicial para o tener las cadenas del lenguaje.www.Q. F*. así se o tiene el lenguaje. J.ddcd.P.k. )eterminar el lenguaje #ue genera.*.K. *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. (2EF*J y el conjunto de producciones es*→a * → a* Das cadenas de esta gram!tica est!n dadas por.com . *ea la gram!tica. addcddcddcdii Ej K. 4<*= →<=5J . n Ej >.L )" L"%4*.presado formalmenteD 485 E Fη ∈(TA%* → ηJ 6na sentencia pertenece a D 485 si.*ea la gram!tica."5 donde "EF4*→ <<<*===5.=.c.dJ. 8= y 8> son e#uivalentes si D48=5 E D48>5 EJE["Dc =*ea la gram!tica definida por 8=E 4F*J.*ea la gram!tica.η son sím olos terminales 4(T5 . Es decir e.J" El lenguaje D 485 generado por una gram!tica 8 es el conjunto de todas las sentencias #ue puede generar 8.?J *E jn'meroN Das reglas de producci$n " sonjn'meroN--EjdígitoNjn'meroN jn'meroN--EjdígitoN jdígitoN--E<O =O >O KO LO PO QO ]O kO ? )"1I%ICI+% 1('2. aa ddcd.].*. .8E4(T.(2. a ddcd.

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

=J./ &I-( . *e puede demostrar de la siguiente maneraα3 β → βγα *iendo ∈γ 4(2∪(T5@.to. 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.25&IC./ 4'.  _especto a sus partes derechas de producciones no hay ning'n tipo de restricci$n.  Ejemplos de estas gram!ticas son todos los ejercicios #ue hemos visto hasta ahora.25&IC.*."5 donde "EF4*→ <<<*===5.25&IC.3.GJ. En este tipo de gram!tica sus reglas de producci$n son de la formaα . pues se puede reemplazar 3 por γ siempre #ue est0n en el conte. "J"2-L(  *ea la gram!tica definida por. Tam i0n llamadas gramáticas no restringidas con estructura de frase. *. 4<*= →<=5J . "J"2-L(/  Da gram!tica 8E4F*. )eterminar el lenguaje #ue genera.www. #ueda demostrada la propiedadα3βO jE Oαγβ  -ropiedad de sensi$ilidad al conte6to "ara ver tra ajos similares o reci ir informaci$n semanal so re nuevas pu licaciones.β → βγα *iendo 3 ∈ (2 α. Es decir #ue es importante tomar en cuenta la u icaci$n de los sím olos no terminales en la regla de derivaci$n 4#ue preceden y suceden a cada sím olo Terminal. Fa.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 no tiene reglas compresoras.com 7 4'.monografias./ &I-( 1 Tam i0n llamadas gramáticas sensibles al contexto.com . F<.  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 vacía. *e caracterizan por En la parte iz#uierda tiene #ue ha er al menos un sím olo no terminal.to αi. lo #ue implica #ue γ≥= y como O3O como mínimo vale =. *cD6C:l2 D485EF<4Kn@=5=4Kn@=5% nNE<J 4'.)"/ )" L. "5 cuyas producciones " se muestran a continuaci$n* → aG G→ 3 3→ c) c) →c33 3 →aa3 3→ -'(-I").8E 4F*J./ &I-( 1  -ropiedad de no decrecimiento. visite www. es decir γ nunca puede ser la cadena vacía. J. 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.β. β ∈ 4(2 ∪ (T5 A y γ ∈ 4(2 ∪ (T5A Estas gram!ticas se llaman sensi les al conte.monografias.

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

"5 donde " son las producciones formuladas por/ → a/ / → a.*J.n .b.n . 'onstru(e una gramática tipo4 )ue genere las cadenas V5 )ue no contengan la secuencia 6abc7 /olución7 / → a#<$#<c#<d# # → $#<d#<λ #→ aC<dC<λ C→ d)<aC<a)<λ )→ c)<d)<a)<λ #→ $$C 1.c.!9/ /olución7 / → aaaa<. ! 1/ /olución7 / → a#<a # → $C<$c C→ c# C.-. F3.n . → a.n . G ∈ (2 y α ∈ (T "J"2-L( *ea la gram!tica8E4Fa.<$<$$<$$$<λ 9.monografias.com ./ &I-( 3  Tam i0n denominadas regulares o gramáticas regulares a la derec2a comienzan sus reglas de producci$n por un sím olo terminal #ue puede ser seguido o no por un sím olo no terminal.!*anbm . visite www.25&IC.→$ 3jercicio 1 'onstru(e una gramática tipo 1 )ue genere el lenguaje& L ! *a+bc. ! 1/ /olución *o aG Go cG% c 4'.n.www. 'onstru(e una gramática para el vocabulario V! *a. .d/ donde todas las cadenas generadas contengan una :nica a.m. =# o == /olución * o <*= % <= Ejercicio 2  'onstru(e una gramática tipo 1 )ue genere el lenguaje& L ! *a+bc. *.→a )onde 3. → $. .com 9 " o <"# % <=. 'onstru(e una gramática tipo 4 para el siguiente lenguaje& L+ .!8.monografias. es decir son de la forma. → a# .&*L( I3 "J"'CICI(/ '"/*"L&(/ 1. J. . /olución7 "ara ver tra ajos similares o reci ir informaci$n semanal so re nuevas pu licaciones.

<. <λ # → $#<λ =. 'onstru(e una gramática )ue genere cadenas del alfabeto V!+a.. pqFa.<$$. → a. 'onstru(e una gramática para el siguiente lenguaje& L+ .1/5 / /olución7 / → . → a. <a$.!*> c9m ..$ .!*anc b m .monografias.4 ( m.=< 1= <λ ?.c → cc .!*bnan01c n01 . → a.www.$<a.n. visite www. 'onstru(e una gramática para el siguiente lenguaje& L+ .a → aa.. a.!1/ /olución7 / → $#a.b. JA y la cantidad de es es par y m pq<J /olución7 / → a.= < 1=< λ 14.c# . .<C< cccC C→ cccC <ccc .!4/ /olución7 / → .n.> ∈ *a.C . 'onstru(e una gramática para el siguiente lenguaje& L+ .<a< λ 11.< λ C → cccC<λ A.monografias.cKm% .=1 = → .b/ )ue finalicen con ba /olución7 "ara ver tra ajos similares o reci ir informaci$n semanal so re nuevas pu licaciones.com .!*>. <$$. 'onstru(e una gramática para el siguiente lenguaje& L+ . 'onstru(e una gramática )ue genere cadenas del alfabeto *a. 'onstru(e una gramática para el siguiente lenguaje& L+ .=< =11= = → .1/5 ( > contiene la subcadena 44 % > contiene 11/ /olución7 / → =.!*44>1 .cc # → a < $#a.> ∈ *4.a → a.<$$. )ue finalicen con b ( )ue no tengan 1 b@s consecutivas.com 10 / → a#<#a / → $C<cC #→ $#<c#<λ C→ $C<cC<a<C$<Cc L. → a. .!4/ /olución7 / → a. /olución7 / → $< $a. D E F.b/5 ( la cantidad de b@s es par ( m.> ∈ *4.

$$$$ . . 'onstru(e una gramática )ue genere cadenas del alfabeto V!+a. babab. → aa.< λ # → $#< λ 1.b.$# .#a#< # # → $#< $ .$#< $#. → a. <λ 11.#<#. /olución7 / → .b. )ue genere un n:mero par de aes ( un n:mero impar de bes.$$$$<λ 18.aa # → $$#< C C →λ 1<. → . → aa. 3jm& bab. )ue genere un n:mero impar de aes.aa<$a.# . visite www. . ( la expresi%n aa5bb5. 'onstru(e una gramática )ue genere cadenas del alfabeto V!+a.<λ 1=. /olución7 / → a$.b. → aC C → aaC< λ # → $# 1?. .monografias. 'onstru(e una gramática )ue genere cadenas del alfabeto V!+a.<a<$<λ .monografias.b. Cndicar el lenguaje )ue denota ( algunas cadenas de dic2o lenguaje.www. "ea el vocabulario V!+a. 'onstru(e una gramática )ue genere cadenas del alfabeto V!+a. en la )ue cada instancia del símbolo a estB precedida ( seguida de al menos una instancia de b.<$.<$. /olución7 / → #a#< . 'onstru(e una gramática )ue genere cadenas del alfabeto V!+a.#< #.!*an b n -donde n sea m:ltiplo de 8/ /olución7 / → aaaa. )ue genereun n:mero par de aes /olución7 / → aa. 'onstru(e una gramática )ue genere cadenas del alfabeto V!+a.$a . bbabbbabbbb.< $ 1A. → aaaa.b.. /olución7 / → aa.com . a$ aa$ aaaa$ a$$$$ a$$ "ara ver tra ajos similares o reci ir informaci$n semanal so re nuevas pu licaciones.< $.b. )ue genere el lenguaje& L+ .a#<a$#a. → $a# # → $a#<$ 19. donde a sea siempre par /olución7 / → . 'onstru(e una gramática )ue genere cadenas del alfabeto V!+a. )ue no tengan 1 a@s consecutivas. → a$.b. → $a.b.< $.com 11 / → .

< aa # → $$$#< $$$ 11.monografias.c → cc . 'onstru(e una gramática )ue genere el siguiente lenguaje& L+ .a → a.) ). → ca )) → cc C) → cc 11.com .!1/ /olución &ipo . )ue no contengan 9 aes consecutivas /olución7 / → . proporcione. n.c . m m:ltiplo de 9. una gramática tipo 9 )ue defina el mismo lenguaje.a → .0 . .a /olución &ipo 1 / → ccCa.cc # → a<c#a. → aa )a → )E )E → )% )% → %2 %2 → E) E) → a) C. a5 a A % aA "ara ver tra ajos similares o reci ir informaci$n semanal so re nuevas pu licaciones.com 12 aaa$ /olución7 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.!*anb mc -m.0 → . → a#<aa#<a # → $#<$. → aa. 18. visite www.) a.a#c a. a.monografias. Para cada una de los siguientes incisos. 'onstru(e una gramática )ue genere el siguiente lenguaje& L+ . . si es posible.!*cn01 a n01 c n -n.!1. 'onstru(e una gramática )ue genere cadenas de V!+a.)< cccaac C → cC.#c< . → =. → . → =0 =0 → . "i en alg:n caso no es posible justifi)ue.!4.b.aa Ca → cc a.a#c # → a<.!*cn a n01 c n01 -n.!1/ /olución7 / → c#a.#<#. n par/ /olución7 / → . =.a → aa. 'onstru(e una gramática tipo 4 ( tipo 1 )ue genere el siguiente lenguaje& L+ .www.<$ 19. / → cc.

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

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