Anda di halaman 1dari 67

Teora de la computacin.

Unidad Temas 1 Introduccin. Subtemas 1.1 Autmatas, computabilidad y complejidad. 1.2 Nociones matemticas. 1.2.1 onjuntos 1.2.2 !unciones y "elaciones 1.2.# adenas y $en%uajes 1.# Induccin matemtica. 2.1 Autmatas &initos 2.1.1 Autmatas &initos determinsticos. 2.1.2 Autmatas &initos No determnisticos 2.2 '(presiones re%ulares. 2.# $en%uajes no re%ulares. #.1 #.2 #.# #.. 3.5 3.6 3.7 #./ 3.9 . 45uina de Turin%. )ramticas libres de conte(to. *rboles de deri+acin. !ormas normales de ,oms-y. !ormas normales de )reibac,. Eliminacin de Factores Comunes izquierdos. Eliminacin de recursividad izquierda. Eliminacin de la ambigedad. Autmatas 0us,12o3n. Lengua es no regulares.

$en%uajes re%ulares.

$en%uajes libres de conte(to.

..1 2e&inicin &ormal de una m5uina de Turin%. ..2 onstruccin modular de una m5uina de Turin%. ..# $en%uajes aceptados por la 4T. ... 6ariantes de una m5uina de Turin%. ..7 0roblemas de 8ilbert. 7.1 $en%uajes 2ecidibles. 7.2 'l problemas de 8altin%. 7.# 2ecidibilidad de Teoras $%icas. 6.! "roblemas insolubles #ara la teor$a de lengua es. 6.% &n #roblema sim#le insoluble. 6.3 Funciones com#utables. 9.. "educibilidad de Turin%.

2ecibilidad.

"educibilidad.

Unidad 1 Introduccin.
1.1 Autmatas, computabilidad y complejidad. Los autmatas vienen a ser mecanismos formales que ``realizan'' derivaciones en gramticas formales. La manera en que las realizan es mediante la nocin de reconocimiento. Una palabra ser generada en una gramtica si y slo si la palabra hace transitar al autmata correspondiente a sus condiciones terminales. Por esto es que los autmatas son analizadores lxicos llamados en ingl!s ``parsers''" de las gramticas a que corresponden. #n matemticas$ la veracidad de una proposicin queda asentada slo cuando se la demuestra. Para aceptar una proposicin cuantificada universalmente$ es decir$ de la forma ``%odo x cumple ''$ es insuficiente demostrar que para algunos posibles ``testigos'' se ha probado

que efectivamente se cumple $ con $ por muy grande que sea N$ pues aunque haya evidencia de que muchos puntos satisfacen al predicado $ !sta no basta para concluir que ``todos'' los puntos lo satisfacen. &os maneras t'picas de demostrar proposiciones cuantificadas universalmente son los razonamientos por contradiccin y$ cuando el con(unto de puntos es numerable$ por induccin. Las primeras dos secciones de este cap'tulo se abocan a la presentacin de esos m!todos de demostracin. Posteriormente presentamos los m!todos de )antor para mostrar como numerables a los productos finitos de con(untos numerables. #sto es de particular importancia en la %eor'a de la )omple(idad pues permite construir una enumeracin efectiva de los ``programas'' en un esquema de programacin que sea efectivamente ``computable''. )omo una primera apro*imacin a la nocin de ``computabilidad'' presentamos a los programas+while como un lengua(e formal de programacin$ con sinta*is y semntica bien definidos$ y$ finalmente$ a trav!s de ellos introducimos la nocin de funciones computables. ,ntroducimos$ luego$ a las mquinas de %uring . %ales mquinas aportan un enfoque alternativo al concepto de ``computabilidad''$ sin embargo es equivalente al anterior. Probada esa equivalencia$ terminaremos de presentar$ de manera introductoria$ a las funciones computables. Posteriormente$ enunciamos la tesis de )hurch . - las funciones computables es posible presentarlas tambi!n como elementos de clases m'nimas de funciones que contienen a un cierto con(unto de funciones y que son cerradas ba(o algunos esquemas de composicin. &e tales enfoques nos ocuparemos en este primer cap'tulo. .inalmente$ veremos que la clase de programas formales$ la de las mquinas de %uring y la de las funciones computables son todas numerables. &ado que la clase de todas las funciones posee la misma cardinalidad de los n/meros reales tenemos inmediatamente que hay muchas ms funciones no+computables que computables. http011delta.cs.cinvestav.m*12gmorales1comple*1node3.html

La Teora de la computabilidad es la #arte de la com#utacin que estudia los #roblemas de decisin que #ueden ser resueltos con un algoritmo o equivalentemente con una m'quina de (uring. La teor$a de la com#utabilidad se interesa a cuatro #reguntas)

*+ue #roblemas #uede resolver una m'quina de (uring, *+ue otros -ormalismos equivalen a las m'quinas de (uring, *+ue #roblemas requieren m'quinas m's #oderosas, *+ue #roblemas requieren m'quinas menos #oderosas,

La teor$a de la com#le idad com#utacional clasi-ica las -unciones com#utables seg.n el uso que /acen de diversos recursos en diversos ti#os de m'quina. :;ue problemas puede resol+er una m5uina de Turin%< 0o todos los #roblemas #ueden ser resueltos. &n #roblema indecidible es uno que no #uede ser resuelto con un algoritmo a.n si se dis#one de es#acio 1 tiem#o ilimitado. 2ctualmente se conocen muc/os #roblemas indecidibles3 como #or e em#lo)

El Entsc/eidungs#roblem 4#roblema de decisin en alem'n5 que se de-ine como) 6ada una -rase del c'lculo de #redicados de #rimer orden3 decidir si ella es un teorema. C/urc/ 1 (uring demostraron inde#endientemente que este #roblema es indecidible.

El "roblema de la #arada3 que se de-ine asi) 6ado un #rograma 1 su entrada3 decidir si ese #rograma terminar' #ara esa entrada o si correr' inde-inidamente. (uring demostr que se trata de un #roblema indecidible.

&n n.mero com#utable es un n.mero real que #uede ser a#ro7imado #or un algoritmo con un nivel de e7actitud arbitrario. (uring demostr que casi todos los n.meros no son com#utables. "or e em#lo3 el n.mero de C/aitin no es com#utable aunque s$ que est' bien de-inido.

:;ue otros &ormalismos e5ui+alen a las m5uinas de Turin%< Los lengua es -ormales que son ace#tados #or una m'quina de (uring son e7actamente aquellos que #ueden ser generados #or una gram'tica -ormal. El c'lculo Lambda es una -orma de de-inir -unciones. Las -unciones que #ueden se com#utadas con el c'lculo Lambda son e7actamente aquellas que #ueden ser com#utadas con una m'quina de (uring. Estos tres -ormalismos3 las m'quinas de (uring3 los lengua es -ormales 1 el c'lculo Lambda son -ormalismos mu1 dis$miles 1 -ueron desarrollados #or di-erentes #ersonas. 8in embargo3 ellos son todos equivalentes 1 tienen el mismo #oder de e7#resin. 9eneralmente se toma esta notable coincidencia

como evidencia de que la tesis de C/urc/:(uring es cierta3 que la a-irmacin de que la nocin intuitiva de algoritmo o #rocedimiento e-ectivo de cm#uto corres#onde a la nocin de cm#uto en una m'quina de (uring. Los com#utadores electrnicos3 basados en la arquitectura ;on 0eumann as$ como las m'quinas cu'nticas tendr$an e7actamente el mismo #oder de e7#resin que el de una m'quina de (uring si dis#usieran de recursos ilimitados de tiem#o 1 es#acio. Como consecuencia3 los lengua es de #rogramacin tienen a lo sumo el mismo #oder de e7#resin que el de los #rogramas #ara una m'quina de (uring 1 en la #r'ctica no todos lo alcanzan. Los lengua es con #oder de e7#resin equivalente al de una m'quina de (uring se denominan (uring com#letos. Entre los -ormalismos equivalentes a una m'quina de (uring est'n)

<'quinas de (uring con varias cintas <'quinas de (uring con cintas bidimensionales 4o una in-inidad de cintas lineales5 <'quinas de (uring con n.umero limitado de estados 1 s$mbolos #ara la cinta <'quinas de (uring con solo dos estados 2utmatas -initos con dos #ilas 2utmatas -initos con dos contadores 9ram'ticas -ormales 8istemas de corres#ondencia de "ost C'lculo Lambda Funciones recursivas #arciales Casi todos los lengua es de #rogramacin modernos si dis#usieran de memoria ilimitada 2utmatas celulares El =uego de la vida de =o/n Con>a1 <'quinas de (uring no determin$sticas <'quinas de (uring #robabil$sticas Com#utador cu'ntico

Los .ltimos tres e em#los utilizan una de-inicin ligeramente di-erente de ace#tacin de un lengua e. Ellas ace#tan una #alabra si cualquiera3 cm#uto ace#ta 4en el caso de no determinismo53 o la mayora de los cm#utos ace#tan 4#ara las versiones #robabil$stica 1 cu'ntica5. Con estas de-iniciones3 estas m'quinas tienen el mismo #oder de e7#resin que una m'quina de (uring.

:;ue problemas re5uieren m5uinas ms poderosas< 8e considera que algunas m'quinas tienen ma1or #oder que las m'quinas de (uring. "or e em#lo3 una m'quina or'culo que utiliza una ca a negra que #uede calcular una -uncin #articular que no es calculable con una m'quina de (uring. La -uerza de cm#uto de una m'quine or'culo viene descrita #or su grado de (uring. La teor$a de cm#utos reales estudia m'quinas con #recisin absoluta en los n.meros reales. 6entro de esta teor$a3 es #osible demostrar a-irmaciones interesentes3 tales como ?el com#lemento de un con unto de <andelbrot es solo #arcialmente decidible@.

http011encyclopedie+es.sny4e.com1articles1teoria5de5la5computabilidad.html 1.2 Nociones matemticas. 1.2.1

onjuntos

Introduccin El conce#to de con unto es de -undamental im#ortancia en las matem'ticas modernas. <uc/os matem'ticos creen que es #osible e7#resar todas las matem'ticas con un lengua e de teor$a de con untos. Atra a#licacin de la teor$a de con untos la encontramos con el modelado e investigacin de o#eraciones en las ciencias com#utacionales. Los con untos -ueron #or #rimera vez -ormalmente estudiados #or 9. Cantor. 6es#uBs de esto la teor$a de con untos se /a convertido en un 'rea mu1 bien establecida de matem'ticas3 contradicciones o #arado as que encontramos en dic/a teor$a. Eventualmente3 los m's so-isticados acercamientos al traba o original de Cantor /icieron que dic/as #arado as desa#arecieran. (ratos introductorios de la teor$a de con untos usualmente mostraban una Cc'ndidaD teor$a de con untos3 la cu'l era bastante similar al traba o original de Cantor3 me or dic/o3 se desarrollaban en el mismo marco terico necesario #ara no caer en #arado as. El traba o a desarrollar mostrar' la teor$a de con untos desde un #unto de vista mu1 am#lio3 sin adentrarnos al an'lisis #ro-undo de las #arado as que se #odr$an #resentar en el camino.

Notacin: Ordinariamente usaremos letras maysculas para representar los conjuntos que incluiremos sus elementos dentro de llaves separados por comas, {}. El smbolo elementosignifica (es elemento de . !n"logamente, significa (no es elemento de . Ejemplo# $ea $ la letra que designa el conjunto descrito precisamente como %a,b,c,d&. 'or tanto, $ es el conjunto cuyos elementos son las primeras cuatro letras minusculas del alfabeto. 'odemos entonces escribir a $, b $, c $ y d $. $imilarmente f $, ( $, etc. Conjuntos Iguales: )samos el signo de igualdad para indicar que dos smbolos representan al mismo conjunto. *efinici+n# se dice que dos conjuntos $ y , son iguales si cada elemento de $ es elemento de , y viceversa. $e escribe $-,. Ejemplo# en el ejemplo anterior pusimos $ - %a,b,c,d&. puesto que %a.b.c.d& es un smbolo para representar al mismo conjunto que representa $. *ebe notarse que, segn esta definici+n, no importa el orden en que se e/presan los elementos. 'or lo tanto %a,b,c,d& -%b.d,c.a&.

Notacin de conjuntos

Conjuntos Vacios : Es til tener el concepto de un conjunto sin elemento. Definicin# un conjunto sin elementos recibe el nombre de conjuntos vacios o conjunto nulo y se representa por % & o por . Ejemplo# consid0rese el conjunto $ de todos los elementos que los son tanto %a,b,c& como de %d,e,f&. El conjunto $ no tiene elementos,. luego, $ - % &. Subconjuntos: Definicin# se dice que un conjunto $ es subconjunto ,, si todos los elementos de $ los son ,. El smbolo se lee (es subconjunto de . !s, ($ , se lee ($ es subconjunto de , . *ecir que $ no es subconjunto de , significa que algun elemento de $ no lo es de ,. En tal caso escribimos $ ,. Ejemplo# sea $ - (a.b.c.d y ,-(a.b.c.d.e . 1emos que $ ,. $in embargo si 2-{a.b.c.f}, notamos que f ,, de modo que 2 ,. #ntenderemos que el con(unto vac'o$ $ siempre es subcon(unto de cualquier con(unto %. 6i no fuese as' ellos significar'a que alg/n elemento de $ no ser'a miembro de %$ pero como $ no tiene elementos esto resultar'a imposible. Definicin# se dice que $ es un subconjunto propio de ,, si $ ,, y adem"s e/iste algn elemento de , que no esta en $. Esto lo escribimos $ ,. Conjuntos Equivalentes: 3uando los elementos de un conjunto se corresponden con los de un segundo conjunto de modo que cada elemento de cada conjunto tenga uno, y solo uno, asociado en el otro conjunto, decimos que 4ay una correspondencia uno a uno entre ambos conjuntos. Definicin# dos conjuntos que se pueden poner en correspondencia uno a uno entre s, se dice que son equivalentes. $i ! es equivalente a 5, se escribe ! 5. Ejemplo# sean $ {a.b.c.d} y , - {, ,0,+}. Estos dos conjuntos son equivalentes puesto que podemos 4acer corresponder en forma uno a uno los elementos de un conjunto con los del otro. )ardinalidad &e Un )on(unto ,odos estamos familiari6ados con el conjunto ordenado de los nmeros naturales, 7 - {8,9,(,:..} y el conjunto ordenado de los nmero enteros no negativos ; - {<,8,9,(,:...}. 3ontar es el proceso por el cual podemos en correspondencia los elementos de un conjunto con algn subconjunto propio de 7, comen6ando con 8 y usando los elementos de 7 en orden y sin saltar ninguno. )n subconjunto as se llama subconjunto est"ndar de 7. Ejemplo# es decir, el subconjunto est"ndar de 7, {8,9,(,:} es equivalente a {a,b,c,d}decimos entonces que $ tiene cuatro elementos. Estos lleva a la definici+n siguiente# Definicin# cuando un conjunto $ se equipara con un subconjunto est"ndar de 7, el ultimo elemento de 7 usado se llama cardinalidad del conjunto $ y se denota por n ($ . Ejemplo# en el ejemplo anterior, n($ - :. Definicin: la cardinalidad , el conjunto vaco es cero. ,enemos que construir esta definici+n por separado, puesto que < 7 y, por tanto, no tiene sentido 4ablar de equiparar elementos que no e/isten. =a claridad del conjunto {(} es 8, ya que {(} se puede equiparar con {8}. Es decir que el conjunto {(} tiene un miembro. $imilarmente, la claridad del conjunto {<} es 8. 4ay que estar seguro de que entendemos la diferencia entre {} y {<}. *os nmeros enteros no negativos m y n, son iguales si ambos son la cardinalidad del mismo conjunto o de conjuntos equivalentes. En tal caso, escribimos m-n.. Definicin: si m y n son nmeros entero no negativos, decir que m es menor que n significa que n es la cardinalidad de un conjunto que se puede equipar con un subconjunto propio de un conjunto de cardinalidad n. Escribiremos entonces m > n. $i m > n podemos decir tambi0n que n ? m. Ejemplo# $ - {a.b.c} y , -{d,e,f,g,4}. 1emos que 4ay una correspondencia uno a uno entre $ y el subconjunto propio de ,, {d,e,f}. 'or tanto, n ($ > n (, , o bien puesto que n ($ -( y n (, -@, ponemos ( > @. Conjuntos Finitos E Infinitos:

6i es posible encontrar un subcon(unto estndar de 7 que se puede hacer corresponder uno a uno con un con(unto dado 6$ o si 6 es el con(unto vac'o$ decimos que 6 es finito. 6i no$ decimos que infinitos. #(emplos0 % 8 9a$b$c...$ *$y$z: es con(unto finito$ puesto que es equivalente 9;$3$<$=$>...$3>$3?:. #l con(unto 7 8 9;$3$<...: es infinito$ puesto que no es posible equiparar con ning/n subcon(unto estndar de 7. 7otese que$ sin embargo si hay un equiparamiento de 7 con uno de sus subcon(untos que no es un subcon(unto estndar0 como el con(unto de los n/meros pares. @emos que 7 se puede poner en correspondencia con un subcon(unto propio de si mismo. #sto solo se puede hacer en un con(unto infinito.

Conceptos bsicos teora de conjuntos


)n Conjunto es cualquier colecci+n de objetos el cual pueden ser tratado como una entidad, y un objeto de la colecci+n se dice que es un elemento o miembro del conjunto. *ado un objeto x y un conjunto S, si x es un elemento del conjunto S, lo podemos escribir como x S. si x no es un elemento del conjunto S, podemos escribirlo como (x S o tambi0n x S. =os t0rminos conjunto, coleccin y clase son usados como sin+nimos, as como tambi0n los t0rminos elemento o miembro. 2ay que 4acer notar que no 4emos dado una definici+n formal de conjuntos ni una base para decidir cuando un objeto es un miembro de un conjunto. 3omo en cualquier otra teora matem"tica, no siempre se 4ace 0nfasis en los conceptos b"sicos o en las nociones indefinidas (como por ejemplo, punto o lnea en geometra . la definici+n de conjunto y la relaci+n es un elemento de son conceptos fundamentales de la teora de conjuntos. 3omo consecuencia de no tener definiciones para estos conceptos, no tenemos una prueba para determinar cuando algo es un conjunto o cuando, un objeto dado, es un elemento de un conjunto especificado. 'or no tener una prueba, debemos de confiar en un sentido comn del significado de los t0rminos. 3asi cualquier cosa puede ser puede ser tratada como conjunto, vi0ndola desde un punto de vista muy matem"tico, lo que trataremos de ilustrar con los siguientes ejemplos. El conjunto de enteros no negativos menores que 4. Aste es un conjunto finito con cuatro miembros# <, 8, 9 y (. El conjunto de libros en la biblioteca del IT en este momento . Aste tambi0n es un conjunto finito. )n conjunto que tal ve6 sea difcil de listar dado que en 0ste momento pueden estar prestando y devolviendo libros, es decir 4ay flujo constante. El conjunto de nombres de las !ersonas que "ablaron a Tombuct# el $% de febrero del a&o '$( a) C. Aste es un conjunto finito que seguramente tendr" por lo menos un elemento. !unque 0ste tiene una caracterstica que tal ve6 no concuerde con la realidad por la cual ser" difcil determinar los miembros del conjunto, muc4os matem"ticos dicen que no 4ay porque no considerarlo un conjunto. El conjunto de dinosaurios vivos en el *useo +rit,nico . !sumiendo que no se est"n reali6ando e/perimentos siniestros en dic4o museo, 0ste conjunto tiene la propiedad de no tener ningn elemento, a lo que llamamos conjunto nulo o vac-o. El conjunto de enteros ma.ores que / . 3omo es de suponerse, 0ste se trata de un conjunto infinito y no 4ay ninguna dificultad para definir cualquiera de los miembros de 0ste conjunto. *esde que un conjunto es caracteri6ado por sus miembros, un conjunto puede ser especificado por declaraci+n cuando un objeto est" en el conjunto. )n conjunto finito puede ser especificado e/plcitamente por una lista de sus elementos. =os elementos de la lista deben ser separados por comas y la lista encerrada en llaves ( { } , como lo muestran los siguientes ejemplos# El conjunto que contiene los elementos 0, + y C est" denotado por { !, 5, 3 }. El conjunto que contiene todos los enteros pares no negativos menores que 8< es especificado por { <, 9, :, B, C }.

=os elementos de un conjunto infinito no pueden ser listados e/plcitamente. en consecuencia, necesitamos una forma para describirlos implcitamente. =a especificaci+n implcita frecuentemente es 4ec4a por el significado de predicados con una variable libre. El conjunto es definido de manera que los elementos del universo establecido por el conjunto 4agan el predicado verdadero. *e aqu, si ' (/ es un predicado con una variable libre, el conjunto { / D '(/ } denota el conjunto $ tal que c $ si y s+lo si ' (c es verdadero. =os siguientes ejemplos son de especificaciones implcitas de conjuntos. =as dos primeras son de conjuntos infinitos. la tercera es un conjunto finito. El conjunto de enteros mayores que 8< es especificado por { / D / I / ?8< } El conjunto de enteros pares puede ser especificado como { / D y % y I / - 9y ] } El conjunto { 8, 9, (, :, @ } puede ser especificado como {/D/I8/@} $ignificados menos formales son usados frecuentemente para describir conjuntos. )na t0cnica es colocar las especificaciones del conjunto a la i6quierda de una barra vertical, como lo muestran los siguientes ejemplos# El conjunto de enteros mltiplos de ( puede ser especificado por { (/ D / I } en lugar de { / D y % y I / - (y ] }. El conjunto de nmeros racionales puede ser especificado por { / E y D /, y I y < }. $i un conjunto es finito pero muy largo como para listarse f"cilmente o si es un conjunto infinito, las elipses suelen ser usadas para especificar implcitamente un conjunto. =as siguientes especificaciones usan elipses para caracteri6ar una lista de los elementos de un conjunto. El conjunto de enteros del 8 al @< es especificado por { 8, 9, (, F, @< } El conjunto de enteros pares no negativos es especificado por { <, 9, :, B, F } ,odas 0stas t0cnicas informales de especificaciones de conjuntos son convenientes por lo cual podemos usarlas libremente. En un desarrollo m"s formal de la teora de conjuntos, el siguiente a/ioma es usado para establecer que los conjuntos son completamente especificados por sus elementos. El a/ioma nos sirve como una definici+n de igualdad de conjuntos. Axioma de Extensin: *os conjuntos ! y 5 son iguales si y s+lo si tienen los mismos elementos. El a/ioma de e/tensi+n puede ser e/presado en notaci+n l+gica de dos maneras# ! - 5 / % / ! / 5 ] ! - 5 { / % / ! / 5 ] / % / 5 / ! ]} El a/ioma de e/tensi+n declara que si dos conjuntos tienen los mismos elementos, an sin considerar como est"n especificados, son iguales. Es decir, si un conjunto es especificado e/plcitamente con una lista, el orden en el que est0 listado es irrelevante. 'or ejemplo# el conjunto denotado por { !, 5, 3 } es el mismo que (igual a el conjunto denotado por { 3, 5, ! } y { 5, 3, ! }. !dem"s, no importa el nmero de veces que apare6ca un elemento en el conjunto, { !, 5, ! }, { !, 5} y { !, !, !, 5, 5 } 6on diferentes especificaciones de un mismo con(unto. Un con(unto finito puede ser caracterizado impl'cita o e*pl'citamente$ como lo demuestran los con(untos 9 ;$ 3$ <$ =$ > : y 9 * A * I ; * > : que son el mismo con(unto. %ambi!n$ el mismo con(unto puede ser especificado impl'citamente con diferentes predicados$ por e(emplo0 el con(unto 9 * A * 8B : y 9 * A * I +; C * C ; : son iguales.

Operaciones con conjuntos


E/isten operaciones que nos permiten crear nuevos conjuntos a partir de otros conocidos. *efinimos la unin ! 5 y la interseccin ! 5 de dos conjuntos ! y 5 como sigue# ! 5 - { / # / ! o / 5 o ambas } !5-{/#/!y/5} !Gadimos Ho ambasI para dar 0nfasis y claridad a la definici+n de ! 5. En espaGol la palabra o tiene dos significados. ! veces es el o inclusivo que significa lo uno, lo otro o ambos. Esta es la interpretaci+n cuando un programa de estudios dice# se deben incluir dos aGos de ciencias o dos aGos de matem"ticas. Otras veces o es el o exclusivo y significa lo uno o lo otro pero no ambas. Es el o que se utili6a en un men que ofrece sopa o ensalada. En matem"ticas siempre utili6amos o como el o inclusivo mientras que no se especifique lo contrario. *os conjuntos ! y 5 son disjuntos si no tienen elementos comunes, es decir, si ! 5 - . 'ara dos conjuntos ! y 5, el complemento relativo ! J 5 es el conjunto de elementos que est"n en ! y no est"n en 5. !J5-{/#/!y/5}-{/!#/5} Es el conjunto que se obtiene al quitar de ! los elementos que est"n en 5 E/isten operaciones que nos permiten crear nuevos conjuntos a partir de otros conocidos. *efinimos la unin ! 5 y la interseccin ! 5 de dos conjuntos ! y 5 como sigue# ! 5 - { / # / ! o / 5 o ambas } !5-{/#/!y/5} !Gadimos Ho ambasI para dar 0nfasis y claridad a la definici+n de ! 5. En espaGol la palabra o tiene dos significados. ! veces es el o inclusivo que significa lo uno, lo otro o ambos. Esta es la interpretaci+n cuando un programa de estudios dice# se deben incluir dos aGos de ciencias o dos aGos de matem"ticas. Otras veces o es el o exclusivo y significa lo uno o lo otro pero no ambas. Es el o que se utili6a en un men que ofrece sopa o ensalada. En matem"ticas siempre utili6amos o como el o inclusivo mientras que no se especifique lo contrario. *os conjuntos ! y 5 son disjuntos si no tienen elementos comunes, es decir, si ! 5 - . 'ara dos conjuntos ! y 5, el complemento relativo ! J 5 es el conjunto de elementos que est"n en ! y no est"n en 5. !J5-{/#/!y/5}-{/!#/5} Es el conjunto que se obtiene al quitar de ! los elementos que est"n en 5. =a diferencia sim trica ! 5 de los conjuntos ! y 5 es el conjunto ! 5 - (! 5 D (! 5 - (! D 5 (5 D ! ! veces es conveniente ilustrar las relaciones entre conjuntos con dibujos llamados diagramas de Venn! en donde los conjuntos corresponden a subconjuntos del plano. Ejemplo# $ea ! - 9n 7 # n E F:$ G - 9n 7 # n es par y n E ;?: y # - 9n 7 # n es par:. Entonces tenemos

! 5

! 5

! D5

! 5

! ! ! 5 !

5 - {<,8,9,(,:,@,B,K,C,8<,89,8:,8B}, 5 - {<,9,:,B}, D 5 - {8,(,@,K}, D ! - {C,8<,89,8:,8B}, 5 - {8,(,@,K,C,8<,89,8:,8B}.

En general es conveniente trabajar en un conjunto finito como N, R o*. Esto es, conviene fijar un conjunto ) que llamamos conjunto universal o universo! y considerar solamente elementos de ) y subconjuntos de ). 'ara ! ) el complemento relativo ) J ! recibe el nombre de com"lemento absoluto o sencillamente com"lemento y se denota por !c. 7+tese que el complemento relativo ! J 5 puede escribirse en t0rminos del complemento absoluto# ! J 5 - ! 5c Ejemplo#

"

"
A

"
A

"
A

A
A
c

B B
c

B AC B C

B A

la regin B!c 7+tese que los dos ltimos diagramas de 1enn muestran que ! 3 53 - (! 5 c. Esta identidad de conjuntos y muc4as m"s son verdaderas en general. ! continuaci+n se muestran algunas identidades para conjuntos y operaciones entre conjuntos, muc4as de ellas son an"logas a las leyes de "lgebra. =as leyes de idempotencia son nuevas, se supone que todos los conjuntos de la siguiente tabla son subconjuntos de algn conjunto universal ). Leyes de lgebra de con(untos !5-5! !5-5! (! 5 3 - ! (5 3 (! 5 3 - ! (5 3 ! (5 3 - (! 5 (! 3 ! (5 3 - (! 5 (! 3 !!-! !!-! !-! !)-) !- !)-! (!c c - ! ! !c - ) ! !c - )c - =eyes conmutativas =eyes asociativas =eyes distributivas =eyes de la idempotencia

=eyes de Ldentidad 3omplementaci+n

c - ) (! 5 c - !c 5c (! 5 c - !c 5c

=eyes de *eMorgan

Nracias a las leyes asociativas podemos escribir los conjuntos ! 5 3 y ! 5 3 sin par0ntesis y no causar confusi+n. =as pruebas que utili6an diagramas de 1enn parecen muc4o m"s f"ciles que las pruebas en las que anali6amos las inclusiones mediante elementos. =os diagramas de 1enn para !, 5, 3 tiene C regiones y comprenden todas las posibilidades l+gicas por lo que las demostraciones que utili6an diagramas de 1enn son de 4ec4o v"lidas.

! 9 B 8 ( @ C : K

3
)na objeci+n muc4o m"s seria para las demostraciones con diagramas de 1enn es que ocultan los procesos de pensamiento que se requieren para llevarlas a cabo. es decir, no se especifica la l+gica que debe utili6arse para sombrear los diagramas. Otra ra6+n para no utili6ar diagramas de 1enn es que son muy difciles de dibujar cuando 4ay m"s de tres conjuntos.

#e$inicin inductiva de conjuntos


)na definici+n inductiva de conjuntos consiste en tres componentes distintivos# 8. =a base, o cl,usula base, de la definici+n establece los objetos determinados que est"n en el conjunto. Asta parte de la definici+n tiene una doble funci+n 9. =a induccin, o cl,usula inductiva, de una definici+n inductiva establece el camino por el cu"l los elementos de un conjunto pueden ser combinados para obtener nuevos elementos. =a cl"usula inductiva siempre asegurar" que si los objetos /, y, F , 6 son elementos de un conjunto, entonces pueden ser combinados de varias formas de tal manera que podemos obtener un nuevo elemento que tambi0n formar" parte de conjunto. !s, mientras la cl"usula base describe la construcci+n de bloques de un conjunto, la cl"usula inductiva describe las operaciones que se puede llevar a cabo sobre los objetos para la construcci+n de nuevos elementos del conjunto. (. =a cl,usula extrema enfati6a que a menos que un objeto pueda ser obtenido por medio de una aplicaci+n finita de las clausulas base e inductiva, puede ser miembro del conjunto. =a cl"usula e/trema de la definici+n inductiva de un conjunto $ tiene una variedad de formas, como lo son# (i 7ingn objeto es miembro del conjunto $ a menos que se obtenga de un nmero finito de aplicaciones de las cl"usulas base e inductiva. (ii El conjunto $ es el conjunto m"s pequeGo que satisface las cl"usulas base e inductiva.

El conjunto $ es el conjunto tal que $ satisface las cl"usulas base e inductiva y no un propio subconjunto de $ que las satisface. *e 4ec4o, todas 0stas formas de la cl"usula e/trema son equivalentes. ! menudo la cl"usula e/trema no est" e/plcitamente definida en una definici+n inductiva. $i nuestro )niverso es el conjunto de enteros I, entonces una predicado definici+n del conjunto % de enteros pares no negativos puede ser dado como sigue# % - { / D / < y % / - 9y ] } El mismo conjunto puede ser definido inductivamente como sigue# ;. (5ase <% 3. (Lnducci+n $i n %, entonces (nO9 % (E/trema 7ingn entero es elemento de % a menos que pueda ser mostrado como un nmero finito de aplicaciones de las clausulas 8 y 9.

(iii

Operaciones de conjuntos de &'


=as cadenas de smbolos juegan un papel importante en las ciencias computacionales. 'rogramas computacionales, documentos escritos en te/to, f+rmulas matem"ticas y teoremas en un sistema formal son objetos que representamos convencionalmente como secuencias finitas de smbolos. !s, para poder escribir programas que manipulen otros programas, programas editores de te/to, programas para manipular f+rmulas algebraicas o programas que prueben teoremas debemos de tener las 4erramientas necesarias para la manipulaci+n de cadenas individuales y conjuntos de cadenas. El smbolo denotar" un alfabeto finito y ser" el conjunto de todas las cadenas de longitud finita formados por los smbolos provenientes de . =a principal operaci+n sobre los elementos de es la concatenaci+n. $ea un alfabeto y x y . elementos de . $i x -a8 a9F am y . - b8 b9... bn donde ai, bj y m, n 7 entonces la concatenacin de x con ., denotada x., o simplemente x., es la cadena x. 1 a8 a9F am b8 b9... bn. $i / - , entonces x. 1 . !ara toda x. similarmente si . 1 , entonces x.1 x =o siguiente es una notaci+n conveniente para representar la concatenaci+n de una cadena con s misma n veces. Esta definici+n inductiva es basada en la definici+n de N y adem"s no requiere cl"usula e/trema. $ea x un elemento de . 'ara cada n N, la cadena xn es definido como sigue# ;. x( 1 2. xn2$ 1 x( x 3omo por ejemplo, si - {a, b} y x - ab, entonces x( - , x$ 1 ab, x3 1 abab, x/ 1 ababab) )on frecuencia trataremos colecciones de cadenas en vez de cadenas individuales. Por e(emplo$ en una especificacin de lengua(e de programacin$ deberemos de caracterizar con(untos enteros de programas los cuales pueden ser escritos en el lengua(e. &ada la importancia de estos elementos$ una considerable estructura de terminolog'as y notaciones han sido desarrolladas para concordar con esto. $ea un alfabeto finito. )n lenguaje sobre es un subconjunto de . 'or ejemplo, el conjunto {a, ab, abb} es un lenguaje sobre - {a, b}. *esde que cada lenguaje es un conjunto la colecci+n usual de operaciones de conjuntos vistas en este documento pueden ser aplicadas a los lenguajes. *e cualquier modo, dado que son colecciones de cadena, 4ay otras operaciones de lenguaje importantes que pueden ser definidas tambi0n, muc4as de las cuales son basadas en las operaciones de concatenaci+n. Estas operaciones son importantes en una variedad de "reas de aplicaci+n as como tambi0n para el estudio de modelos de computaci+n.

$ea ! y 5 lenguajes sobre . El conjunto !roducto de 0 con +, denotado como 0 5, o simplemente !5, es el lenguaje !5 - { /y 8 / ! y 5 }. El lenguaje !5 consiste en todas las cadenas formadas por la concatenaci+n de un elemento de ! con un elemento de 5. $e debe 4acer notar que en general !5 5! ya que la operaci+n de producto de conjunto no es conmutativa. $ea !, 5, 3 y * lenguajes arbitrarios sobre , de lo cual se obtienen las siguientes relaciones# a" ! - ! - b" !{ } - { } ! - ! c ( !5 3 - !( 53 d" $i ! 5 y 3 *, entonces !3 5* e" !(5 3 - !5 !3 f" ( 5 3 ! - 5! 3! g" ! ( 5 3 !5 !3 h" ( 5 3 ! 5! 3! $ea ! un lenguaje sobre . El lenguaje !n es definido inductivamente como sigue# !< - { } !nO8 - !n ! El lenguaje !n es un conjunto de productos de ! con si mismo n veces. !dem"s si 6 n ! con n 8, entonces 6 - P8P9... Pn, donde Pi ! para cada i desde 8 4asta n.

1.2.2 !unciones y "elaciones ,ecar documento relacionesy&unciones.pd& 1.2.# adenas y $en%uajes

adenas y len%uajes #l producto cartesiano de dos con(untos A y B consta de las pare(as ordenadas cuyo primer elemento est en A y cuyo segundo elemento est en B. Usaremos la notacin de yuxtaposicin para denotar al producto cartesiano0

)ualquier con(unto finito

es un alfabeto. #ntre los alfabetos ms comunes estn0

6ea sobre

y$ para $ sea de longitud n. La palabra

. )ada elemento se dice ser una palabra que no tiene s'mbolo alguno es la palabra vaca. &efinimos

. #l diccionario sobre es de longitud finita con s'mbolos en el alfabeto como longitud a lo sumo n. Ejemplos: ;. para cualquier alfabeto 3. . <. . . Para cada $

y$ por ende$ consta de todas las palabras . #l con(unto de palabras no+vac'as$ se denota es el con(unto de palabras de

. =. . >. . ?. )ualquier programa en ) es una palabra en Un lenguaje es un subcon(unto de cualquier diccionario. respectivamente. 1.# Induccin matemtica. #ste procedimiento de demostracin de frmulas cuantificadas universalmente$ es decir$ del tipo $ verifica primero que se cumple para los casos llamados b sicos$ y despu!s$ suponiendo que se cumple para los casos anteriores$ se verifica para un elemento t'pico x arbitrario. #ste /ltimo paso es llamado ``inductivo''. 6e concluye entonces que la frmula vale para cualquier x. #n la pr*ima seccin veremos dos esquemas de induccin cuando el dominio de la variable x son los n/meros naturales. #n la seccin subsiguiente veremos un esquema de induccin sobre con(untos numerables definidos de manera recurrente. http011delta.cs.cinvestav.m*12gmorales1comple*1node=.html y . son los lengua(es vaco y total$

Induccin numrica
6ea una frmula con una variable libre x$ definida en el lengua(e de la aritm!tica. Para $ un primer esquema de induccin verifica primero que se demuestra que se cumple H un

demostrar la sentencia cumple

y luego$ suponiendo que se cumple

segundo esquema de induccin verifica primero que se cumple cumple $ para cualquier mCn$ demuestra que se cumple como reglas de deduccin quedan como sigue0

y luego$ suponiendo que se . #stos esquemas$ puestos

Teorema 2.1 -mbos esquemas son equivalentes. #n efecto0 ;. "0 6upongamos vlido el que se cumplen . 6ea una frmula tal

Iostremos primero que

Para esto usemos el .

aplicado a la frmula $ la frmula es un . Jemos de

se cumple en virtud de que para cualquier frmula

teorema del clculo de predicados puro. -hora$ supongamos que vale probar que vale . 6upongamos . Por K" se cumple tambi!n . Por

se tiene que es vlido . -s' pues$ la frmula

es vlida$ con lo cual se ve que$ en efecto$ la frmula

se cumple. &emostremos ahora que vale suponiendo que se cumple $ puesto que

. &ado un n cualquiera$ es cierto$ se cumple por KK" que . Por el !s"uema #$ resulta

y por K" resulta ya demostrado como una consecuencia 3. "0 6upongamos vlido el tal que se cumplen

. %enemos pues que se cumple el !s"uema ##. . 6ea una frmula

Lesulta evidente que se cumple la frmula nMB la condicin subsume a la frmula

$ pues$ para cada $ la cual$ de acuerdo . Por el !s"uema ##$ resulta

con la segunda frmula en K" de este apartado implica como una consecuencia

. %enemos pues que se cumple tambi!n el !s"uema #.

,ttp=>>delta.cs.cin+esta+.m(>?%morales>comple(>node7.,tml

Induccin recurrente
#ste esquema se utiliza para demostrar predicados cuantificados universalmente definidos sobre con(untos determinados constructivamente de manera recurrente. 6ea $ un con(unto numerable. 6ea un con(unto inicial. 6upongamos siguientes0 definido recurrentemente con las reglas

para $ donde cada funcin es$ en la prctica$ una regla de composicin. Para todo predicado se tiene el esquema de demostracin siguiente0

)omo un e(emplo de construccin mediante este tipo de reglas$ consideremos al siguiente0 Ejemplo. 6ea $ el con(unto formado por las palabras de longitud finita" sobre el alfabeto BN;"$ i.e. $8 BN;"K. &efinimos el con(unto de palabras B%preponderadas de manera recurrente como sigue0

#l con(unto

de palabras B+preponderadas se a(usta a la construccin anterior$ donde

consta /nicamente de la palabra vac'a y hay dos reglas de composicin $ dadas por sendas reglas. Is adelante veremos que una palabra es B+preponderada si cualquier prefi(o de ella posee ms ceros que unos. Proposicin 2.1 #l esquema ,,, se prueba mediante el esquema ,, por induccin en el n/mero de reglas para generar un elemento en A. #n efecto$ con la notacin utilizada en la formulacin del !s"uema ###$ sea

)omo A se define /nicamente por las reglas enlistadas$ la frmula equivalente a la frmula hiptesis

es lgicamente

. Iostremos pues que esta /ltima es vlida a partir de las

La primera de estas ecuaciones equivale a

. La segunda es claramente equivalente a $ y con esto

. Por el !s"uema ## tenemos que se cumple queda demostrado el !s"uema ###.

Ejemplo. Letomando nuestro e(emplo anterior$ sea A el con(unto de palabras B+preponderadas. 6ea la proposicin

Procedamos de acuerdo con el !s"uema ### para ver que trivialmente$ que para la palabra vac'a se cumple inductiva0 $ es decir$ vale

. ,nicialmente tenemos$ . -hora$ de manera

,ttp=>>delta.cs.cin+esta+.m(>?%morales>comple(>node9.,tml

Unidad 2 $en%uajes re%ulares.


2.1 Autmatas &initos 2.1.1 Autmatas &initos determinsticos. AUT@4ATAS !INITAS 2'T'"4INBSTI
AS CA!2D

Es un modelo matem'tico de un sistema con un con unto discreto de entradas 1 salidas. El sistema #uede estar en cualquier con-iguracin interna o CestadoD3 los cuales a#arecen en un n.mero -inito. E em#los 4sistemas de estados -initos5 !.: el mecanismo de control de un elevador %.: Editores de te7to 1 analizadores de lB7ico en los com#iladores. 3.: &na com#utadora #udiera ser vista como un sistema de estado -inito. E.: El cerebro /umano se #uede considerar un sistema de estado -inito. el n.mero de neuronas o cBlulas cerebrales es limitado a lo sumo % 35. 8i el estado de cada neurona #udiera describirse mediante un n.mero #equeFo de bits3 entonces s$3 #ero en

general esto no es as$ 1 en realidad lo que se tiene es que tal n.mero de estados es e7cesivamente grande 1 es #oco #robable este modelo.
AN '0TA=

&n 2F6 es una 5 tu#la o quinteta 4 G3 L3 F3 23 sH5 donde) !. &n con unto -inito G de simbolos de entrada. %. &n con unto -inito L de estados 3. &na -uncin estado siguiente o transicin - de G 7 L en L E. &n subcon unto 2 de L de estados ace#tados >. &n estado inicial sH L 2e&inicin= 6is#ositivo que tiene un n.mero -inito de estados3 uno de los cuales es el estado inicial 13 #or lo menos uno3 es un estado de ace#tacin.

2e&inicin &ormal C&n 2F6 es una qu$ntu#la 4I3 L3 -3 23 sH5 D 6onde) O I con unto -inito de s$mbolos de entrada O L con unto -inito de estados de transicin O -uncin de transicin de I 7 L en L O 2 con unto de estados de ace#tacin C LD O sH estado inicial CJ LD 'jemplo

Autmatas Finitos Deterministas Se llama Autmata Finito Determinista (AFD) a la quntupla: ( , Q, f, q0, F) es un alfabeto, llamado "alfabeto de entrada" Q es un !on"unto finito, no #a!o llamado "!on"unto de estados" f es una fun!in f: Q$ % Q que se llama "fun!in de transi!in" q0& Q es el "estado ini!ial" F' Q es el !on"unto de "estados finales", o "estados de a!epta!in", no #a!o

(n AFD puede !onsiderarse !omo una m)quina se!uen!ial de *oore, !u+o alfabeto de entrada sea , su alfabeto de salida S,- 0,./ , + donde F ser) el !on"unto de los estados tales que 0(q),. Tabla de Transicin Ser) una tabla !u+as filas est)n en!abe1adas por los estados (elemen2tos de Q) 3os en!abe1amientos de las !olumnas son los smbolos del alfabeto de entrada (los elementos de ) 4umpli5ndose que el elemento i, " de la tabla de transi!in !orresponde al #alor de

f(qi, e"), donde qi es el elemento i25simo de Q, + e" es el elemento "25simo de 6anto el estado ini!ial !omo el final estar)n mar!ados por % + por 7 respe!ti#amente Nota: el estado final puede ser indi!ado tambi5n rodeando el estado por un !r!ulo ( ): a1...an q0 ..... qi ...... *qf Ejemplo: AF,(- 0,./ ,- q0,q.,q8/ , f, q0, - q./ ) f q0 *q1 q2 0 q. q0 q. 1 q0 q8 2

Diagra a de Transicin 9s un 0rafo diri0ido que se forma de la si0uiente manera: . 9l 0rafo tendr) tantos nodos !omo : Q: , !ada nodo estar) etiquetado por un elemento de Q Si f(qi, e") , q;, dibu"aremos una rama diri0ida desde el nodo de etiqueta qi <asta el nodo de etiqueta q; 3a etqueta de la rma ser) e" 8 9l estado ini!ial estar) se=alado mediante el smbolo % > 3os estados finales estar)n se=alados mediante el simbolo 7, o doble !r!ulo alrededor de la etiqueta del estado final ?epresentamos los estados !omo:

Ejemplo: (partiendo del autmata anterior)

!engua"e asociado a un aut

ata finito deter

inista !(#$D)

Sea un AFD ( , Q, f, q0, F) De!imos qie una palabra $ & 7 es "a!eptada" o "re!ono!ida" por el autmata si f(q0,$) & F Se llama len0ua"e aso!iado al autmata finito, o !ondu!ta del autmata finito al !on"unto de todas las palabras a!eptadas por 5ste 9s de!ir: 3 , - $ : $& 7 @ f(q0,$)& F/ Ejemplo:

0 & 3(AF), +a que f(q0, 0) , q. & F .0 & 3(AF) .70 & 3(AF) .70.0 & 3(AF) 3ue0o 3(AF) , .70(.0)7 Ejemplo 2 :

4al!ulo posibles !aminos desde q0 a q0 (por ser el estado ini!ial): (.7A(.0)70)7 4aminos desde el estado ini!ial <asta el estado final (el mas !orto): 0 4aminos desde el estado final al estado final sin pasar por el ini!ial: (.0)7 3ue0o 3(AF), (.7A(.0)70)7 0 (.0)7 %stado #ccesible (n estado de un AF es a!!esible si e$iste una palabra $ que permite que el autmata se pare en ese estado partiendo del estado ini!ial 9s de!ir, un estado q es a!!esible desde otro estado p del autmata si e$iste una !adena $ que permite que el autmata transitando desde p !on $ se pare en el estado q: q& Q es a!!esible si B $ : $ & 7 : q , f(q0, $) Cor defini!in de fun!in de transi!in, todo estado es a!!esible desde s mismo, + es a!!esible mediante la palabra #a!a !%&# del estado accesible Dado un AF que tiene n estados, :Q:, n, un estado q& Q es a!!esible desde otro estado p si + slo si B $& 7 : :$:Dn (siendo n el nE de estados de autmata) : f(p,$),q Supon0amos :$:F,n : f(p,$,q G siempre es posible es!ontrar otra !adena $H& 7 : :$:Dn : f(p,$H),q 9s de!ir, que si +o ten0o un autmata !on n estados, si transito por todos los estados, pasando una #e1 por !ada estado, <abr5 reali1ado n2. transi!iones, que es menos que n estados Si :$:F,n para la transi!in se repetir) al menos un estado Ejemplo :

q8 es a!!esible desde q0, por e"emplo !on la palabra: $,..000., :$:,I, !omo :Q:,>, de!imos que siempre podremos en!ontrar una palabra $H tal que :$H:D:$: (puesto que :$:F: Q:) + adem) !umple que :$H:D:Q: 9sta $H sera: $H,0. #ut atas cone'os Sea ( , Q, f, qo, F) un autmata finito determinista Diremos que el autmata es "!one$o" si todos los estados de Q son a!!esibles desde el estado ini!ial qo Dado un autmata no !one$o, podemos obtener a partir de 5l otro autmata que sea !one$o eliminando todos los estados que no sean a!!esibles desde qo 9s e#idente que los dos autmatas a!eptar)n el mismo len0ua"e 9"emplo: sea el autmata definido por el dia0rama de transi!in si0uiente:

9s e#idente que los estados q ( s son ina!!esibles desde el estado ini!ial p Cor lo tanto, el autmata si0uiente a!eptar) el mismo len0ua"e:

&ini i)acin de #$ %qui*alencia de estados en #$ Sea el autmata finito determinista ( , Q, f, q0, F) De!imos que dos estados p,q& Q son equi#alentes (se representa por p9q) si para toda palabra $& 7, se #erifi!a que f(p,$)& FJ f(q,$)& F +ota: Si p9q enton!es p9nq, para todo n ,ro-iedades de la equi*alencia de estados Dado AF,( , Q, f, q0, F), !on p,q& Q . , p9q si " $& 7 % f(p,$)& FJ f(q,$)& F . p9;q (p + q son ;2equi#alentes) si: " $& 7 : :$:D,; % f(p,$)& FJ f(q,$)& F 8 Ambas rela!iones de equi#alen!ia 9 + 9; indu!en una parti!in de equi#alen!ia sobre el autmata finito 9s de!ir: 9 indu!e C9, + 9; indu!e C; > 3a primera parti!in que se estable!e es C0, se <a!e !on: p 90q J ( p& FJ q& F) Kota: 9nton!es C0,- (Q2F),F/ L 9;,si p9;q G p9#q " #D;M si p9q G " ; p9;q

!%&#1(propiedad de estados) Si p9;A.q G p9;q + f(p,a)9;f(q,a) " a& !%&#2 C;,C;A. G C;, C9 !%&#. (Se #a a estable!er !uando se estabili1a el #alor de la parti!in) Si :Q: , n F. G p9nq J p9n28q 9s de!ir, n28 es el 0rado de equi#alen!ia menor al que <abra que lle0ar para !onse0uir !onfirmar la equi#alen!ia de dos estados en un autmata !on n estados T%/0%&# Si :Q:,nF. G B "D,n28 : C", C"A. #lgorit o -ara construir ,% . C0,- - qiN F/ ,- qi& F/ / . CnA.,- p9nA.q J p9nq + f(p,a)9nf(q,a) " a& / 8 Cn ,CnA. ,C9 Ejemplo :

Cara <allar las partes de equi#alen!ia del autmata primero debemos partir de un autmata finito !one$o Cara ello #amos a eliminar qL, +a que no es posible a!!eder a 5l desde el estado ini!ial (q.) A<ora #amos a estable!er las partes de equi#alen!ia: % C0,- Q2F, F/ ,- - q./ , - q8, q>/ / A<ora <a!emos C., para ello sabemos que - q./ #a a se0uir i0ual, es de!ir, #a a ser equi#alente !on si0o mismo, puesto que a!!ede a los mismo estados(finales o no finales) *iramos - q8, q>/ + !omprobamos si a!!eden al mismo tipo de estado para las mismas entradas, es de!ir, sabiendo que q8 90 q> #amos a #er si q8 9. q>: f(q8,a),q>& F f(q8,b),q.N F f(q>,a),q8& F f(q>,b),q.N F lue0o q8 9. q> C.,- - q./ , - q8, q>/ / , C0, C9 #lgorit o -ara 1allar el aut ata 2ni o de uno dado . 4al!ular el autmata !one$o . 4onstruir QO9 del autmata !one$o obtenido en el punto anterior 8 4al!ular AH,( ,QO9,fH,40,FH), donde: a. C0 es la !lase donde se en!uentra q0 M b F,- ! : ! !ontiene al menos un estado de F(es de!ir, e$iste un q& F, tal que q& !)/ M ! f: QO9 $ % QO9, donde fH(!i, a), !" J B qi & !i + B q" & !" : f(qi,a),q" Ejemplo:

9s un autmata !one$o, pues todos sus estados son a!!esibles, #amos a <allar las partes de equi#alen!ia: C0,- - s,t,u,#/ ,- p,q,r/ / (,- Q2F,F/ ) miramos la equi#alen!ia de las !lases de equi#alen!ia estable!idas en C0 f(p,a) , p& FM f(p,b), q& FM f(q,a), r& FM f(q,b),p& FM f(r,a), r& FM f(r,b),r& FM aqui #emos que - p,q,r/ se !onser#a pues tienen i0uales transi!iones a estados finales a partir de las entradas f(s,a),tN FM f(s,b),p& F f(t,a),tN FM f(t,b),uN F f(u,a),tN FM f(u,b),#N F f(#,a),#N FM f(#,b),uN F a<ora #emos que mientras t,u,# tienen i0uales transi!iones a estados no finales para las mismas entradas, si0uen siendo equi#alentes, mientras que s para b transita a un estado final, +a ser) equi#alente a los tres estados anteriores: C.,- - p,q,r/ ,- s/ ,- t,u,#/ / A<ora <allamos C8: f(p,a) , p& FM f(p,b), q& FM f(q,a), r& FM f(q,b),p& FM f(r,a), r& FM f(r,b),r& FM f(t,a),tN FM f(t,b),uN F f(u,a),tN FM f(u,b),#N F f(#,a),#N FM f(#,b),uN F C8, - - p,q,r/ ,- s/ ,- t,u,#/ / , C. lue0o C9, - - p,q,r/ ,- s/ ,- t,u,#/ /

9l autmata mnimo nos #a a quedar:

Si nos pidieran el len0ua"e del autmata: 3(A),3(AH),- b(aAb)7/ , (donde A es el autmata ini!ial, + AH es el autmata mnimo) #ut atas %qui*alentes 3u a directa de aut atas finitos deter inistas Sean los AFD A.,( , Q., f., q0., F.) + A8,( , Q8, f8, q08, F8), tales que Q. + Q8 no tienen elementos !omunes 3lamamos suma dire!ta de A. + A8 al autmata A,A.AA8,( , Q.(Q8, f, q0, F.( F8), dinde q0 es uno !ualquiera de los dos estados q0. o q08, + f se define as: f(q,a),f.(q,a) si q& Q. f(q,a),f8(q,a) si q& Q8 %qui*alencia de aut atas Sean los AFD A.,( , Q., f., q0., F.) + A8,( , Q8, f8, q08, F8) De!imos que dos estados p& Q. + q& Q8 son equi#alentes si f(p,$)& F.J f(q,$)& F8, para todo $& 7 De!imos que los dos autmatas son equi#alentes si re!ono!en el mismo len0ua"e 9s de!ir: si f(q0.,$)& F.J f(q08,$)& F8, para todo $& 7 Di!<o de otro modo, de!imos que dos autmatas son equi#alentes si sus estados ini!iales los son: q0.9q08 Teore a.4 Sean dos autmatas finitos deterministas A.,( , Q., f., q0., F.) + A8,( , Q8, f8, q08, F8), tales que Q. + Q8 no tienen estados !omunes + :Q.:,n. + :Q8:,n8 9nton!es, A. + A8 son equi#alentes si q0. +q08 son equi#alentes en el autmata A,A.AA8, es de!ir, si ambos autmatas a!eptan las mismas palabras de lon0itud menor que n.An82. Adem)s, en 0eneral, n.An828 es el #alor m)s peque=o que !umple siempre este teorema #!5/0IT&/ ,#0# 6%0 3I D/3 #7T8&#T#3 3/+ %97I6#!%+T%3 . 4al!ular la suma dire!ta de autmatas . 4onstruir C9 del autmata suma obtenido 8 4omprobar que los estados ini!iales son equi#alentes, es de!ir, est)n en la misma !lase de equi#alen!ia 4uando se da la !ondi!in: p0., p08 & 40 G A. + A8 son equi#alentes Ejemplo:

9l autmata suma me dar): f: q1 *q2 *q. q; -1 *-2 a q8 q> q8 q. p8 p8 b q. q. q. q. p. p.

-.

p8

p.

C0,- - q., qL, p., p>/ , - q8, q>, p8/ / C.,- - q., p., p>/ , - qL/ ,- q8, q>, p8/ / C8,- - q., p., p>/ , - qL/ ,- q8, q>, p8/ / lue0o C., C8 ,C9 Iso orfis o entre #ut atas Se di!e que A. es isomorfo a A8, es de!ir, A.P A8 si B i :Q.% Q8, (i : ima0en) Cor lo tanto : . i(p0.) , p08 (la ima0en del estado ini!ial de A. es el estado ini!ial de A8 . Dados p& F., q& F8 : i(p)& F8, + i(q)& F. (es de!ir, la ima0en de los estados finales de uno de los autmatas, es un estado final del otro autmata) 8 i(f.(p.,e)) , f8(i(p.),e) , f8(i(p8),e) 3a ima0en de la transi!in es la transi!in de la ima0en Cor lo tanto A. + A8 son i0uales renombrando estados 9nton!es si dos autmatas son isomorfos #an a ser equi#alentes, es de!ir, los len0ua"es que #an a 0enerar ambos autmatas #an a ser el mismo : 3(A.) , 3(A8) 4on esto !omprobamos que la isomorfa impli!a la equi#alen!ia Teore a : Si dos autmatas son equi#alentes, enton!es sus autmatas mnimos son isomorfos, es de!ir : A.9A8 G Q.P Q8 (siendo Q i E autmata mnimo de Ai)

2.1.2

Autmatas &initos No determnisticos


AS

AUT@4ATAS !INITAS NA 2'T'"4INBSTI

CA!ND

8i tratamos de de-inir el tBrmino autmata -inito no determinista3 veremos que la ma1or #arte de la de-inicin se #uede obtener a #artir de la de 2F6. Es decir3 tendremos un con unto -inito de estados L3 un al-abeto de entrada I3 un estado inicial o de #artida sH3 un con unto de estados ace#tados 2 1 una regla de transicin. La .nica di-erencia que e7iste se encuentra en las reglas de transicin. En un 2F03 las reglas asocian #ares 483 q5 con Cero o m's estados. 8e #uede decir que las reglas relacionan #ares 483 q5 con colecciones de con untos de estados. Esto conduce a una di-erencia signi-icativa entre un autmata de estado -inito no determin$stico 1 un autmata de estado -inito que en Bste .ltimo la -uncin de estado siguiente conduce a un estado un$vocamente determinado3 mientras que en un 2F0 la -uncin de estado siguiente lleva a un con unto de estados.
AN '0TA=

&n 2F06 es una 5 tu#la o quinteta 4 G3 23 L3 sH3 -5 donde) !. &n con unto -inito G de simbolos de entrada. %. &n con unto -inito L de estados

3. &n subcon unto 2 de L de estados ace#tados =. &n estado inicial sH L 5. &na -uncin - es una relacin sobre 4 L 7 G 5 K L llamada relacin de transicin 2e&inicin 6is#ositivo que tiene un n.mero -inito de estados3 algunos de los cuales son los estados iniciales 13 #or lo menos uno3 es un estado de ace#tacin. Cada estado tiene que discernir entre un con unto de caminos v'lidos3 e7aminando si estos conducen a un estado de ace#tacinL nada #ermite di-erenciar entre dos caminos /ec/os #or el mismo s$mbolo de entrada

2e&inicin &ormal C&n 2F06 es una qu$ntu#la 4I3 L3 -3 23 sH5 D 6onde) O I con unto -inito de s$mbolos de entrada. O L con unto -inito de estados de transicin O relacin de transicin en I 7 L sobre L O 2 con unto de estados ace#tados C LD O sH estados iniciales CJ LD 'jemplo

Autmatas de pila no-deterministas


Los autmatas de pila no%deterministas coinciden con sus homlogos de pila salvo en que su transicin no es propiamente una funcin. -qu' se tiene que la transicin es un subcon(unto . Ejemplo: #l lengua(e de pal'ndromas sin marca central

es reconocido por un autmatas de pila no+determinista que funciona de acuerdo con el sigiente procedimiento0 Avanzando a la derec&a' se almacena primeramente cada smbolo y cuando se ((cree)) estar a la mitad' se compara cada smbolo ledo con el tope de la pila. *i coinciden' se contin+a. !n otro caso se marca un error. #l no+determinismo del autmata est en que no se precisa en qu! momento pasar al estado de desempilar. %ransita a !se de manera indeterminada. /tt#)MMdelta.cs.cinvestav.m7MNgmoralesMtaMnode!6./tml

Autmatas Finitos Deterministas Se llama Autmata Finito Determinista (AFD) a la quntupla: ( , Q, f, q0, F) es un alfabeto, llamado "alfabeto de entrada" Q es un !on"unto finito, no #a!o llamado "!on"unto de estados" f es una fun!in f: Q$ % Q que se llama "fun!in de transi!in" q0& Q es el "estado ini!ial" F' Q es el !on"unto de "estados finales", o "estados de a!epta!in", no #a!o

(n AFD puede !onsiderarse !omo una m)quina se!uen!ial de *oore, !u+o alfabeto de entrada sea , su alfabeto de salida S,- 0,./ , + donde F ser) el !on"unto de los estados tales que 0(q),. Tabla de Transicin Ser) una tabla !u+as filas est)n en!abe1adas por los estados (elemen2tos de Q) 3os en!abe1amientos de las !olumnas son los smbolos del alfabeto de entrada (los elementos de ) 4umpli5ndose que el elemento i, " de la tabla de transi!in !orresponde al #alor de f(qi, e"), donde qi es el elemento i25simo de Q, + e" es el elemento "25simo de 6anto el estado ini!ial !omo el final estar)n mar!ados por % + por 7 respe!ti#amente Nota: el estado final puede ser indi!ado tambi5n rodeando el estado por un !r!ulo ( ): a1...an q0 ..... qi ...... *qf Ejemplo: AF,(- 0,./ ,- q0,q.,q8/ , f, q0, - q./ ) f q0 *q1 q2 0 q. q0 q. 1 q0 q8 2

Diagra a de Transicin 9s un 0rafo diri0ido que se forma de la si0uiente manera: 9l 0rafo tendr) tantos nodos !omo : Q: , !ada nodo estar) etiquetado por un elemento de Q

Si f(qi, e") , q;, dibu"aremos una rama diri0ida desde el nodo de etiqueta qi <asta el nodo de etiqueta q; 3a etqueta de la rma ser) e" I 9l estado ini!ial estar) se=alado mediante el smbolo % S 3os estados finales estar)n se=alados mediante el simbolo 7, o doble !r!ulo alrededor de la etiqueta del estado final ?epresentamos los estados !omo:

Ejemplo: (partiendo del autmata anterior)

!engua"e asociado a un aut ata finito deter inista !(#$D) Sea un AFD ( , Q, f, q0, F) De!imos qie una palabra $ & 7 es "a!eptada" o "re!ono!ida" por el autmata si f(q0,$) & F Se llama len0ua"e aso!iado al autmata finito, o !ondu!ta del autmata finito al !on"unto de todas las palabras a!eptadas por 5ste 9s de!ir: 3 , - $ : $& 7 @ f(q0,$)& F/ Ejemplo:

0 & 3(AF), +a que f(q0, 0) , q. & F .0 & 3(AF) .70 & 3(AF) .70.0 & 3(AF) 3ue0o 3(AF) , .70(.0)7 Ejemplo 2 :

4al!ulo posibles !aminos desde q0 a q0 (por ser el estado ini!ial): (.7A(.0)70)7 4aminos desde el estado ini!ial <asta el estado final (el mas !orto): 0 4aminos desde el estado final al estado final sin pasar por el ini!ial: (.0)7 3ue0o 3(AF), (.7A(.0)70)7 0 (.0)7 %stado #ccesible

(n estado de un AF es a!!esible si e$iste una palabra $ que permite que el autmata se pare en ese estado partiendo del estado ini!ial 9s de!ir, un estado q es a!!esible desde otro estado p del autmata si e$iste una !adena $ que permite que el autmata transitando desde p !on $ se pare en el estado q: q& Q es a!!esible si B $ : $ & 7 : q , f(q0, $) Cor defini!in de fun!in de transi!in, todo estado es a!!esible desde s mismo, + es a!!esible mediante la palabra #a!a !%&# del estado accesible Dado un AF que tiene n estados, :Q:, n, un estado q& Q es a!!esible desde otro estado p si + slo si B $& 7 : :$:Dn (siendo n el nE de estados de autmata) : f(p,$),q Supon0amos :$:F,n : f(p,$,q G siempre es posible es!ontrar otra !adena $H& 7 : :$:Dn : f(p,$H),q 9s de!ir, que si +o ten0o un autmata !on n estados, si transito por todos los estados, pasando una #e1 por !ada estado, <abr5 reali1ado n2. transi!iones, que es menos que n estados Si :$:F,n para la transi!in se repetir) al menos un estado Ejemplo :

q8 es a!!esible desde q0, por e"emplo !on la palabra: $,..000., :$:,I, !omo :Q:,>, de!imos que siempre podremos en!ontrar una palabra $H tal que :$H:D:$: (puesto que :$:F: Q:) + adem) !umple que :$H:D:Q: 9sta $H sera: $H,0. #ut atas cone'os Sea ( , Q, f, qo, F) un autmata finito determinista Diremos que el autmata es "!one$o" si todos los estados de Q son a!!esibles desde el estado ini!ial qo Dado un autmata no !one$o, podemos obtener a partir de 5l otro autmata que sea !one$o eliminando todos los estados que no sean a!!esibles desde qo 9s e#idente que los dos autmatas a!eptar)n el mismo len0ua"e 9"emplo: sea el autmata definido por el dia0rama de transi!in si0uiente:

9s e#idente que los estados q ( s son ina!!esibles desde el estado ini!ial p Cor lo tanto, el autmata si0uiente a!eptar) el mismo len0ua"e:

&ini i)acin de #$ %qui*alencia de estados en #$ Sea el autmata finito determinista ( , Q, f, q0, F) De!imos que dos estados p,q& Q son equi#alentes (se representa por p9q) si para toda palabra $& 7, se #erifi!a que f(p,$)& FJ f(q,$)& F +ota: Si p9q enton!es p9nq, para todo n ,ro-iedades de la equi*alencia de estados Dado AF,( , Q, f, q0, F), !on p,q& Q R , p9q si " $& 7 % f(p,$)& FJ f(q,$)& F I p9;q (p + q son ;2equi#alentes) si: " $& 7 : :$:D,; % f(p,$)& FJ f(q,$)& F S Ambas rela!iones de equi#alen!ia 9 + 9; indu!en una parti!in de equi#alen!ia sobre el autmata finito 9s de!ir: 9 indu!e C9, + 9; indu!e C; T 3a primera parti!in que se estable!e es C0, se <a!e !on: p 90q J ( p& FJ q& F) Kota: 9nton!es C0,- (Q2F),F/ U 9;,si p9;q G p9#q " #D;M si p9q G " ; p9;q !%&#1(propiedad de estados) Si p9;A.q G p9;q + f(p,a)9;f(q,a) " a& !%&#2 C;,C;A. G C;, C9 !%&#. (Se #a a estable!er !uando se estabili1a el #alor de la parti!in) Si :Q: , n F. G p9nq J p9n28q 9s de!ir, n28 es el 0rado de equi#alen!ia menor al que <abra que lle0ar para !onse0uir !onfirmar la equi#alen!ia de dos estados en un autmata !on n estados T%/0%&# Si :Q:,nF. G B "D,n28 : C", C"A. #lgorit o -ara construir ,% > C0,- - qiN F/ ,- qi& F/ / L CnA.,- p9nA.q J p9nq + f(p,a)9nf(q,a) " a& / R Cn ,CnA. ,C9 Ejemplo :

Cara <allar las partes de equi#alen!ia del autmata primero debemos partir de un autmata finito !one$o Cara ello #amos a eliminar qL, +a que no es posible

a!!eder a 5l desde el estado ini!ial (q.) A<ora #amos a estable!er las partes de equi#alen!ia: % C0,- Q2F, F/ ,- - q./ , - q8, q>/ / A<ora <a!emos C., para ello sabemos que - q./ #a a se0uir i0ual, es de!ir, #a a ser equi#alente !on si0o mismo, puesto que a!!ede a los mismo estados(finales o no finales) *iramos - q8, q>/ + !omprobamos si a!!eden al mismo tipo de estado para las mismas entradas, es de!ir, sabiendo que q8 90 q> #amos a #er si q8 9. q>: f(q8,a),q>& F f(q8,b),q.N F f(q>,a),q8& F f(q>,b),q.N F lue0o q8 9. q> C.,- - q./ , - q8, q>/ / , C0, C9 #lgorit o -ara 1allar el aut ata 2ni o de uno dado > 4al!ular el autmata !one$o L 4onstruir QO9 del autmata !one$o obtenido en el punto anterior R 4al!ular AH,( ,QO9,fH,40,FH), donde: a. C0 es la !lase donde se en!uentra q0 M b F,- ! : ! !ontiene al menos un estado de F(es de!ir, e$iste un q& F, tal que q& !)/ M ! f: QO9 $ % QO9, donde fH(!i, a), !" J B qi & !i + B q" & !" : f(qi,a),q" Ejemplo:

9s un autmata !one$o, pues todos sus estados son a!!esibles, #amos a <allar las partes de equi#alen!ia: C0,- - s,t,u,#/ ,- p,q,r/ / (,- Q2F,F/ ) miramos la equi#alen!ia de las !lases de equi#alen!ia estable!idas en C0 f(p,a) , p& FM f(p,b), q& FM f(q,a), r& FM f(q,b),p& FM f(r,a), r& FM f(r,b),r& FM aqui #emos que - p,q,r/ se !onser#a pues tienen i0uales transi!iones a estados finales a partir de las entradas f(s,a),tN FM f(s,b),p& F f(t,a),tN FM f(t,b),uN F f(u,a),tN FM f(u,b),#N F f(#,a),#N FM f(#,b),uN F a<ora #emos que mientras t,u,# tienen i0uales transi!iones a estados no finales para las mismas entradas, si0uen siendo equi#alentes, mientras que s para b transita a un estado final, +a ser) equi#alente a los tres estados anteriores:

C.,- - p,q,r/ ,- s/ ,- t,u,#/ / A<ora <allamos C8: f(p,a) , p& FM f(p,b), q& FM f(q,a), r& FM f(q,b),p& FM f(r,a), r& FM f(r,b),r& FM f(t,a),tN FM f(t,b),uN F f(u,a),tN FM f(u,b),#N F f(#,a),#N FM f(#,b),uN F C8, - - p,q,r/ ,- s/ ,- t,u,#/ / , C. lue0o C9, - - p,q,r/ ,- s/ ,- t,u,#/ /

9l autmata mnimo nos #a a quedar:

Si nos pidieran el len0ua"e del autmata: 3(A),3(AH),- b(aAb)7/ , (donde A es el autmata ini!ial, + AH es el autmata mnimo) #ut atas %qui*alentes 3u a directa de aut atas finitos deter inistas Sean los AFD A.,( , Q., f., q0., F.) + A8,( , Q8, f8, q08, F8), tales que Q. + Q8 no tienen elementos !omunes 3lamamos suma dire!ta de A. + A8 al autmata A,A.AA8,( , Q.(Q8, f, q0, F.( F8), dinde q0 es uno !ualquiera de los dos estados q0. o q08, + f se define as: f(q,a),f.(q,a) si q& Q. f(q,a),f8(q,a) si q& Q8 %qui*alencia de aut atas Sean los AFD A.,( , Q., f., q0., F.) + A8,( , Q8, f8, q08, F8) De!imos que dos estados p& Q. + q& Q8 son equi#alentes si f(p,$)& F.J f(q,$)& F8, para todo $& 7 De!imos que los dos autmatas son equi#alentes si re!ono!en el mismo len0ua"e 9s de!ir: si f(q0.,$)& F.J f(q08,$)& F8, para todo $& 7 Di!<o de otro modo, de!imos que dos autmatas son equi#alentes si sus estados ini!iales los son: q0.9q08 Teore a.4 Sean dos autmatas finitos deterministas A.,( , Q., f., q0., F.) + A8,( , Q8, f8, q08, F8), tales que Q. + Q8 no tienen estados !omunes + :Q.:,n. + :Q8:,n8 9nton!es, A. + A8 son equi#alentes si q0. +q08 son equi#alentes en el autmata A,A.AA8, es de!ir, si ambos autmatas a!eptan las mismas palabras de lon0itud menor que n.An82. Adem)s, en 0eneral, n.An828 es el #alor m)s peque=o que !umple siempre este teorema #!5/0IT&/ ,#0# 6%0 3I D/3 #7T8&#T#3 3/+ %97I6#!%+T%3 > 4al!ular la suma dire!ta de autmatas L 4onstruir C9 del autmata suma obtenido R 4omprobar que los estados ini!iales son equi#alentes, es de!ir, est)n en la misma !lase de equi#alen!ia 4uando se da la !ondi!in: p0., p08 & 40 G A. + A8 son equi#alentes Ejemplo:

9l autmata suma me dar): f: q1 *q2 *q. q; -1 *-2 -. a q8 q> q8 q. p8 p8 p8 b q. q. q. q. p. p. p.

C0,- - q., qL, p., p>/ , - q8, q>, p8/ / C.,- - q., p., p>/ , - qL/ ,- q8, q>, p8/ / C8,- - q., p., p>/ , - qL/ ,- q8, q>, p8/ / lue0o C., C8 ,C9 Iso orfis o entre #ut atas Se di!e que A. es isomorfo a A8, es de!ir, A.P A8 si B i :Q.% Q8, (i : ima0en) Cor lo tanto : > i(p0.) , p08 (la ima0en del estado ini!ial de A. es el estado ini!ial de A8 L Dados p& F., q& F8 : i(p)& F8, + i(q)& F. (es de!ir, la ima0en de los estados finales de uno de los autmatas, es un estado final del otro autmata) R i(f.(p.,e)) , f8(i(p.),e) , f8(i(p8),e) 3a ima0en de la transi!in es la transi!in de la ima0en Cor lo tanto A. + A8 son i0uales renombrando estados 9nton!es si dos autmatas son isomorfos #an a ser equi#alentes, es de!ir, los len0ua"es que #an a 0enerar ambos autmatas #an a ser el mismo : 3(A.) , 3(A8) 4on esto !omprobamos que la isomorfa impli!a la equi#alen!ia Teore a : Si dos autmatas son equi#alentes, enton!es sus autmatas mnimos son isomorfos, es de!ir : A.9A8 G Q.P Q8 (siendo Q i E autmata mnimo de Ai)

/tt#)MMali#so.comMmonogra-iasM%56!Oautomatas%M 2.2 '(presiones re%ulares.


0elacin entre %'-resiones 0egulares ( !engua"es regulares.

4omo la terminolo0a su0iere, la !one$in entre len0ua"es re0ulares + e$presiones re0ulares es mu+ estre!<a 3os dos !on!eptos son esen!ialmente el mismoM para !ada len0ua"e re0ular e$iste una e$presin re0ular, + para !ada e$presin re0ular e$iste un len0ua"e re0ular 9n la primera parte de este !aptulo un pro!edimiento formal de la transforma!in de una 9? (9$presin ?e0ular) a un AF, para ello debemos !onsiderar las tres opera!iones b)si!as de una 9?, a saber, 4erradura de Vleen, 4on!atena!in + 4on"un!in 9l paso !ontrario es la transforma!in de un AF a una 9?, que b)si!amente tendramos que ir eliminando nodos <asta lle0ar a dos, el ini!io + el final !as %'-resiones 0egulares denotan lengua"es regulares Crimero mostramos que si r es una e$presin re0ular, enton!es 3(r) es un len0ua"e re0ular Kuestra defini!in di!e que un len0ua"e es re0ular si es a!eptado por al0Wn AFD Debido a la equi#alen!ia entre AFD + AFK, un len0ua"e es tambi5n re0ular si es a!eptado por un AFK 6eorema (n len0ua"e es re0ular si es a!eptado por un AF La prueba consiste en dar un procedimiento para transformar en forma sistemtica una ER en una AF que acepte su len uaje. El objeti!o es con!ertir una E"presi#n Re ular en un AF ,asos -ara transfor ar una %0 a un #$ Sabemos que e$isten tres opera!iones b)si!as entre 9?, por lo tanto, !ualquier 9? es una !ombina!in de 5stas De aqu que debamos reali1ar una de las si0uientes transforma!iones a la #e1 <asta lo0rar el ob"eti#o 3a si0uiente fi0ura representa un 0rafo de transi!in 0enerali1ado

9l len0ua"e a!eptado por di!<o 0rafo es 3(a7 A a7 (aAb)!7), la li0a (q 0,q0) etiquetada !on a es un !i!lo que puede 0enerar !ualquier nWmero de aHs, esto es, se representa por 3(a7) Codemos etiquetar esta li0a !omo a7, sin !ambiar el len0ua"e a!eptado por el 0rafo

A<ora bien, dada la 9? aA a(aAb)7a 6enemos

Carti!ionando el Autmata obtenemos lo si0uiente

9"er!i!io Xbtener el AF que a!epte las si0uientes 9$presiones: a) (a A ba)7bb b" (a A bb)7 (ba7 A ) c" (ab7a7) ((ab)7 ba) 9s intuiti#amente ra1onable que el in#erso del teorema anterior se !umple, + que para !ada len0ua"e re0ular, debe e$istir una e$presin re0ular Debido a que !ada len0ua"e re0ular tiene aso!iado un AF + por lo tanto un 0rafo de transi!in, lo Wni!o que ne!esitamos <a!er es en!ontrar una e$presin re0ular !apa1 de 0enerar las etiquetas de todos los !aminos desde q0 <asta el estado final 9sto podra ser un po!o !ompli!ado debido a la e$isten!ia de !i!los que se apare!en arbitrariamente, en !ualquier orden 9sto !rea un problema que debe ser mane"ado !on !uidado 9$isten #arias formas de <a!er estoM una de las apli!a!iones !omunes requiere un #ia"e a lo que llamamos 0rafos de transi!in 0enerali1ados (n 0rafo de transi!in 0enerali1ado es un 0rafo de transi!in !u+as li0as est)n etiquetadas !on e$presiones re0ularesM de otra forma esto sera lo mismo que un 0rafo de transi!in normal 3a etiqueta de !ualquier !amino desde el estado ini!ial <asta el estado final es la !on!atena!in de #arias e$presiones re0ulares, + as es una e$presin re0ular 3as !adenas denotadas por tales e$presiones re0ulares son un sub!on"unto de los len0ua"es a!eptados por el 0rafo de transi!in 0enerali1ado, !on el len0ua"e !ompleto formado por la unin de tales sub!on"unto 0enerali1ados #1ora transfor a os un #$ en una %0 . A=adir un estado ini!ial + final al AF, !on transi!iones #a!as 8 9liminar nodos intermedios en la Y6 (Yrafo de 6ransi!in)

>

3a Y6 se transforma en una sola 9?

9n la fi0ura De p. a q.: De p. a qn: De pn a q.: De pn a qn:

anterior #emos que se puede eliminar el nodo q, quedando lo si0uiente: .(. A An) . .(. A An) n n(. A An) . n(. A An) n

9l 0rafo de !ualquier AFK puede ser !onsiderado un 0rafo de transi!in 0enerali1ado si las etiquetas de las li0as se interpretan apropiadamente (na li0a etiquetada !on el smbolo a es interpretado !omo una li0a etiquetada !on la e$presin a, mientras que una li0a etiquetada !on mWltiples smbolos a,b,Z es interpretada !omo una li0a etiquetada !on las e$presiones aAbAZ De aqu que se si0ue que para !ada e$presin re0ular, e$iste un 0rafo de transi!in 0enerali1ado que la a!epta [n#ersamente, !ada len0ua"e a!eptado por un 0rafo de transi!in es re0ular Debido a que la etiqueta de !ada !amino en un 0rafo de transi!in 0enerali1ado es una e$presin re0ular, esto pare!e ser una !onse!uen!ia inmediata del teorema anterior 3a equi#alen!ia para los 0rafos de transi!in 0enerali1ados est) definida en t5rminos del len0ua"e a!eptado 4onsideremos un 0rafo de transi!in 0enerali1ado !on los estados -q,qi,q",Z/, donde q no es estado ini!ial ni final, + para el !ual !reamos un 0rafo de transi!in 0enerali1ado, !on al menos un estado eliminado q Codemos <a!er esto sin no alteramos el len0ua"e denotado por el !on"unto de etiquetas que pueden ser 0enerados !uando #amos de q0 a qf 3a !onstru!!in lo0rada est) ilustrada en la si0uiente fi0ura, en donde el estado q es eliminado + las li0as a,b,Z se usan para las e$presiones 0enerales

9l !aso anterior es el 0eneral en el sentido de que q no tiene li0as a todos los estados qi,q,q" 9l 0rafo queda de la si0uiente manera:

3a !onstru!!in del 0rafo anterior muestra las li0as que <an sido introdu!idas de modo que el len0ua"e del 0rafo de transi!in 0enerali1ado no !ambia !uando eliminamos q 9l pro!eso !ompleto requiere que esto sea reali1ado en todos los pares (q i,q") en V2-q/ antes de eliminar q A pesar de que no mostramos formalmente la prueba de esto, puede mostrarse que la !onstru!!in desembo!a en un 0rafo de transi!in 0enerali1ado equi#alente (n ar0umento m)s ri0uroso, sera dar un m5todo formal para !onstruir los estados + las transi!iones de las m)quinas !ombinadas a partir de los estados + transi!iones de las partes, enton!es probar por indu!!in sobre el nWmero de operadores que tiene la !onstru!!in del autmata que a!epta el len0ua"e denotado por !ualquier e$presin re0ular parti!ular 9"er!i!io Xbtener la 9? para el AF si0uiente:

(na apli!a!in de bWsqueda de patrones o!urre en la edi!in de te$tos 6odos los editores de te$to permiten es!anear ar!<i#os para en!ontrar la o!urren!ia de una !adena dadaM la ma+ora de los editores e$tienden esta opera!in para permitir bus!ar patrones Cor e"emplo, el editor ed en el sistema operati#o (K[\ re!ono!e el !omando Oaba7!O !omo una instru!!in de bWsqueda del ar!<i#o a la primera o!urren!ia de la !adena ab, se0uido por un nWmero arbitrario de aHs, se0uido por una ! ]emos de este e"emplo que el editor de (K[\ puede re!ono!er e$presiones re0ulares

2.#

$en%uajes no re%ulares.

*efiniciQon 8 (=enguaje regular 4n lenguaje 5 se denomina regular si . s6olo si existe un aut6omata finito determinista 0 tal que 5 - 5(0 ) $e pueden dar definiciones equivalentes, utili6ando e/presiones regulares o gramQaticas regulares, ya que, como 4emos visto en temas anteriores, estos formalismos definen la misma clase de lenguajes.

Mas informaci+n en el arc4ivo temaC.pdf

$'N)UAE' NA "')U$A"=

C2quel lengua e de cu1o #lanteamiento no #ueda generarse un autmata -inito o #ueda e7#resarse en tBrminos de e7#resiones regularesD

$ema de bombeo
6ea un autmata finito con n estados. Una palabra de longitud , define una sucesin de estados ``pasa'' la aplicacin de la palabra de longitud ,N; consistente de los estados por los que al autmata. 6e tiene0

6i

necesariamente al menos un estado ha de aparecer repetido en la sucesin en tres tramos$

. Por

tanto$ se puede descomponer a

$ de manera tal que *; y *3 son corresponde a una . -s' pues$ la fuese

no+vac'os y sus e*tremos derechos coinciden. #sta descomposicin de descomposicin de part'cula no+vac'a de la forma con y

est definiendo un bucle en el autmata. Por tanto$ si

reconocida por el autmata$ tambi!n ha de serlo cualquier palabra de la forma . Puesto de manera muy esquemtica$ se tiene que toda palabra reconocida por un autmata finito cuya longitud e*ceda al n/mero de estados en el autmata necesariamente ha de contener una part'cula no+vac'a que se ``bombea''. Lema 7.1 de Gombeo" 6i - es un lengua(e regular entonces e*iste un entero palabra tal que

tal que toda

con longitud al menos n admite una descomposicin de la forma $ $y .

#n s'mbolos0

=P"

#n efecto$ si - es regular y es reconocido por un autmata finito A.$ entonces el n cuya e*istencia se asevera en el lema es$ precisamente$ el n/mero de estados en A.. La proposicin =.<F es una condicin necesaria para los lengua(es regulares. )onsecuentemente$ cualquier lengua(e que no la satisficiere no puede ser regular. /tt#)MMdelta.cs.cinvestav.m7MNgmoralesMtaMnodePP./tml %"e -lo: #l lengua(e de palabras equilibradas

no es regular. #n efecto$ si lo fuera$ e*istir'a nBMB que satisficiera =.<F con nB en lugar de n". 6ea . #ntonces habr'an de e*istir tales que y$ para

cualquier

. Un minuto de refle*in basta para ver que esto no es posible.

/tt#)MMdelta.cs.cinvestav.m7MNgmoralesMtaMnodeP9./tml %"e -lo: 6ea - el lengua(e consistente de las representaciones en binario$ sin ceros a la izquierda$ de los n/meros primos. - no puede ser regular. #n efecto$ supongamos que para todo

y$ por un momento$ supongamos que - es regular. #l teorema de #uclides sobre la infinidad de los n/meros primos muestra que en - hay cadenas arbitrariamente largas. #li(amos nMB que satisfaga =.<F$ y consideremos un primo pM3n$ es decir$ un primo cuya representacin en binario tenga longitud superior a n. #ntonces podemos encontrar $ es un n/mero primo. 6ea tales que para todo

$ i8;$3$<$ el n/mero representado en binario

por la part'cula y sea ,i la longitud de . Para j8p$ el n/mero ha de ser primo. 6e tiene$ al agrupar a la representacin en binario de " en un primer bloque a la derecha de ,; bits$ p bloques contiguos de ,3 bits hacia la izquierda y uno /ltimo de ,< bits$ que " 8 8 8 =Q"

-hora$ por el %eorema PequeRo de .ermat$ y ;"s83p,3+ ;. Por tanto$ $ pues 3p,383,33 p+;",3. 6ea

. Por tanto$

$ . #ntonces 3,3+

. -s'$ mdulo p$ se tiene las igualdades

Por consiguiente p debe dividir a 3,3+ ;" o a s+;". 7o puede dividir a 3,3+ ;" pues

ya que . Por tanto p debe dividir a s+;. 6e sigue que mdulo p en =.<P se tiene

. -l tomar congruencias

es decir$ el primo " debe ser divisible por el primo p. #sto es una contradiccin y por tanto - no puede ser regular.

Unidad # $en%uajes libres de conte(to.


#.1 )ramticas libres de conte(to. ,ttp=>>acme.mat,.cin+esta+.m(>?basico>cuatro.,tml #.2 *rboles de deri+acin.

Grficas y rboles Lecordamos que una grfica /8 0$A" consta de un con(unto de vrtices y de un con(unto

de aristas A donde cada arista es una pare(a de v!rtices. Para una arista que la arista incide en sus extremos vi$vj y que !stos son adyacentes. Para cada v!rtice grado o la valencia de v es el n/mero de v!rtices que le son adyacentes0

se dice $ el

Un camino entre dos v!rtices u$v es una sucesin de aristas tal que u es un e*tremo de a;$ v lo es de a, y cualesquiera dos aristas contiguas tienen un e*tremo com/n. Una grfica dirigida es una grfica tal que cada arista es un elemento del producto cartesiano $ es decir$ cada arista posee un inicio y un fin. #n tal caso$ las valencias externa e interna cuentan$ respectivamente$ las aristas "ue salen de y las "ue entran a ese v!rtice$ es decir$ para cualquier 0

Un rbol es una grfica dirigida


tal que de grado interior cero. #se v!rtice se dice ser la raiz de

#*iste un /nico v!rtice

. )ualquier v!rtice que no es raiza posee un grado interior igual a ;. es interior si su grado e*terior es mayor que B. Los v!rtices que no son

Un v!rtice

interiores son &ojas. 6i entonces v se dice ser un &ijo de u y u el padre de v. &os v!rtices con un mismo padre se dicen ser &ermanos. Obser acin 1.1 ;. )ada v!rtice tiene un camino /nico que lo conecta con la raiz. #l n/mero de aristas en ese camino es la altura del v!rtice. Los v!rtices visitados por ese camino son los ancestros de v. 3.

Para cada v!rtice el con(unto dice ser el sub rbol enraizado en u. <.

adquiere naturalmente una estructura de rbol. 6e

#n cada v!rtice el subrbol es la unin de (unto con los subrboles enraizados en los hi(os de u. %odo rbol tiene una estructura de con(unto ordenado mediante el orden

6in embargo$ el rbol se dice ordenado slo si en cada v!rtice interior el con(unto de sus hi(os posee un orden lineal$ es decir$ a los hi(os de todo v!rtice u se los puede ordenar de

menor a mayor. &enotemos por al orden de los hi(os de u. Para cada familia de rdenes en hi(os de v!rtices interiores se puede definir$ por e(emplo$ los rdenes siguientes en el rbol Ar0 Preor!en: )ada padre precede a sus hermanos mayores y a los v!rtices del que es ancestro. En"reor!en: #n cada v!rtice interior se divide al con(unto de sus hi(os en dos con(untos de manera que para cualquier pare(a se cumpla . #n el entreorden se tiene que cada padre precede a sus hermanos mayores y a sus /ltimos hi(os$ pero sucede a sus hi(os primeros. Pos"or!en: )ada padre sucede a sus hermanos menores y a los v!rtices del que es ancestro. y

)ualquiera de estos rdenes es un orden de iz"uierda a derec&a0 es un orden de iz"uierda a derec&a si cualesquiera dos v!rtices con subrboles a(enos son tales que todos los v!rtices en el subrbol de uno anteceden a cualquier v!rtice en el subrbol del otro$ i. e. 0

%odo orden de izquierda a derecha es total0 cualesquiera dos v!rtices en el rbol son comparables. #n un tal orden$ la ho(a m'nima se dice ser la ho(a siniestra 1leftmost2 y la m*ima es la ho(a diestra 1rig&tmost2.

Arboles y gramticas
6ea /8 0$$$3$sB" una gramtica libre de conte*to. Un rbol gramatical en / es un rbol ordenado

tal que estn etiquetados con etiquetas en el alfabeto de la gramtica

los v!rtices de

o con la etiqueta vac'a$ $y cada v!rtice interior corresponde a una produccin en /$ es decir$ si A es la etiqueta del v!rtice interior vB y entonces es la palabra formada por las etiquetas de los hi(os de vB es una produccin en 3.

Un rbol gramatical es de derivacin si su raiz est etiquetada con el s'mbolo inicial sB y todas sus ho(as tienen etiquetas terminales o vac'a. La leyenda de un rbol de derivacin es la palabra obtenida al concatenar ordenadamente$ con cualquier orden de izquierda a derecha$ las etiquetas de sus ho(as. -s' pues$ todo rbol de derivacin tiene como leyenda una palabra en - /". Lec'procamente$ para cada palabra en - /" e*iste un rbol de derivacin cuya leyenda

coincide con . 6i y $ donde es una produccin en 3 y consiste /nicamente de s'mbolos terminales$ decimos que se sigue de por la aplicacin diestra de una produccin. Una derivacin es diestra si todas las aplicaciones de producciones hechas son diestras. Las derivaciones siniestras se definen sim!tricamente. Ejemplo. )onsideremos las siguientes producciones0

6endas derivaciones siniestra y diestra de la palabra a ba3"38abaabaa son las siguientes0

#n el lengua(e - /" generado por esta gramtica se encuentran incluidos los siguientes lengua(es0

. &e hecho$ . &e hecho$ $ con

. y x como antes.

$ donde

Para concluir esta seccin presentaremos las nociones de ambig4edad en gramticas. Una gramtica libre de conte*to /8 0$$$3$sB" se dice ser ambigua si alguna palabra de su lengua(e$ posee dos derivaciones diestras. Ejemplos. ;. La gramtica / cuyas producciones son es ambigua pues la palabra ab"3a posee dos derivaciones diestras0

3. 6i para la gramtica /8 0$$$3$sB" incluimos una copia 0' del con(unto de variables no+ iniciales ms copias de las producciones de 3 con s'mbolos en *' entonces la nueva gramtica es ambigua pues cada derivacin diestra puede derivarse considerando s'mbolos en 0 o en su contraparte 0'. #.# !ormas normales de ,oms-y.

Forma normal de Chomsky


Una gramtica libre de conte*to /8 0$$$3$*" se dice estar en forma normal de 5&oms,y si sus producciones son de cualquiera de las dos formas

con

$ o bien

con

Proposicin #.1 %oda gramtica libre de conte*to /8 0$$$3$*" que no genere a la palabra vac'a se puede transformar en una gramtica libre de conte*to /'8 0'$$$3'$*'" en forma normal de )homs4y. #n efecto$ dada una gramtica /$ apliquemos el /ltimo procedimiento de la seccin anterior para transformar a / en una gramtica /'' sin variables in/tiles ni producciones vac'as ni producciones

unitarias equivalente a /. - las producciones que quedasen de la forma y las de(amos sin cambio alguno. - cada produccin de la forma

con $ con

$ la transformamos en una sucesin de producciones de la forma siguiente0 - cada que aparezca en la palabra le asociamos una variable

s'mbolo terminal

nueva 6a e incorporamos la produccin forma

. -s' pues las producciones que no sean de la $ con

con 6 variable y a terminal$ han de ser de la forma

todos variables. Para cada una de estas /ltimas producciones introducimos ,+

3 nuevas variables

e incorporamos la sucesin de producciones

Sbtenemos as' la forma normal equivalente a la gramtica dada. NAA4 8A4SFG HIA)"A!BA 4!9%P : 5 Lingista3 #ro-esor del Instituto de (ecnolog$a de <assac/ussets 4<I(53 cr$tico 1 activista #ol$tico estadounidense3 es el -undador de la gram'tica generativa trans-ormacional3 un sistema de an'lisis del lengua e que /a revolucionado la ling$stica moderna. 2vram 0oam C/omsQ1 naci en Filadel-ia3 "ensilvania. 6esde niFo comenz a desarrollar su a-icin #or la #ol$tica) el #rimer art$culo que #ublic a los !! aFos en el #eridico del colegio trataba de la 9uerra Civil Es#aFola. 6esde mu1 oven estuvo vinculado a movimientos #ol$ticos de izquierdas cercanos al mar7ismo3 a #esar de que Bl #roced$a de una -amilia ud$a de la clase media : alta. Estudi en la &niversidad de "ensilvania3 donde se doctor en Ling$stica en !955. Ese mismo aFo se incor#or como #ro-esor de -rancBs 1 alem'n al Instituto de (ecnolog$a de <assac/ussets 4<I(5 1 en !976 #as a ser catedr'tico de Ling$stica de la mencionada institucin. C/omsQ1 /a #ublicado m's de 7R libros 1 m's de !RRR art$culos sobre diversos temas como ling$stica3 -iloso-$a 1 #ol$tica. <uc/os no dudan en cali-icarle como uno de los #ersona es m's destacados del siglo KK.

8u auge comenz en los aFos 6R3 ugando un im#ortante #a#el en las #rotestas contra la guerra de ;ietnam. Sest dedicacin a su traba o sobre ling$stica #ara escribir acerca de la comunidad acadBmica 1 de los medios de comunicacin en la obtencin del a#o1o de la o#inin #.blica a la #ol$tica de Estados &nidos. 2simismo /a denunciado 1 criticado los cr$menes cometidos en CentroamBrica #or reg$menes dictatoriales a#o1ados #or EE&&3 la actitud norteamericana en Ariente <edio a#o1ando la l$nea dura de los israel$es3 la intervencin militar en la 9uerra del 9ol-o 1 en general la #ol$tica e7terior del mundo occidental3 1 se mani-est a -avor de que los intelectuales recurran a mBtodos cient$-icos #ara cuestionar las #ol$ticas gubernamentales que encuentren inmorales3 1 desarrollar estrategias #r'cticas que las combatan. 8u actitud #ol$tica /a /ec/o de Bl una -igura de ins#iracin #ara algunos movimientos de izquierdas3 1 un enemigo #ara muc/os otros. Es#ecialmente negativa es su relacin con la #rensa estadounidense3 a la que siem#re /a acusado de enmascarar las acciones del gobierno de -orma sub etiva 1 de usti-icar masacres en otros lugares del mundo en nombre de la usticia 1 de los valores democr'ticos. 2ctualmente se de-ine a s$ mismo como Csocialista liberalD. "ero tambiBn su a#ortacin a la ciencia de la Com#utacin /a sido mu1 signi-icativa. C/omsQ1 -ue el creador de un nuevo modelo ling$stico3 la gram'tica generativa trans-ormacional3 que e7#uso #or #rimera ves en su libro Estructuras Sintcticas. Estableci una di-erencia entre el conocimiento innato 1 con -recuencia inconsciente que los individuos tienen de la estructura de su lengua 1 el modo en que utilizan Bsta diariamente. El #rimero3 al que llam Ccom#etenciaD3 #ermite al /ablante distinguir las oraciones gramaticales de las que no lo son3 as$ como generar 1 com#render un n.mero ilimitado de oraciones nuevas. El segundo3 que llam CactuacinD3 es la mani-estacin de la com#etencia3 las oraciones realmente emitidas #or el /ablante en los actos de /abla concretos. 2ntes de C/omsQ13 la ma1or$a de las teor$as sobre la estructura del lengua e describ$an la CactuacinD3 analizaban los enunciados concretos3 la estructura -ormalL #or tanto3 eran gram'ticas trans-ormacionales. "ara C/omsQ13 la ling$stica tambiBn debe ocu#arse de las estructuras #ro-undas3 del #roceso mental que sub1ace ba o el uso del lengua e3 es decir3 de la naturaleza del lengua e en s$ mismo3 o gram'tica generativa. Entre las #ublicaciones m's im#ortantes de C/omsQ13 a#arte de la 1a mencionada Estructuras sintcticas 4!97E53 se encuentran) La responsabilidad de los intelectuales y otros ensayos histricos y polticos 4!96953 Lingstica cartesiana: Un captulo de la historia del pensamiento racionalista 4!96953 Aspectos de la teora de la sinta is 4!97R53 El lengua!e y el entendimiento 4!97!53 "uerra o pa# en el $riente %edio 4!97553 El miedo a la democracia 4!99%5 1 El mue&o orden mundial 'y el &ie!o( 4!9965. Jerar u!a de Gramticas Las gram'ticas se clasi-ican de acuerdo con su com#le idad3 Esta clasi-icacin3 conocida como erarqu$a de C/omsQ13 se establece aumentando las restricciones sobre la -orma de las #roducciones.

Las gram'ticas de ti#o R son gramticas sin restricciones3 es decir3 no /a1 restricciones #ara el lado izquierdo ni #ara el lado derec/o de las #roducciones. Estas gram'ticas generales3 no tienen relevancia en los lengua es de #rogramacin de la actualidad. Escribir un analizador sint'ctico #ara una gram'tica de ti#o R ser$a una tarea mu1 ardua. La -orma de las #roducciones de las gram'ticas de ti#o ! im#lica que las sustituciones slo #ueden e-ectuarse en cierto conte7to3 esto es3 son gram'ticas de#endientes del conte7to. En cambio3 las gram'ticas lineales izquierda 1 derec/a de ti#o 3 son gram'ticas regulares. 6esde el #unto de vista de algunos autores3 las gram'ticas de ti#o % 1 3 son las m's im#ortantes. <ientras las gram'ticas inde#endientes del conte7to de-inen la sinta7is de las declaraciones3 las #ro#osiciones3 las e7#resiones3 etc. 4es decir3 la estructura de un #rograma53 las gram'ticas regulares de-inen la sinta7is de los identi-icadores3 n.mero3 cadenas 1 otros s$mbolos b'sicos del lengua e. "or ello3 es com.n encontrar gram'ticas inde#endientes del conte7to en el an'lisis sint'ctico3 a la vez que las gram'ticas regulares se em#lean como la base del an'lisis lB7ico. #.. !ormas normales de )reibac,.

Forma normal de Greibach


Una gramtica libre de conte*to /8 0$$$3$*" se dice estar en forma normal de /reibac& si sus producciones son de la forma

@eremos que la construccin de formas normales de Treibach equivalentes a gramticas dadas es procedimental. Para cualquier gramtica libre de conte*to /$ definamos$ para cada variable

$ a los con(untos siguientes0

Primeramente observemos que podemos ``componer producciones'' de manera que tengamos siempre una gramtica equivalente a la gramtica dada. Lema #.1 )omposicin de producciones" 6i es una produccin en / y las

producciones en 3 7" pueden escribirse como por las producciones

entonces al sustituir $ obtenemos una gramtica

equivalente a /. #n efecto$ en toda derivacin terminal que aplique en un momento la produccin $ necesariamente se ha de aplicar una produccin en 3 7" para suprimir el s'mbolo 7.

Lema #.2 %ransformacin de producciones ``refle*ivas''" Para cada variable enumeremos 8 6" y 9 6" como

6ea : una variable que no ocurra en 0. 6ea la gramtica que se obtiene al sustituir el con(unto de producciones 3 6" por las producciones

#n efecto$ toda derivacin siniestra$ en la gramtica original$ de una palabra en - /" ha de determinar una derivacin diestra de la misma palabra en la gramtica transformada. La demostracin de la afirmacin anterior es directa. )omo mera ilustracin$ consideremos tan solo un e(emplo0 La gramtica con producciones genera al lengua(e consistente de

las palabras de la forma b ab"K. &e acuerdo con la construccin anterior$ como

$ obtenemos la gramtica

Presentemos sendas derivaciones$ siniestra en la gramtica original y diestra en la transformada$ para la palabra bababab0

@eamos ahora el resultado principal de esta seccin0 Proposicin #.2 %oda gramtica libre de conte*to /8 0$$$3$*" que no genere a la palabra vac'a se puede transformar en una gramtica libre de conte*to /K8 0K$$$3K$*K" en forma normal de Treibach. 6ea pues /8 0$$$3$*" una gramtica libre de conte*to que no genere a . La transformacin a una forma normal de Treibach la hacemos gradualmente mediante los pasos siguientes0 ;. 6ea /'8 0'$$$3'$*'" la forma normal de )homs4y de /. 3. Iodificaremos a las producciones en 3' para tenerlas tales que toda produccin$ cuyo consecuente se inicie con una variable$ ha de ser de la forma con jMi$ para

un cierto orden en el con(unto de variables actuales$ digamos . Para esto apliquemos el procedimiento cuyo seudocdigo se presenta en la figura ?.<. $i%&re '.#: Iodificacinde producciones de acuerdo con el orden de 0'.

Por lo visto en el lema ?.<.3$ la gramtica /'' as' obtenida es equivalente a /. <. -hora$ hecha la transformacin anterior$ se tiene que la /ltima variable 6m slo puede ser antecedente de producciones cuyos consecuentes se inician con s'mbolos terminales$ las producciones en 3 6m+;" cuyos consecuentes se inician con 6m pueden transformarse$ siguiendo el lema ?.<.; de ``)omposicin de producciones''$ en producciones equivalentes cuyos consecuentes se inician con s'mbolos terminales$

de manera sucesiva para i8m+3 hasta i8; las producciones en 3 6i" cuyos consecuentes se inician con alg/n 6j$ con jMi$ pueden transformarse$ siguiendo el lema ?.<.; de ``)omposicin de producciones''$ en producciones equivalentes cuyos consecuentes se inician con s'mbolos terminales.

)on todas estas transformaciones la gramtica resultante /K8 0K$$$3K$*K" es$ en efecto$ equivalente a / y est en forma normal de Treibach. Ejemplo: )onsideremos la gramtica con s'mbolos variables y producciones

la cual ya est en forma normal de )homs4y. %ransform!mosla de acuerdo con el procedimiento anterior. Sbservemos que las dos primeras producciones ya tienen el tipo de las buscadas en el paso 3. del procedimiento anterior. La tercera tiene un consecuente que se inicia con un s'mbolo variable anterior al de su propio antecedente. )ompongamos pues la produccin <. con la ;. Sbtenemos

la cual tambi!n tiene un consecuente que se inicia con un s'mbolo variable anterior al de su propio antecedente. )ompongamos pues la produccin =. con la 3. Sbtenemos la cual es del tipo ``refle*ivo''. Para transformarla$ introduzcamos una nueva variable 7<. Sbtenemos )on esto terminamos el paso 3. del procedimiento anterior. #l con(unto actual de producciones consta de las producciones ;.$ 3.$ ?. y F. Pasemos pues al paso <. del procedimiento. 6ustituyendo ?. en 3. obtenemos 6ustituyendo P. en ;. obtenemos 6ustituyendo Q. en F. obtenemos ;B nuevas producciones

#n resumen$ la gramtica equivalente$ en forma normal de Treibach$ tiene como con(unto de variables a y sus producciones son la ?.$ P.$ Q. y ;B.0

Ejemplo ``Cadenas equilibradas de parntesis'': )onsideremos la gramtica que genera a las cadenas equilibradas de par!ntesis )#P". La forma normal de )homs4y de la gramtica dada es )onsideremos el siguiente orden de las variables0 . La produccin ;. es ``refle*iva''. ,ntroduzcamos una nueva variable$ 6;. -l hacer la transformacin pertinente$ obtenemos0

La produccin =. tiene un consecuente que se inicia con una variable anterior a su antecedente. -l componer =. con >. obtenemos La produccin ?. tiene un consecuente que se inicia con una variable anterior a su antecedente. -l componer ?. con >. obtenemos -l componer P. con 3. obtenemos

#n este momento$ en nuestro con(unto actual de producciones 3.$ <.$ >.$ F. y Q.$ ning/n consecuente se inicia con alguna variable que anteceda a la variable en el antecedente de la produccin correspondiente. #n el paso <. del procedimiento para obtener formas normales de Treibach$ hemos de sustituir la variable por el s'mbolo $ seg/n la produccin 3.$ toda vez que aparezca al inicio del consecuente de alguna produccin. Sbtenemos as' la gramtica0

U esta gramtica ya queda en forma normal de Treibach. Sbservemos que la variable

es

irrelevante. &e hecho si hacemos la sustitucin del otro s'mbolo equivalente

obtenemos la gramtica

que tambi!n est en forma normal de Treibach. #.7 #.9 #.J #./
(E$I)I*IO) Un autmata de pila -P7" es una mquina de estados finito al que se le aRade una memoria e*terna en forma de pila stac4"$ es decir que slo acepta operaciones meter push" y sacar pop". ;efinicin< Un autmata de pila es un autmata finito ms una pila. 6e de definen por la a &upla I 8 VH P H WH XH qBH YBH ." C 1.S7% M donde VH P$6 $ qB y . se definen igual que en un -.7. T es un alfabeto de los caracteres que pueden introducirse a la pila$ y YB es el s'mbolo inicial en la misma$ generalmente l significa pila vac'a"$ pero en ocasiones es /til usar otro s'mbolo. La funcin de transicin es definida como0

'liminacin de !actores omunes iI5uierdos. 'liminacin de recursi+idad iI5uierda. 'liminacin de la ambi%Kedad. Autmatas 0us,12o3n.

0 V * 6 Z 9l : " * T Z 9l : " [ \V * T Z 9l :"]K

es decir que el cambio de estado ya no slo depende del estado y del s'mbolo en la entrada$ sino adems del contenido de la pila$ espec'ficamente del s'mbolo en el tope de la pila. #l contenido de la pila puede cambiar despu!s de cada transicin. Para clarificar a la funcin de transicin$ analicemos la parte por parte0 V * 6 Z 9l : " * T Z 9l : "0 #sta nos dice que los elementos del dominio son tercias estado$ alfabeto$ pila"

\V * T Z 9l :"]K0,ndica que el codominio son varios pares del tipo estado$ pila" #(emplo ?< d qi$ a$ -" 8 9\ q^$ G ] : Para realizar esta transicin es necesario estar en el estado q i$ estar analizando una a en la cadena de entrada y tener en el tope de la pila una -. -l realizarse la transicin pasamos del estado qi al q^ $ se procesa el s'mbolo a$ sacamos - de la pila y metemos G . %ransicin qi$ a$ -" 8 9 q($ G": #n el diagrama de transicin$ -1G significa que se reemplaza una - en el tope de la pila por una G. #l significado de l _ es de cuidado especial$ ya que en ocasiones puede significar `pila vac'a`$ pero ms generalmente significa `no importa lo que hay en la pila`. #*isten tres transiciones especiales que generan una accin en particular$ estas son0 ;. d qi$ l $ - " 8\ qi$ l ] #n esta transicin la /nica accin que ocurre es desapilar -. 3. d qi$ l $ l " 8\ qi$ -] La /nica accin que ocurre es apilar -. <. d qi$ a$ l $" 8\ qi$ l ] #quivale a una transicin de -. normal. como si no tuviera pila"

Teoremas para los a&"ma"as !e pila +P&sh (own,. Definicin: Un AP !e"erminis"a se define como el -P a$6 $T $& $s$." tal que para cada tripleta p$*$y" en a*6 *T $ e*iste una y solo una transicin en & de la forma p$u$vHq$z"$ donde u$v" b 9 *$y"$ *$ e "$ e $y"$ e $e " :$ q b a$ z b T Teorema. 6i L; es un LL) y L3 es un LL$ entonces L; c L3 es un LL). Teorema. %odo lengua(e aceptado por un -. es tambi!n aceptado por un -P. Teorema. 6i L es un LL) entonces hay un -P I tal que L I"8LC 1.S7%M &e la construccin del -P descrito anteriormente$ concluimos la siguiente proposicin0 6[ Kd ssi \p$d$e ] a K \q$e $e ] 6i L; y L3 son LL) entonces e*iste un -P que acepta L;Z L3 A&"ma"as !e Pila - len%&ajes libres !e con"e."o. Los autmatas de pila son mquinas que nos permiten aceptar lengua(es libres de conte*to. Los autmatas de pila son mquinas finitas que tienen una memoria que les da la capacidad de `recordar`. &e esta manera es posible reconocer lengua(es del tipo a ibi A i M8 B$ en el que se necesita saber cuantas aes tiene la palabra para determinar si el n/mero de bes es igual. *lasi/icacin !e A&"ma"as P&sh (own ;. -utmatas a pila embebidos 3. -utmatas a pila embebidos ascendentes <. -utmatas lgicos a pila restringidos

=. -utmatas lineales de 'ndices >. -utmatas con dos pilas A&"ma"as a pila embebi!os #n los cuales la estructura principal de almacenamiento la constituye una pila de pilas. ^unto a la definicin clsica se presenta una nueva formulacin en la cual se elimina el control de estado finito y se simplifica la forma de las transiciones al tiempo que se mantiene la potencia e*presiva. #sta nueva formulacin permite diseRar una t!cnica de tabulacin para la e(ecucin eficiente de los diversos esquemas de compilacin para gramticas de ad(uncin de rboles y gramticas lineales de 'ndices. A&"ma"as a pila embebi!os ascen!en"es )onstituyen los autmatas a pila embebidos ascendentes. #n este cap'tulo se realiza una definicin formal de los mismos$ algo que no se hab'a logrado hasta el momento. La eliminacin del control de estado finito permite simplificar la forma de las transiciones$ lo cual facilita la definicin de una t!cnica de tabulacin para este modelo de autmata. A&"ma"as l%icos a pila res"rin%i!os Las gramticas lineales de 'ndices constituyen un tipo espec'fico de gramticas de clusulas definidas en el cual los predicados tienen un /nico argumento en forma de pila de 'ndices. -provechamos esta caracter'stica para definir una versin restringida de los autmatas lgicos a pila adecuada al tratamiento de este tipo de gramticas y de las gramticas de ad(uncin de rboles. &ependiendo de la forma de las transiciones permitidas$ podemos distinguir tres tipos diferentes de autmata$ uno que permite el anlisis ascendente de los 'ndices o ad(unciones$ otro que permite el anlisis descendente y otro que permite estrategias mi*tas. #n los dos /ltimos casos es preciso establecer restricciones en la combinacin de las transiciones para garantizar que dichos autmatas aceptan e*actamente la clase de los lengua(es de ad(uncin de rboles. 6e presentan esquemas de compilacin y t!cnicas de tabulacin para los tres tipos de autmata. A&"ma"as lineales !e 0n!ices Los autmatas lineales de 'ndices$ que utilizan la misma estructura de almacenamiento que los autmatas lgicos a pila restringidos pero con un (uego diferente de transiciones. &istinguimos tres tipos diferentes de autmata0 los autmatas lineales de 'ndices orientados a la derecha para estrategias en las cuales las pilas de 'ndices se eval/an de modo ascendente$ los autmatas lineales de 'ndices orientados a la izquierda en los cuales las pilas de se eval/an de modo descendente y los autmatas lineales de 'ndices fuertemente dirigidos que permiten definir estrategias mi*tas de anlisis para el tratamiento de las pilas de 'ndices. A&"ma"as con !os pilas 6e opta por un modelo de autmata con una nueva estructura de almacenamiento. 6e preserva la pila de los autmatas a pila tradicionales$ a la que acompaRa una pila au*iliar cuyo contenido restringe el con(unto de transiciones aplicables es un momento dado. Los autmatas con dos pilas fuertemente dirigidos permiten definir esquemas de compilacin arbitrarios para gramticas de ad(uncin de rboles y gramticas lineales de 'ndices. Por su parte$ los autmatas con dos pilas ascendentes slo permiten describir esquemas de compilacin que incorporan estrategias ascendentes en lo referente al tratamiento

de las ad(unciones y de las pilas de 'ndices. 6e presentan las t!cnicas de tabulacin que permiten una e(ecucin eficiente de ambos modelos de autmata.

El /&ncionamien"o "0pico !e &n a&"ma"a p&sh!own. Por e(emplo$ el siguiente autmata de pila reconoce L T" 8 9dcd LAd # BN;"K: $ es decir los pal'ndromes en B N ;"K cuyo punto intermedio est marcado con un carcter especial c0 I 8 9q;$q3:$ 9B$;:$ 9LGT:$ d $ q;$ L$ q " &onde d vale0

;. &escripcin \q$ d$ a ] f \q($v$b ] f K f N 6e pueden usar descripciones instantneas para ver el funcionamiento del autmata0 q$ ad$ za " f p$d$b a " si d q$a$z" 8 p$b ". La cadena de un lengua(e es aceptado por el autmata si !ste para en el estado final0 L I" 8 9dA qB$d$YB" f p$e $g " para alg/n p b .$ g b T K:

#.L

$en%uajes no re%ulares.

Unidad . 45uina de Turin%.


..1 2e&inicin &ormal de una m5uina de Turin%. Es un dis#ositivo de reconocimiento de lengua es3 es mas general que cualquier autmata -inito 1 cualquier autmata de #ila3 debido a que ellas #ueden reconocer tanto los lengua es regulares como los lengua es inde#endientes de conte7to3 1 adem's3 muc/os otros ti#os de lengua e. LA 1234I)A (E T45I)6

#sta mquina fue ideada por -lan %uring ;Q;3+;Q>=" en ;Q<F$ y en realidad$ no es ms que un e*perimento mental. Pese a ello$ los ordenadores modernos estn$ en esencia$ fundamentados en la idea de %uring. #l ingenio consta de dos partes0 una cinta mvil finita y una cabeza capaz de actuar sobre ella de tres maneras distintas0 leyendo$ borrando o grabando. 6upongamos que queremos obtener el resultado a un problema matemtico empleando la mquinaH para lograrlo$ ha de ser capaz de realizar el correspondiente algoritmo$ esto es$ de llevar a cabo el con(unto de operaciones necesarias para hallar la respuesta. )on estas premisas$ efectuamos la pregunta oportunaH la mquina$ entonces$ hace pasar la cinta a un lado y a otro$ leyendo$ borrando y grabando$ hasta que da con la respuesta en virtud del algoritmo citado. #sto puede ocurrir con toda una larga serie de operacionesH operaciones que$ decimos$ son computables. 6in embargo$ cabe la posibilidad de que$ ante determinadas preguntas$ la mquina no tenga capacidad para hallar una determinada respuesta0 gqu! ocurre entoncesh #n esta pregunta hay una clave importante$ pues el dispositivo imaginario de %uring no es capaz por s' mismo de decidir que la pregunta no tiene respuesta y que$ por lo tanto$ es preferible de(ar de buscar y pararse. )omo es evidente$ el cerebro humano no tiene este problema$ pero... gpor qu! no lo tieneh *O)*EPTO7 6E)E5ALE7 (E LA 1234I)A (E T45I)6: 189&ina !e T&rin%0 cualquier problema que no pueda resolver la mquina de

%uring no tiene solucin. Len%&ajes !e Tipo :0 es capaz de reconocer los lengua(es de tipo B. #s una de las

mquinas ms potentes capaces de reconocer cualquier lengua(e y gramtica. Tesis !e T&rin%0 si alg/n problema se puede resolver algor'tmicamente$ entonces

e*iste una mquina de %uring capaz de resolverlo. (e/inicin0 es una mquina de estados$ con una cabeza de lectura y escritura que

se mueve a derecha o izquierda en una cinta. &icha cinta se encuentra dividida en celdas. Operacin0 - #stando en un estado$ lee una celda de la cinta sobre la que se encuentra la cabeza de lectura1escritura.

- Pasa a un nuevo estado. - #scribe un nuevo s'mbolo en la cinta$ reemplazando al anterior le'do$ salvo que se lea el mismo. - Iueve la cabeza de lectura1escritura a la izquierda$ a la derecha o se para. 0"A0I'2A2'S= HH Contiene un n.mero -inito de estados HH <$nimo dos estados3 inicial 1 de #arada HH Cuenta con cabezas de lectura 1Mo escritura que #ueden ir atr's

/acia delante o /acia

&na maquina de (uring es una 7: tu#la < T 4+3 3 3s3 3F353 donde ) + Es un con unto -inito de estados Es el al-abeto de entrada Es el al-abeto de la cinta s Es el estado inicial Es un s$mbolo en blanco 1 no esta en F Es es el con unto de estados -inales o de ace#tacin Es el con unto de transiciones 'E'40$A 2' !UN IANA4I'NTA + T Uq!3q%V T Ua3bV T Ua3b3 V F T Uq%V s T q! 1 dado #or 4q!3a5 T 4q!3 a3 S5 4q!3b5 T 4q!3 a3 S5 4q!3 5 T 4q%3 b3 L5

a b b a a a b a

a b b a

a a a b a

a b a

" uinas de #uring


#stas son autmatas finitas con dos pilas que tienen un tope com/n. S equivalentemente$ son autmatas que poseen una memoria dada por una cinta la cual es un almacenamiento lineal$ infinito a ambos lados$ con acceso a cualquier localidad en ella. #l tope com/n es la casilla leda 1((scanned cell))2$ una pila es la parte de la cinta a la derecha de la casilla le'da y otra pila es su parte izquierda. Las transiciones de la mquina quedan determinadas por una funcin $ donde . #sta vez$ la relacin se interpreta como sigue0 ``6i se est en el estado " y se lee el s'mbolo a entonces se escribe b$ se pasa a p y se va a e*aminar la casilla al lado de la le'da''. &e hecho$ la relacin

puede escribirse como $ y por esto$ decimos que una mquina de %uring queda especificada por su lista de "untuplas. S$ abusando a/n ms del lengua(e$ que una lista de qu'ntuplas es el programa correspondiente a una mquina de %uring. Ejemplo: *a!enas e9&ilibra!as !e par;n"esis Para tener una cadena equilibrada$ cada ``"'' en ella ha de ``empatar'' con un correspondiente `` '' que lo anteceda. Para reconocer cadenas equilibradas procederemos como sigue0 )ada `` '' ya empatado se marcar como ya revisado por una A y cada ``"'' se marcar por una B. ,nicialmente$ se busca el primer ``"''$ yendo de izquierda a derecha. Por cada ``"''$ o se marca con B$ o se busca hacia la izquierda el primer `` '' que lo empate$ o si no se encontrare tal `` '' la cadena est desequilibrada. #n otro caso$ el `` '' se marca con A y se repite este ciclo.

6i quedaren `` '' no empatados$ la cadena est desequilibrada. #n otro caso se tiene equilibrio y se termina el proceso.

#l procedimiento queda descrito por la lista de qu'ntuplas mostrada en la tabla >". Table <: Iquina de %uring para reconocer cadenas equilibradas de par!ntesis. con cualquier cosa$ salvo ``"''$ avncese a la 0 derecha$ $ 0 con el primer ``"''$ mrquese y retroc!dase$ 0 0 si la lista se acaba$ rev'sese que todo haya sido marcado$ con cualquier cosa$ salvo `` ''$ contin/ese el retroceso$ $

0 mrquese el `` '' que empata y rep'tase el ciclo$ 0 se termina la cadena y no e*iste el correspondiente `` ''. 7o hay equilibrio. $

0 retroc!dase ignorando las marcas$ 0 0 si quedare un `` ''$ !ste ya no podr'a empatarse. 7o hay equilibrio. se agot la cadena y todo se marc. 6' hay equilibrio.

Los cuatro estados de la mquina tienen una interpretacin evidente0

)omo mero e(emplo$ en la tabla ?" mostramos la computacin correspondiente a una cadena dada. #n cada instante$ la casilla le'da es la adyacente a la derecha del estado actual$ el cual se escribe en negritas. Table ': Un e(emplo del funcionamiento de la mquina de %uring que reconoce cadenas equilibradas de par!ntesis.

..2 onstruccin modular de una m5uina de Turin%. ;er arc/ivo) ma5Mturin%.pd& ..# $en%uajes aceptados por la 4T. Lengua(e aceptado por la Iquina de %uring Una cadena AK $ es aceptada por una I%$ si comienza en el estado e $ con la cabeza lectora en el s'mbolo ms a la izquierda$ luego de leer toda la cadena , llega a un estado ef .. #l lengua(e aceptado por I%$ es el con(unto de todas las cadenas que son aceptadas por I%0 L I%"8 9 1 eB = > 1 ef 2 y ef . y 1$ 2 5> y AK} Los lengua(es aceptados por las Iquinas de %uring se denominan lengua(es recursivos enumerables o estructurados por frases.
B

&as infor

acin en el arc1i*o:

aq<turing2.-df

Len%&ajes acep"a!os por la m89&ina !e T&rin% Una mquina de %uring puede ser usada para calcular funciones y para aceptar lengua(es. #n el primer caso el resultado de una computacin se define in t!rminos del estado en donde termina la computacin o la configuracin de la cinta. #n el segundo caso$ una computacin acepta o rechaza la cadena de entrada. - diferencia de un autmata fin'to o de Push &odn$ la mquina de %uring no necesita leer toda la cadena de entrada para aceptar la cadena. Una mquina de %uring aumentada con estados finales es un se*tuple V$ 6$ T$ d$ qB$ ." donde . es un subcon(unto de V y contiene los estados finales. Un lengua(e aceptado por una mquina de %uring es llamado len%&aje rec&rsi amen"e en&merable. La hablidad de una mquina de %uring para moverse en ambas direcciones y procesar blancos introduce la posibilidad de no parar halt" ante ciertas entradas. Un lengua(e que es aceptado por una mquina de %uring y que termina halt" ante todas las cadenas de entrada es llamado len%&aje rec&rsi o. #*isten muchas mquinas de %uring que aceptan un lengua(e en particularH algunas pueden parar halt" para todas las entradas mientras otras no. La e*istencia de una mquina de %uring que para halt" con todas las entradas es suficiente para demostrar que el lengua(e es recursivo. 6er arc1i*o: a=<turing.--t

... 6ariantes de una m5uina de Turin%. 6er arc1i*o: a=<turing.--t 6er arc1i*o: aq<turing2.-df ..7 0roblemas de 8ilbert. $AS 0"AH$'4AS 2' 8I$H'"T Jilbert quer'a conseguir resolver problemas cruciales de fundamentacin de las matemticas$ quer'a desarrollar la matemtica slo a partir de la coherencia de su discurso$ sin buscar parentesco de sus ob(etos bsicos con la realidad. #s comprensible entonces que en el enunciado de sus 3< problemas !l haya querido elevar una suerte de paneg'rico$ una e*altacin omnipresente del m!todo a*iomtico$ de la aspiracin /ltima de insertar la Iatemtica en la Lgica$ transformada en madre universal de las ciencias. -lgunos de los enunciados de los problemas planteados por Jilbert y resueltos por otras personas son0 * P con"ra )P #l matemtico 6tephen )oo4$ que formul este problema en ;QF; lo e*plic con un e(emplo seme(ante a !ste. #s sbado por la tarde y usted llega a una reunin llena de gente. 6e siente algo t'mido y se pregunta si conoce a alguna persona de la fiesta. #l anfitrin le comunica que usted conoce a Losa$ la chica de la esquina que est al lado de la puerta. 6lo una fraccin de segundo ms tarde usted habr comprobado si el anfitrin est en lo cierto. 6in embargo$ si no hubiese tenido lugar la sugerencia y le hubieran dicho que buscara entre toda la gente a ver si conoc'a a alguien$ podr'a haber tardado hasta tres horas en hallar la respuesta. iste es un e(emplo de que la generacin de una respuesta llevar ms tiempo de verificacin que la concrecin de la respuesta. #s una cuestin que supone un problema enorme para los socilogos y para los cient'ficos de la computacin. La e*plicacin de las siglas P y P7 se refieren a los tiempos jpolinmicok y jpolinmico no deterministak. *La =ip"esis !e 5iemann -lgunos n/meros tienen la caracter'stica especial de que no pueden ser e*presados como el producto de dos n/meros ms pequeRos l3$<$>$F$ etc+$ son los llamados n/meros primos y desempeRan un papel importante en las matemticas puras y en sus aplicaciones. Pero su distribucin no parece seguir ning/n patrn regular. #l matemtico alemn Teorg Liemann propuso en el siglo m,m$ que su frecuencia est 'ntimamente relacionada con el comportamiento en muchos casos$ pero todav'a no e*iste una demostracin general. *La "eor0a !e >an%?1ills Jace casi una centuria$ los f'sicos Uang y Iills descubrieron ciertas relacione entre la geometr'a y las ecuaciones de la f'sica de part'culas que$ ms tarde$ resultaron de gran utilidad para unificar tres interacciones fundamentales de la materia en una sola teor'a. - pesar de ello$ no se conocen soluciones compatibles con la mecnica cuntica de las soluciones de Uang y Iills. #l progreso de este problema requerir la introduccin de nuevas ideas fundamentales en la f'sica y en matemticas. *La conje"&ra !e @irch - 7winner"on?(-er

#n uno de los problemas se planteaba si e*ist'a alg/n m!todo para saber si las ecuaciones *nNyn8zn tienen soluciones que sean n/meros enteros. #l matemtico Uu Iatiyasevich demostr$ hace treinta aRos$ que no hab'a ning/n m!todo general$ pero Girch y 6dinnerton+ &yer propusieron algunos m!todos parciales que$ todav'a hoy$ no se han demostrado. *La conje"&ra !e =o!%e &urante el siglo mm$ los matemticos descubrieron formas de investigar la dimensin de una variable de ob(etos complicados. La idea bsica es preguntar en qu! medida podemos apro*imar la dimensin de una variable de un ob(eto dados uniendo bloques geom!tricos simples. #sta t!cnica result ser muy /til$ pero$ no queda claro cmo aRadir algunos bloques que no tienen ninguna interpretacin geom!trica. *La conje"&ra !e Poincar; Jenri Poincar! era el rival franc!s de Jilbert. Lleg a unas conclusiones sobre las esferas en el espacio de tres dimensiones que$ posteriormente$ ha resultado imposible trasladar al espacio de cuatro dimensiones. #sta incgnita result ser e*traordinariamente dif'cil en el momento de su planteamiento y los matemticos siguen hoy luchando por darle una solucin. #n resumen$ la mayor'a de las 3< tareas que Jilbert plante al siglo mm han sido resueltas$ pero algunas de ellas quedaron para el siglo mm,. %ranscurrido el primer cuarto de siglo$ otro matemtico alemn$ especialista en Lgica$ habr'a de cortar con las esperanzas de Jilbert0 probaba la incompletitud de las Iatemticas como sistema lgico. Un sistema lgico est constituido por proposiciones a las cuales se les asigna dos valores posibles$ jverdaderok o jfalsok$ seg/n una determinada interpretacin. Un sistema es completo si cada proposicin en su seno es ndeciblee$ es decir$ si se puede encontrar para ella una interpretacin que le asigne alguno de los valores posibles antes mencionados. Todel prob$ por medio de su teorema de incompletitud$ que en todo sistema lgico$ suficientemente vasto para poder incluir la -ritm!tica$ e*isten proposiciones no ndeciblese$ vale decir$ dicho sistema no es completo. #sto para la escuela formalista$ era una catstrofe$ pues deb'an de abandonar el sueRo de considerar la Iatemtica que es incompleta" como parte de la Lgica que es completa".

Unidad 7 2ecibilidad.
7.1 $en%uajes 2ecidibles. 6er arc,i+o= ma5Mturin%.pd& 6er arc,+io= ma-Mturin5.ppt 7.2 'l problemas de 8altin%. 6er arc,i+o= ma5Mturin%2.pd& 7.# 2ecidibilidad de Teoras $%icas.

&ecibilidad de las teor'as lgicas. #l desarrollo de la teor'a de la computabilidad ha ido 'ntimamente ligado al desarrollo de la lgica matemtica. #sto ha sido as' porque la decibilidad de los distintos sistemas lgicos es una cuestin fundamental. #s bastante fcil ver que el clculo proposicional es decidible. )hurch y %uring demostraron en ;Q<? que el clculo de predicados no era decidible. Por otro lado$ para cada una de las distintas teor'as se ha ido estudiando su posible decibilidad. )omo e(emplo ms ilustrativo$ %ars4i demostr que la teor'a de los n/meros reales era decidible. Por otro lado$ son muchos los problemas interesantes que se han demostrado computables. %odas las funciones construidas por recursividad primitiva o minimalizacin a partir de funciones calculables resultan ser calculables como consecuencia de los traba(os de )hurch y %uring. Pero adems$ otras funciones ms comple(amente definidas tambi!n son computables$ siendo el resultado ms significativo en relacin con esta cuestin el dado por el siguiente teorema0 3rimer teorema de 9ecursin. %odo operador entre funciones calculables que sea recursivo esto es que se defina la imagen de f mediante una funcin calculable en t!rminos de una parte finita de f"$ tiene una funcin parcial computable que es el menor punto fi(o$ es decir$ esta funcin es un punto fi(o y cualquier otro punto fi(o del operador es una e*tension de esa funcin. #ste teorema recibe su nombre porque podemos definir una funcin mediante una ecuacin recursiva ms general que la permitida por la recursividad primitiva$ a saber

donde es un operador recursivo. #l primer teorema de recursin nos dice que esta definicin es posibleH hay una funcin recursiva que satisface esta ecuacin. )omo en matemticas se requiere que la definicin sea un'voca$ se dice que dicha ecuacin define el menor punto fi(o del operador . -s'$ y de acuerdo al primer teorema de recursin$ la clase de las funciones calculables es cerrada ba(o una muy general forma de definicin por recursin. )omo e(emplo ms interesante de aplicacin de este tipo de recursin tenemos la funcin de -c4ermann 0

- menudo se utiliza la t!cnica de reducir un problema a otro para comprobar si tiene o no solucin efectiva. La estrat!gia en el caso de la respuesta negativa es la siguiente$ si se reduce de forma efectiva un problema sin solucin efectiva a otro problema mediante una funcin calculable"$ entonces este nuevo problema tampoco tendr solucin efectiva. La razn es muy simple$ si tuviese solucin efectiva$ componiendo el algoritmo solucin con el algoritmo de transformacin obtendr'amos una solucin para el problema efectivamente irresoluble. #n sentido inverso$ si se reduce un problema a otro para el que se conoce una solucin efectiva$ entonces componiendo se obtiene una solucin para el primer problema. #sta t!cnica es muy /til y se

utiliza a menudo. Por otro lado$ esta m'sma t!cnica es muy empleada en el campo de la comple(idad algor'tmica. Para asegurarse de que un problema est en una clase de comple(idad$ basta reducir el problema a otro de dicha clase sin ms que asegurarse que la reduccin se realiza en la correspondiente clase de comple(idad.

Unidad 9 "educibilidad.
9.1 0roblemas insolubles para la teora de len%uajes. 9.2 Un problema simple insoluble. 9.# !unciones computables. 9.. "educibilidad de Turin%. 6er arc,i+o= redicibilidad.pd& http011delta.cs.cinvestav.m*12gmorales1ta1node3B.html

Anda mungkin juga menyukai