• •

Cl) ...... co
:;j C)

U)

Cl)

DEAN KELLEY Teoria de autnmatas y lenguajes formales

No esta permitida la reproducci6n total 0 parcial de esta obra ni su tratarniento 0 transmision por cualquier medio 0 metodo, sin autorizacion escrita de la Editorial. DERECHOS RESERVADOS © 1995 respecto a la primera edicion en espafiol por PEARSON EDUCACI6N, S. A CI Nunez de Balboa, 120 28006 Madrid

ISBN 0-13-518705-2 Deposito Legal: M-21607-200J Ultima reimpresi6n, 200 I

Traducido de: AUTOMATA AND FORMAL LANGUAGES: PRENTICE HALL © 1995 ISBN: 0-13-497777-7

AN INTRODUCTION

Editor de la edici6n en espafiol: Juan Stumpf Disefio de cubierta: DIGRAF Composici6n: AULA DOCUMENTAL DE INVESTIGACr6N Impreso por ENCO Artes Graficas, S.L. IMPRESO EN ESPANA - PRINTED IN SPAIN Este libro esta impreso con papel y tintas ecologicos

A mis Padres
... y al tio Fudd

'"

.~

~,

Contenido

Pr61ogo

XI

O. Preliminares matematlcos . ,............................... 1 o. I L6gica elemental................................................................................ 1 0.2 Definiciones basicas " "....................................... 6 0.3 Operaciones con conjuntos 8 0.4 Relaciones y funciones 12 0.5 Inducci6n.......................................................................................... 19 0,6 Cardinalidad.................................................................................... 22 1. Alfabetos ylenguajes "........................................................... 29 1.1 Alfabetos, palabras y lenguajes "........................................... 29 1.2 Operaciones con cadenas :...... 32 1.3 Operaciones con lenguajes " " "..... 34 Problemas ".: ".......................... 41 lenguajes regulares.. 2.1 Lenguajes sobre alfabetos "........................... 2.2 Lenguajes regularesy expresiones regulares ..: _........................ 2.3 Automata fini to determinista " _.................
./

2.

45
45 48 53

-.,

VIII

TEORIA DE AUT6MATAS

Y LENGUAJES FORMALES

2.4 2.5 2.6 2.7 2.8 2.9 2.10

AFD y lenguajes Automata finite no detenninista..................................................... Equivalencia de AFN y AFD........................................................... s-transiciones Automates fini tos y expresiones regulates Propiedades de 'los lenguajes regulares Aplicaciones de las expresiones regulares y los automatas finitos Problemas ,........................................................................ Lenguajesindependientes del contexto 3. I Gramaticas regulares 3.2 Gramaticas regulares y lenguajes regulares 3.3 Gramaticas independientes del contexte 3.4 Arboles de derivacion 0 de analisis y ambiguedad 3.5 Simplificacion de gramaticas independientes del contexto 3.6 Propiedades de los lenguaj es independien tes del con tex to 3.7 Automata de pila "............. 3.8 Autornatas de pila y lenguajes independientes del contexto.......... 3.9 Forma normal de Greibach... Problemas "....................................................................................

59 61 66 70 75 84 90 93

3.

105 105 110 114 117 122 136 144 151 162 168

4.

Maquinas de Turing _. 171 4.1 Definiciones basicas _............................... 171 4.2 Maquinas de Turing como aceptadoras de lenguajes.. 178 4.3 Construcci6n de maquinas de Turing................. 184 4.4 Modificaciones de las maquinas de Turing 194 4.5 Maquinas de Turing universales _............................... 205 Problemas ~. _.:.,._................. 207 _.

5.

Maquinas de Turing y Ieriquajes _ ~ 5.1 Lenguaj es aceptados por uinas de Turing _. "... 5.2 Lenguajes regulares, independientes del contexte, ~ecursivos y recursivamente enumerables _.................. 5.3 Lenguajes recursivos y recursivamente enumerables 5.4 Gramaticas no restringidas y lenguajes recursivarnente enumerables :................................................................................... 5.5 Lenguajes sensibles al contexto y la jerarquia de Chomsky...... Problemas

mag

209 209 210 215 221 228 235

r
I I

CONTENIDO

IX

6.

Resolubilidad 6.1 El problema de parada.................................................................... 6.2 El problema de correspondencia de Post... 6.3 Irresolubilidad y lenguajes independientes del contexto Problemas Introducci6n a la complejidad computacional 7.1 Complejidad espacial....................................................................... 7.2 Complejidad temporal 7.3 Introducci6n ala teona de Ia cornplejidad Problemas

241 241 245 258 263 265 265 272 281 288 291 293

7.

Referencias y bibliograffa Indice analftico

Proloqo

Este libra es el resultado de las anotaciones tomadas en el curse de introducci6n ala teoria de la computaci6n, impartido en la universidad Gustavus Adolfus. Dicho curso abarca los temas de Jenguajes formales y aut6matas, maquinas de Turing y computabilidad a traves de la resolubilidad. El curso va dirigido a estudiantes de segundo ana de Ciencias de la Computacion y hasta ahara este curso tenia como principal prerrequisito el haber seguido con anterioridad un curso sobre lectura y tratarniento de las demostraciones maternaticas. Ellibro esta dirigido a estudiantes con los conocimientos maternaticos minimos. El Capitulo 0 trata delos preliminares matematicos necesarios para poder abordar la Iectura dellibro su totalidad.

en

EI nivel de conocimientos maternaticos en los capftulos siguientes es inicialrnente bajo, pero se eleva a medida que los temas 10 requieren y la capacidad del estudiante se incrementa. Tratare de evitar las demostraciones matematicas rigurosas en la meclida de 10 posible, en especial en los primeros capitulos. Por tanto, se evitara dar muchos detalles de las demostraciones que sean tediosas. Por otro Iado, tratare de presenrar teoremas y definiciones de 1a forma mas precisa posible. La mayoria de mis razonamientos tienen Ia intenci6n de motivar mas que la de ser maternaticamente completos 0 elegantes. Creo, adernas, que los ejercicios contribuyen, en gran medida, a1 buen aprendizaje del proceso. Al final de cada sec cion, los ejercicios planteados pretenden ilustrar, revisar y arnpliar ·105 conceptos vistas en las mismas, Hay ejerci-

.. ~

----------------~~

XII

TEORIA DE AUTOMATAS Y LENGUAJES FORMALES

cios desde bastante faciles a muy diffciles, La mayo ria de los ejercicios mas faciles pretenden reforzar las ideas vistas en la seccion, mientras que los mas dificiles ilustran y amplian dichas ideas. Los Capitulos dell al 7 tenninan con unas colecciones de problemas. Dichos problemas pretenden animar allector a investigar sobre los temas tratados. Generalmente (aunque no siempre), el material tratado en las colecciones de problemas representan 10 que yo considero necesario para estar interesado en realizar incursiones a traves de la linea de desarrollo principal del texto, EI texto consta de echo capftulos. A continuaci6n se realiza una breve descripcion de cadauno de elIos. El Capitulo 0 cubre los preliminares maternaticos y Iogicos. Consiste en una rapid a revision de 1a 16gica y la teorfa de conjuntos, siendo un capitulo bastante completo. Ademas, en este capitulo se repasan todos los conoeimientos maternaticos necesarios para entender el resto del texto. En el Capitulo 1 se presentan las definiciones basicas y la notacion usada para alfabetos, cadenas y Ienguajes. Se definen y estudian las operaciones elementales sabre cadenas y lenguajes. El Capitulo 2 trata de los lenguajes y las expresiones regulates. Se definen los autornatas finitos y se establece 1a relacion de los mismos con los lenguajes regulares. Se introduce el no determinismo. Ademas, se estudian las propiedades fundamentales de los lenguajes regulares (lema del bombeo, algoritmos de decision, etc.). El Capitulo 3 introduce los conceptos sobre grarnaticas desarrollando, ademas, las propiedades de las gramaticas independientes del contexte y los automatas de pila, Se presentan varias simplificaciones y formas norrnales de grarnaticas. El Capitulo 4 es el primero de los cuatro capftulos cuyo tema central son las maquinas de Turing. Este capitulo contiene definiciones basicas, las distintas versiones de maquinas de Turing e introduce la idea de Iuncrones Turing-computables y lenguajes reconocidos por las maquinas de Turing . El Capitulo 5 estudia Ias.relacicnes entre las rnaquinas de Turing y los lenguajes formales, Adernas, establece la jerarquia de Chomsky. En el Capitulo 6 se habla de Ia resolubilidad. Comienza conel problema de parada de las maquinas de Turing, despues trata el problema de la irresolubilidad del problema de Ia correspondencia de Post y presenta algunos problemas irresolubles para los Jenguajes y gramaticas independientes del contexto ..EJ capftulo term,ina con el estudio de las funciones computables totales. EI Capitulo 7 es una introducci6n a la complejidad computacional del reconocimiento del lenguaje. Se estudia en funcion de los reeursos de espacio y tiempo (de ia maquinas de Turing):

• r---.,

.".---...,

PROLOGO

XlIJ

Aunque la mayorfa del material presentado se corresponde con el contenido usual de un curso de introducci6n a la teorfa, la novedad de este texto quizas radique en eI nivel can el cual se enfoca. He tratado de transmitir todos estos conceptos a estudiantes que no sean avezados matematicos, de forma que puedan comprenderlos al mismo tiempo que desarrollan su capacidad matematica, Entiendo que este es el material suficiente para cubrir un curso de un semestre de cuatro dias a la semana. Generalmente trato los Capitulos del 1 al 5 en su totalidad, con la rapidez can que los estudiantes son capaces de asimilarlos, Este material es el corazon de cualquier curso de teoria de lenguajes formales y no me importa tomarme el tiempo necesario para que los estudiantes puedan digerirlo. Dependiendo de la audiencia, imparto algunas c1ases del Capitulo 0 a simplemente asigno trabajos a cerca del misrno. La mayona del material presente en el Capitulo 0, proviene de un curso corto (2 creditos) de dernostraciones matematicas que una vez se impartio en Ia universidad, Siempre trato de desarrollar el Capitulo 6 en su totalidad, aunque depende del tiempo que quede del semestre. Al principio me sorprendio que, cuando el tiernpo apremia, la resolubilidad puede ser presentada bastante bien por medic de conferencias cortas, Me gustaria agradecer a mi amigo Ding-Zhu Du de la Universidad de Minnesota, Minneapolis, por sugerirme el Problema 1.7, el cual trata de la desigualclad de McMillan. EI desarrollo anterior al Lema 2.8,3, usado en el1ema de Arden, fue sugerido por una de las primeras personas que revisaron este libra. Me gustaria agradecerle, a 1610 a ella, par llamar mi atenci6n sabre el mismo (debido a Brzozowski). Me gustaria tambien expresar mi aprecio a mis amigos T. J. Morrison y D. J. Malmanger por Sll estimulo y apoyo moral a 10 largo de este proyecto aparentemente infinite. Finalmente, me gustaria dar las gracias a las siguientes personas por sus comentarios cuando revisaron el manuscrito: Moon Jung Chung (Michigan State University), Ronald K. Friesen (Texas A&M University), Micha Hofri (University of Houston), Robert Kline (West Chester University) y S. A. Kovatch (General Electric). Dean Kelley

Teorfa de aut6matas y lenguajes tormales ..