15 « ofepURg « asc op ayeaues « VIVH 3OTLNaNd 1oyy + BUTT » Se: sugponperL, koja snydrpysnansn provancuns 9 3p sopuaty KsooupatON 9p aNouDUEd=G _ Aayey wea sajeuioy sofenBue| ( seyewoyne op eL0eL upoyy wo VONVIIVIVS 4 VIDIAUNOd CVCISUEAINA ouosafos ap ouosua3uy 9 sooupusosu sous ‘saloniu27 2p onuauoundag ‘AV IINDY SANVAOT S10 VIONVISIC ¥ NOIDVINAT TO TWNOIDWN aVaISwaAIND oqypuomy & voupuuofur op omuewensodeg OWOONAA OGIANOA NYLISWEIS ‘SU TVRIOLIGA STAIOLINSNODDEAN KELLEY ‘Teoria de autématas y lenguajes formales [No esté permitida la reproducciéa total o parcial de este obra ni su tratamiento o transmisiGn por evalquier medio o méiodo, sin autorizaci6n escrita de la Flitoril DERECHOS RESERVADOS © 1995 respecto ala primera edicién en espaftol por PEARSON EDUCACION, 8.A. C/ Nanez de Balboa, 120 28006 Madrid ISBN 0-13-518705-2 Depésito Legal: M-21607-2001 Ultima reimpresion, 2001 ‘Traducido de: AUTOMATA AND FORMAL LANGUAGES: AN INTRODUCTION PRENTICE HALL, © 1995 ISBN: 0-13-49777-7 Faltor de fa edicion en espario: Juan Stumpf Disefio de cubierta: DIGRAF Composicicn: AULA DOCUMENTAL DE INVESTIGACION Impreso por ENCO Artes Gréficas, SL. IMPRESO EN ESPANA - PRINTED IN SPAIN Este libro est impreso con papel y tintas ecolégicosAmis Padres «yal tio FuddContenido Prélogo 0. Preliminares mateméticos 0.1 Logica elemental. 0.2. Definiciones bésicas..... 0.3. Operaciones con conjunto: 0.4 Relaciones y funciones 0.5. Induccisn.... 0.6 Cardinalidad... 1. Alfabetos y lenguajes 1.1 Alfabetos, palabras y lenguajes 1.2 Operaciones con cadena 13 Operaciones con lenguaies .. Problemas : 2. Lenguajes regulares 2.1 Lenguajes sobre alfabetos. 2.2 Lenguajes regulares y expresiones regulares... 2.3. AutGmata finito determinista.. xI eae 12 19 2 29 29 32. 4 45 48 33vu ‘TEORIA DE AUTOMATAS Y LENGUAJES FORMALES 2.4 AFD y lenguajes 2.5 Aut6mata finito no determinista 2.6 Equivalencia de AFN y AFD. 2.7 e-transiciones .. 28 Autématas finitos y expresiones regulares 2.9 Propiedades de los lenguajes regulares .. 2.10 Aplicaciones de las expresiones regulares y los autématas finitos : Problemas .. Lenguajes independientes del contexto. 3.1 Graméticas regulares 3.2. Gramticas regulares y lenguajes regulare 3.3. Gramiéticas independientes del contexto. 3.4 Arboles de derivacién o de andlisis y ambigiiedad .. 3.5 Simplificacién de graméticas independientes del contexto .. 3.6 Propiedades de los lenguajes independientes del contexto 3.7 Autémata de pila... 3.8 Aut6matas de pila y lenguajes independientes del contexto 3.9. Forma normal de Greibach. Problemas .. Maquinas de Turing 4.1 Definiciones basicas 4.2. Maquinas de Turing como aceptadoras de lenguajes 4.3. Construccién de maquinas de Turing... 4.4 Modificaciones de las méquinas de Turing, 4.5. Maquinas de Turing universales. Problemas .. Maquinas de Turing y lenguajes... 5.1 Lenguajes aceptados por méquinas de Turing, : 5.2 Lenguiajes regulares, independiientes del contexto, recursivos y recursivamente enumerables.... 5.3. Lenguajes recursivos y recursivamente enumerables 5.4 Gramédticas no restringidas y lenguajes recursivamente cenumerables 5.5 Lenguajes sensibles al contexto y la jerarquta de Chomsky Problemas 59 61 66 70 5 84 90 93 105 105 110 La 17 122 136 14d 151 162 168 im 171 178 184 194 205 207 209 . 209 210 215 . 221 228 2356. Resolubilidad 6.1 El problema de parada vernun 62 Elproblema de correspondencia de Post. 6.3. Imesolubilidad y lenguajes ee del contexto (BEODIEIRS rse ca rl een 7. Introducci6én a la complejidad computacional, 7.1 Complejidad espacial. eee 7.2 Complejidad temporal 7.3 Introduccién a la teoria de la ‘complejidad Problemas Referencias y bibliograff indice analitico CONTENIDO. 241 245 « 241 258 263 265 265 272 281 288 291 293Prdlogo Este libro es el resultado de las anotaciones tomadas en el curso de introduceién ala teoria de la computacién, impartido en Ta universidad Gustavus Adolfus. Di- cho curso abarca los temas de lenguajes formales y autématas, maquinas de Tu- ring y computabilidad a través de la resolubilidad. El curso va dirigido a estu- diantes de segundo afio de Ciencias de la Computaci6n y hasta ahora este curso tenia como principal prerrequisito el haber seguido con anterioridad un curso so- bre lectura y tratamiento de las demostraciones mateméticas, El libro esta dirigido a estudiantes con los conocimientos matemiticos mini- mos. E] Capitulo 0 trata de“los preliminares matemiticos necesarios para poder abordar la lectura del libro én su totalidad, El nivel de conocimientos mateméticos en los capitulos siguientes es ini- cialmente bajo, pero se eleva a medida que 1os temas lo requieren y la capacidad del estudiante se incrementa, Trataré de evitar las demostraciones mateméticas rigurosas en la medida de lo posible, en especial en los primeros capitulos. Por tanto, se evitard dar muchos detalles de las demostraciones que sean tediosas. Por otro lado, trataré de presentar teoremas y definiciones de la forma mais preci- sa posible, La mayorfa de mis razonamientos tienen la intencién de motivar mas que la de ser mateméticamente completos o elegantes. Creo, ademés, que los ejercicios contribuyen, en gran medida, al buen aprendizaje del proceso. Al final de cada seccién, los ejercicios planteados pre- tenden ilustrar, revisar y ampliar los conceptos vistos en las mismas. Hay ejerci-Xi TEORIA DE AUTOMATAS Y LENGUAIES FORMALES. cios desde bastante féciles a muy dificiles. La mayorfa de los ejercicios més fé- ciles pretenden reforzar las ideas vistas en la secci6n, mientras que los mas difi- ciles ilustran y amplfan dichas ideas. Los Capitulos del 1 al 7 terminan con unas colecciones de problemas. Di- chos problemas pretenden animar al lector a investigar sobre los temas tratados, Generalmente (aunque no siempre), el material tratado en las colecciones de problemas representan lo que yo considero necesario para estar interesado en re- alizar incursiones a través de la linea de desarrollo principal del texto. El texto consta de acho capftulos. A continuacién se realiza una breve des- cripeién de cada uno de ellos. El Capftulo 0 cubre los preliminares matemiticos y Iégicos. Consiste en una répida revisi6n de la I6gica y Ta teorfa de conjuntos, siendo un capftulo bastante completo, Ademés, en este capitulo se repasan todos los conocimientos matemé- ticos necesarios para entender el resto del texto. En el Capftulo 1 se presentan las definiciones bésicas y la notacin usada para alfabetos, cadenas y lenguajes. Se definen y estudian las operaciones ele- mentales sobre cadenas y lenguajes. El Capitulo 2 trata de los lenguajes y las expresiones regulares. Se definen Jos autmatas finitos y se establece la relacidn de los mismos con los lenguajes regulates. Se introduce el no determinismo. Ademis, se estudian las propiedades fundamentales de los lenguajes regulares (lema del bombeo, algoritmos de deci siGn, ete.) El Capitulo 3 introduce los conceptos sobre graméticas desarrollando, ade- més, las propiedades de las gramaticas independientes del contexto y los aut ‘matas de pila. Se presentan varias simplificaciones y formas normales de gram- ticas El Capitulo 4 es el primero de los cuatro capitulos cuyo tema central son las méquinas de Turing. Este capitulo contiene definiciones basicas, las distintas versiones de méquinas de Turing ¢ introduce la idea de funciones Turing- putables y lenguajes reconocidos por las maquinas de Turing, El Capftulo 5 estudia las relaciones entre las méquinas de Turing y los len- guajes formales. Ademés, establece la jerarquia de Chomsky. En el Capitulo 6 se habla de 1a resolubilidad, Comienza con el problema de parada de las méquinas de Turing, después trata el problema de la irresolubili- dad del problema de la correspondencia de Post y presenta algunos problemas inresolubles para los lenguajes y graméticas independientes del contexto. El ca~ pitulo termina con el estudio de las funciones computables totales. El Capitulo 7 es una introduccién a la complejidad computacional del reco- nocimiento del lenguaje. Se estudia en funcién de los recursos de espacio y tiempo (de la méquinas de Turing).CE ProLoco xi Aunque la mayorfa del material presentado se corresponde con el contenido usual de un curso de introduccién a la teoria, la novedad de este texto quizas ra- dique en el nivel con el cual se enfoca. He tratado de transmiti todos estos con- ceptos a estudiantes que no sean ayezados mateméticos, de forma que puedan comprenderlos al mismo tiempo que desarrollan su capacidad matemidtica. Entiendo que éste es el material suficiente para cubrir un curso de un semes- a tre de cuatro dias a la semana. Generalmente trato los Capitulos del 1 al 5 en su {otalidad, con Ia rapidez con que los estudiantes son capaces de asimilarlos. Este material es el corazén de cualquier curso de teoria de lenguajes formales yno = ‘me importa tomarme el tiempo necesario para que los estudiantes puedan dige- rirlo, Dependiendo de la audiencia, imparto algunas clases del Capitulo 0 0 sim- plemente asigno trabajos a cerca del mismo. La mayorfa del material presente en el Capitulo 0, proviene de un curso corto (2 eréditos) de demostraciones mate- miticas que una vez se imparti6 en la universidad. Siempre trato de desarrollar el Capitulo 6 en su totalidad, aunque depende del tiempo que quede del seme tre, Al principio me sorprendié que, cuando el tiempo apremia, la resolubilidad puede ser presentada bastante bien por medio de conferencias cortas. 7 Me gustaria agradecer a mi amigo Ding-Zhu Du de la Universidad de Min- nesota, Minneapolis, por sugerirme ¢l Problema 1.7, el cual trata de la desigual- dad de McMillan. El desarrollo anterior al Lema 2.8.3, usado en el lema de Ar- ~ den, fue sugerido por una de las primeras personas que revisaron este libro. Me gustarfa agradecerle, a é1 0 a ella, por lamar mi atencién sobre el mismo (debido a Brzozowski). Me gustaria también expresar mi aprecio a mis amigos T. J. Mo- rrison y D. J. Malmanger por su estimulo y apoyo moral a Io largo de este pro- yeclo aparentemente infinito, Finalmente, me gustarfa dar las gracias a las guientes personas por sus comentarios cuando revisaron el manuscrito: Moon Jung Chung (Michigan State University), Ronald K. Friesen (Texas A&M Uni- versity), Micha Hofti (University of Houston), Robert Kline (West Chester Uni- - versity) y S. A. Kovatch (General Electric). Dean Kelley =Teoria de aut6matas y lenguajes formales