http://delta.cs.cinvestav.

mx Algoritmos de Markov
Estos sistemas formalizan procedimientos de clculo. Multiplicacin por 3 en representacin binaria En la tabla (2) presentamos a las producciones, es decir, a las sustituciones que constituyen este sistema de transformaciones. Table 2: Algoritmo de Markov para triplicar nmeros binarios.

Como ejemplos de clculo presentamos en la tabla (3) dos multiplicaciones. En cada una, la derivacin en un rengln proviene de la anterior mediante la aplicacin de la regla correspondiente al smbolo de estado y las dos literales que lo flanquean. Table 3: Dos ejemplos de la triplicacin de nmeros binarios.

Los algoritmos de Markov son equivalentes a otros sistemas de transformacin como son las gramticas formales irrestrictas, las funciones recursivas y las mquinas de Turing. Posteriormente presentaremos con todo detalle estos sistemas. Para concluir esta seccin enunciamos la

Tesis 2.1 (de Church) Cualquier procedimiento efectivamente computable corresponde a un conjunto de transformaciones sintcticas sobre un alfabeto. As pues, puesto de manera muy simplificada, se tiene que el concepto de computabilidad efectiva ha de coincidir con el de transformacin sintctica

Una formalizacin de gramticas

Sea T un conjunto de smbolos terminales y sea V un conjunto de smbolos variables. La unin de ellos, , es un alfabeto de gramtica. A* es el diccionario sobre A y consta de todas las palabras, de longitud finita, con smbolos en A. A+ coincide con A*, salvo en que no posee a la palabra vaca, . Una regla de produccin es un elemento del producto cartesiano decimos que es el antecedente y . Si el consecuente de la regla escribimos . Sea y

un conjunto de reglas de produccin. Sea un smbolo variable distinguido, llamado inicial. El sistema G = (V, T, P, S) se dice ser una gramtica formal. Las reglas de produccin transforman palabras en otras:

La cerradura reflexivo-transitiva de la relacin ``da'' define la relacin de derivacin

El lenguaje generado por la gramtica consta de todas las palabras que se derivan del smbolo inicial y que slo contienen smbolos terminales:

Jerarqua de Chomsky
En funcin de la forma de sus producciones, se puede caracterizar qu tan compleja es una gramtica formal. Noam Chomsky mostr que esta caracterizacin clasifica jerrquicamente a las gramticas formales: Gramticas en un nivel estn incluidas en los siguientes niveles y la inclusin entre niveles es propia. Se puede dar varios refinamientos de la Jerarqua de Chomsky. En la tabla (4) presentamos esquemticamente uno de tales refinamientos. Table 4: Jerarqua gramatical de Chomsky. Tipo Nombres 0 1 Irrestricta Irrestricta con memoria limitada existe una funcin (computable) tal que la longitud de cualquier cadena en una derivacin que d una palabra ha de estar acotada Forma de producciones

por el valor de la funcin en la longitud de , 2 Sensibles al contexto con borro Sensibles al contexto no reductivas Libres de contexto Libres de contexto deterministas producciones libres de contexto con la particularidad de que una vez que se ha derivado prefijos de un cierto tamao entonces se tendr determinada la palabra a derivarse, , ,

3 4

6 7

Lineales Regulares

la tipologa empleada denota lo siguiente: negritas

MAYSCULAS

cadenas de caracteres; A alfabeto, smbolos variables;

T conjunto de smbolos terminales, V conjunto de smbolos variables.

Lo esquemtico de esta tabla se suprimir en el captulo 3 de este curso, en el que se presentar estas gramticas con todo detalle. En toda gramtica formal aparecen dos problemas fundamentales: Problema de la palabra: Instancia: Solucin:

Es decir, este problema consiste en decidir, para una gramtica y una palabra dadas, si

acaso la palabra est generada por la gramtica. Problema de la derivacin: Instancia: Solucin:

Es decir, este problema consiste en encontrar, cuando exista, una derivacin, en una gramtica dada, de una palabra dada tambin. Los problemas mencionados pueden ser resueltos efectivamente en algunos niveles de la Jerarqua de Chomsky. En otros niveles superiores puede ser irresolubles estos problemas.

Autmatas
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 ingls ``parsers'') de las gramticas a que corresponden.

Autmatas regulares Autmatas de pila Autmatas lineales Autmatas de pila no-deterministas Mquinas de Turing Jerarqua de Chomsky en autmatas

Autmatas regulares
Estos son los autmatas finitos ms sencillos. Se construyen a partir de un conjunto de estados Q y de un conjunto de smbolos de entrada T. Su funcionamiento queda determinado por una funcin de transicin . Si t(q,s)=p esto se interpreta como que el autmata transita del estado q al estado p cuando arriba el smbolo s. En todo autmata finito se cuenta con un estado inicial, conjunto de estados finales . Con todo esto definido, la estructura es un autmata regular. De manera natural, t se extiende a una funcin de transicin : Toda palabra se aplica al autmata y ste, partiendo y un

del estado inicial, transita con cada smbolo de la palabra dada segn lo especifique t, correspondiendo a ese smbolo y al estado actual en el autmata. Una palabra es reconocida por el automata si lo hace arribar a un estado final. El lenguaje del autmata consta de todas las palabras reconocidas.

Ejemplo: Sea

el autmata cuyo conjunto de estados es , su estado inicial es q0 = a y el

, el de smbolos de entrada es conjunto de estados finales es

. Su transicin queda determinada por la tabla

Observamos que, partiendo del estado a, mientras lleguen 1's se est en el estado inicial, con un 0 se pasa a b, con un segundo 0 se pasa a c y de ah no se sale ms. En b, al llegar un 1 se regresa al estado inicial. As pues, para arribar al estado a desde a mismo la cadena de entrada ha de ser una sarta de varias de 1's separadas stas por nicos 0's. En otras palabras, el autmata reconoce al lenguaje (1+0)*1+.

Autmatas de pila
Estos autmatas finitos cuentan con un dispositivo de memoria muy elemental, del tipo pila, el cual es un almacenamiento lineal que funciona bajo el principio PEUS : Primero en Entrar, Ultimo en Salir. Sea Q un conjunto de estados, sea T el alfabeto de entrada y sea V un alfabeto de pila. La funcin de transicin es de la forma , donde la relacin se interpreta como sigue: ``Si se est en el estado q, arriba el smbolo a y en el tope de la pila est el smbolo b entonces se pasa al estado p y se empila la palabra ''. Un autmata de pila reconoce a una palabra si, tras haberla ledo, termina con su pila vaca. Ejemplo: Las cadenas equilibradas de parntesis son reconocidas por un autmata de pila determinista. Recordamos que 1. () es una cadena equilibrada de parntesis, (CEP). 2. Si 3. La concatenacin de dos CEP's es una CEP. Para describir a un autmata que reconozca CEP's, representemos al parntesis que abre ``('' con el smbolo a, al parntesis que cierra ``)'' con c, y con b al ``blanco'', es decir, al es una CEP entonces es una CEP.

fin de la cadena de entrada. Consideremos el autmata de pila cuyas componentes son las siguientes:

y cuya funcin de transicin acta como sigue,

Es claro que este autmata de pila reconoce al lenguaje CEP.

Autmatas lineales
Los autmatas lineales son autmatas de pila deterministas que a lo largo de su computacin slo hacen un ``cambio de turno''. A grandes rasgos, esto significa que toda computacin consiste de un procedimiento de empilar consecutivamente para despus pasar a desempilar. Ejemplo: Consideremos el lenguaje de palndromas con una marca central:

Consideremos el autmata de pila cuyas componentes son las siguientes:

y cuya funcin de transicin acta como sigue,

donde y b es el smbolo ``blanco''. En cualquier otra instancia de t, sta transitar al estado de fracaso. Es claro que este autmata de pila reconoce al lenguaje L.

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. Aqu se tiene que la transicin es un subconjunto .

Ejemplo: El lenguaje de palndromas sin marca central

es reconocido por un autmatas de pila no-determinista que funciona de acuerdo con el sigiente procedimiento: Avanzando a la derecha, se almacena primeramente cada smbolo y cuando se ``cree'' estar a la mitad, se compara cada smbolo ledo con el tope de la pila. Si coinciden, se contina. En otro caso se marca un error. El no-determinismo del autmata est en que no se precisa en qu momento pasar al estado de desempilar. Transita a se de manera indeterminada

Mquinas de Turing
Estas son autmatas finitas con dos pilas que tienen un tope comn. O 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. El tope comn es la casilla leda (``scanned cell''), una pila es la parte de la cinta a la derecha de la casilla leda y otra pila es su parte izquierda. Las transiciones de la mquina quedan determinadas por una funcin , donde

. Esta vez, la relacin se interpreta como sigue: ``Si se est en el estado q y se lee el smbolo a entonces se escribe b, se pasa a p y se va a examinar la casilla al lado de la leda''. De hecho, la relacin

puede escribirse como , y por esto, decimos que una mquina de Turing queda especificada por su lista de quntuplas. O, abusando an ms del lenguaje, que una lista de quntuplas es el programa correspondiente a una mquina de Turing. Ejemplo: Cadenas equilibradas de parntesis Para tener una cadena equilibrada, cada ``)'' en ella ha de ``empatar'' con un correspondiente ``('' que lo anteceda. Para reconocer cadenas equilibradas procederemos como sigue:

Cada ``('' ya empatado se marcar como ya revisado por una A y cada ``)'' se marcar por una B. Inicialmente, 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. En otro caso, el ``('' se marca con A y se repite este ciclo. Si quedaren ``('' no empatados, la cadena est desequilibrada. En otro caso se tiene equilibrio y se termina el proceso.

El procedimiento queda descrito por la lista de quntuplas mostrada en la tabla (5). Table 5: Mquina de Turing para reconocer cadenas equilibradas de parntesis. con cualquier cosa, salvo ``)'', avncese a la : derecha, , : con el primer ``)'', mrquese y retrocdase, : : si la lista se acaba, revsese que todo haya sido marcado, con cualquier cosa, salvo ``('', continese el retroceso, ,

: mrquese el ``('' que empata y reptase el ciclo, : : : : se termina la cadena y no existe el correspondiente ``(''. No hay equilibrio. retrocdase ignorando las marcas, si quedare un ``('', ste ya no podra empatarse. No hay equilibrio. se agot la cadena y todo se marc. S hay equilibrio. ,

Los cuatro estados de la mquina tienen una interpretacin evidente:

Como mero ejemplo, en la tabla (6) mostramos la computacin correspondiente a una cadena dada. En cada instante, la casilla leda es la adyacente a la derecha del estado actual, el cual se escribe en negritas. Table 6: Un ejemplo del funcionamiento de la mquina de Turing que reconoce cadenas

equilibradas de parntesis.

Jerarqua de Chomsky en autmatas

La complejidad de un autmata est determinada por sus capacidades de transicin, de su dispositivo de memoria y las capacidades de inspeccin en su memoria. De manera natural la jerarqu a gramatical se traduce en una jerarqua equivalente en los autmatas. En la tabla (7) presentamos la equivalente a la mostrada en la tabla (4). Table 7: Jerarqua de Chomsky en autmatas. Tipo 0 1 2 3 4 5 6 7 Nombres Irrestricta Irrestricta con memoria limitada Sensibles al contexto con borro Tipo de autmata reconocedor Mquinas de Turing Mquinas de Turing con cinta acotada Mquinas de Turing con dominio total

Sensibles al contexto no Mquinas de Turing con reductivas ``espacio lineal'' Libres de contexto Libres de contexto deterministas Lineales Regulares Autmatas de pila nodeterministas Autmatas de pila deterministas Autmatas lineales Autmatas regulares

Fundamentos matemticos

Cadenas y lenguajes Monoide de cadenas

La operacin de concatenacin Relaciones de orden Orden de prefijo Orden lexicogrfico o Homomorfismos o Relaciones de equivalencia congruentes Propiedades de lenguajes o Particiones en base a un lenguaje Congruencia lateral inducida por un lenguaje Algunas variantes o Propiedades de cerradura Ejercicios
o o