Regreso al Blog

Llevo alguno meses sin escribir. Comencé este blog en verano, cuando a pesar de estudiar temas de redes, me sobraba el tiempo libre. Pero el curso empezó y con el nuevas asignaturas: inteligencia artificial, microprocesadores, teoría de la medida, teoría de grupos y diseño de algoritmos. He de decir que este año la carga de practicas no me parece excesiva, supongo que porque ya conocía algún dialecto de la familia Lisp y porque he escogido buenos compañeros de practicas, a pesar de ello acabas llegando tarde a casa y con tareas pendientes por lo que los hobbys se posponen a veces hasta la extinción. De hecho ahora mismo tengo varios deberes a corto plazo como ponerme al día en las asignaturas de informática o preparar la charla sobre GCC. Por no mencionar algunos proyectos a más largo plazo que me gustaría dejar de aplazar como:

• Preparar el taller sobre Haskell.
• Aprender geometría diferencial.
• Mecánica de Hamilton.
• Apreder Coq.

Dar un taller sobre Haskell ( un lenguaje puramente funcional ) es algo que me comprometí a hacer al acabar los exámenes de febrero por lo que el tiempo que puedo posponerlo esta acotado. Respecto a aprender geometría diferencial, siempre me ha interesado a pesar de que la formación que tengo al respecto es algo escasa. La mecánica analítica me llamó la atención este verano cuando asistí 3 días de oyente a unos cursos que recibían unos amigos míos en los que, a pesar de no captar muchas de las ideas de las que se hablaba, me gusto la mezcla de geometría y física. Por otro lado Coq es un sistema de demostración que incluye algo así como un lenguaje de programación ( una implementación del calculo lambda ) con un sistema de tipos ( como los Char’s e Int’s de los lenguajes comunes ) lo suficientemente amplio como para expresar proposiciones. De modo que escribir un programa que “compile” es equivalente a demostrar la proposición asociada al tipo del programa ( o algo por el estilo ).

Así que durante el curso usare el blog para estructurar lo que vaya aprendiendo y ponerlo de una manera didáctica, ya que he comprobado que buscar una manera clara de explicar una idea suele ser una buena forma de familiarizarse con ella. ( y ademas no tendré que dar el coñazo a nadie )

P.D.: Aun me queda por publicar el borrador de una de las soluciones a “problemas con el castellano”.

P.D.: Me he dado cuenta de que el blog, a pesar de muerto, recibe alrededor de 2 o 3 visitas diarias. La mayoría se deben a internautas perdidos que buscan aprender que son los arboles de derivación o necesitan alguna formula relacionada con los números de Catalan ( pobres ilusos XD ).

Problemas con el castellano: Soluciones (Segundo Problema)

Viene de : problemas con el castellano: Soluciones( Primer problema )

En el post anterior resolvimos, usando funciones generatrices, el problema de hallar el numero de derivaciones de una cadena de símbolos en una gramatica ambigua sobre un alfabeto de una sola letra . Como las gramáticas independientes del contexto se usan casi como estándar para especificar la sintaxis de lenguajes de programación podemos contestar a preguntas como: ¿ Cuantos programas sintácticamente distintos se pueden hacer en C que tengan exactamente 37 símbolos ( o token’s ) ? Buscamos en la estantería el libro de Kerningham & Ritchie, seguramente fotocopiado en nuestro primer año de carrera, y vamos al apéndice en el que se especifica la gramatica. Recorremos y agrupamos todas sus reglas sustituyendo símbolos como ‘{‘ , ‘(‘ por símbolos iguales. Como ya hicimos el el post anterior traducimos cada grupo de reglas que deriva de un no terminal por una ecuación y resolvemos o bien a mano o ( si la idea de resolver un sistema de 100 ecuaciones no nos seduce demasiado) usando el ordenador . Una vez tenemos la función generatriz asociada al axioma no tenemos mas que calcular el coeficiente 37. Fácil, rápido y para toda la familia.

El segundo problema era: Encontrar el número de cadenas bien formadas de símbolos a escoger entre paréntesis de apertura ‘‘ y multiparentesis de cierre . Donde bien formado quiere decir que si sustituimos cada por se obtiene una cadena bien formada de paréntesis.
La gramatica no-ambigua que genera estas cadenas podría ser algo del estilo de:

Pueden ponerse pegas por aquello de que la gramatica tiene infinitas reglas y esta construida sobre un alfabeto infinito, pero ¿qué es el infinito para nosotros?. Podemos sustituir los no terminales por simbolos iguales y obtener un sistema de dos ecuaciones como ya hicimos antes:

Y sumando queda:

Con esto ya podemos despejar . Ahora toca intentar encontrar una serie de potencias exactas o usar propiedades analíticas para obtener información de la sucesión . Sustiyudendo y despejando se tiene :

Ya conocemos la serie de potencias de del ejercicio anterior, solo tenemos que sustitur w(z) por su serie de potencias y operar :

Por lo que obtenemos una fórmula, no demasiado bonita ni cerrada para los pero esto es lo que hay. No se me ha ocurrido ningún trucaje para redondearla un poco más. Por lo demas es fácil de obtener por razonamientos combinatorios aunque se deja para el lector, que yo empiezo a estar hasta los pelotaris del latex de wordpress.

Problemas con el Castellano: Soluciones (Primer Problema)

Viene de Problemas con el castellano.

Advertencia: Todo lo que se diga aquí puede contener errores. Seguramente estas soluciones no sean las únicas ni las mejores.

Bueno, después de acabar el divertidísimo examen de Redes, toca solucionar los problemas.
Empecemos por el primero: contar el numero de cadenas de paréntesis bien formadas. Llamemosle . Quizás os recuerde un poco a los que habéis estudiado Matemática Discreta a los números de Catalán. Estos numeros aparecen cuando se quiere enumerar las maneras de parentizar una expresión de elementos o lo que es lo mismo el número de maneras distintas de aplicar una operación binaria ( como la multiplicación ) a (*). Algunos ejemplos:

Como vemos para = 2 hay 2 mientras que para = 3 hay 5 maneras; para un cualquiera usamos la estrategia de dividir a nuestro enemigo. Supongamos que la cadena tiene la operación más externa después de :

Sabiendo esto el número de maneras en la que podemos hacer las multiplicaciones es, el numero de maneras de las que podemos hacer la parte derecha por el número de maneras de las que podemos hacer la parte izquierda . Como la operación más externa puede estar en cualquier posición entre el 0 y el y dos expresiones son distintas si sus operaciones mas externa están en posiciones distintas tenemos que:

Pero ¿ Que tiene que ver todo esto con nuestro problema inicial ? Pues mucho, supongamos que recorremos una de las cadenas de multiplicaciones de arriba asignando un +1 a cada asterisco y un -1 a cada símbolo de cierre ‘)’. Obtenemos una -tupla con que cumple :

Y cambiando ‘(‘ por +1 y ‘)’ por -1 esta es la definición de una cadena bien formada de paréntesis. Luego la solución es:

No obstante el problema puede plantearse de la siguiente manera alternativa. Sea una gramatica no ambigua que genera cadenas bien formadas de paréntesis, como la que se muestra abajo; sustituyamos los paréntesis por símbolos iguales :

Llamemos al número de derivaciones de una cadena de longitud con como axioma y si el axioma es . Ya hemos nombrado a nuestro enemigo, primer paso hacia la victoria según Dorronsoro, ahora vamos a calcularlo. Imaginemos un árbol de derivación con el símbolo en la raíz. Por las primeras 2 reglas ( las que parten de ) lo que deriva de el es o bien un árbol con E en la raíz y hojas o bien dos símbolos y cada uno de los cuales tiene y hojas, por ello:

Si tenemos un árbol de derivación con hojas y con en la raíz y es igual a 2 solo podemos aplicar por lo que hay una única derivación. En otro caso el numero de derivaciones con en la raíz es el mismo que el número de derivaciones de una cadena de elementos y en la raíz, ya que es la única regla aplicable. Luego (**) :

Ahora tenemos un sistema de dos ecuaciones en recurrencia con dos incógnitas, que se reducen a una sustituyendo en . Haciendo algunas manipulaciones y suponiendo que queda la formula recursiva de los números de Cátalan de nuevo (***).

Despues de este pequeño triunfo gramatical, nos sentimos con ánimos como para abordar una gramatica cualquiera sobre el alfabeto . Por simplificar supondremos que no tiene reglas lambda. Sea una gramatica, imaginemos todas las reglas que derivan de un símbolo no terminal cualquiera :

Si queremos saber cuantas derivaciones tiene la cadena de símbolos, definimos para todos los como el número de arboles de derivación con hojas y con en la raíz. Cada una de las derivaciones da un arbol distinto ( ya que ) por lo que es la suma de todos los arboles posibles en la raiz y en los que la primera regla aplicada fue :

Como la cadena de símbolos terminales se puede descomponer en subcadenas disjuntas, cada una de ellas derivando de un en caso de qeu sean no terminal o siendo la la misma cadena en caso de que sean terminales. Esas subcadenas tienen longitudes con . Sabemos cuantas derivaciones tiene una cadena de alfas que derive de , esto es , por lo que el número de derivaciones para una “particion” concreta es:

Si sumamos para todas las particiones queda:

Con esto sabemos cuantos arboles hay con hojas y cuya primera regla aplicada es . Tenemos incógnitas, , una por cada no terminal;y ecuaciones en recurencia, una por cada grupo de derivaciones que parta de . Solo hay que aplicarlas hasta llegar a para obtener con el axioma de la gramatica. Solo falta un caso base. Lo natural es pensar que los casos base pueden obtenerse cuando es el simbolo terminal , ya que .

No nos engañemos, nada de esto es magnífico aun. Ya hemos resuelto el problema de hallar el número de arboles de derivacion solo que de una manera un tanto asquerosa ( con sistemas de muchas ecuaciones en recurrencia ). ¡ Es hora de dar recuperar la elegancia perdida ! . Vamos a usar funciones generatrices, la razon es facil: Si tenemos dos series y cuyas funciones generatrices son y la serie corresponde al producto de funciones . La expresion de arriba recuerda mucho a estas por lo que si definimos:

Y todas las reglas que derivan de estan en entonces:

Como tenemos un sistema de funciones a despejar mediante ecuaciones.
¡ Magnifico ! Las uniones (|) se traducen como sumas de funciones mientras que las concatenaciones se traducen como productos de funciones. Todo esto no deja de ser una curiosidad, pero choca que a veces unos objetos representen tan bien las propiedades de otros, al fin y al cabo la concatenacion de simbolos en cierto sentido es distributiva con la union y la union es conmutativa. De hecho en algunos contextos se usan los signos y para representar union y concatenacion, los mismos caracteres que para la suma y la multiplicacion ordinarias.

Si lo aplicamos a la gramatica de los paréntesis perdidos, tenemos:

Despejando se obtiene una funcion par por lo que es una serie de potencias igual a la que generan los números de Catalan salvo en el termino independiente:

Con esto resolvamos bastante más que el primer problema. Nos queda acabar el tercer problema y hacer de una vez el segundo problema, aunque creo que eso se deja para el siguiente post, que este ya es demasiado largo.

(*) : Podéis ver mas detalles sobre los números de Catalan en el libro de Pablo Fernandez, Capítulo 2 pagina 78.
(**) : He llamado a la función que vale si y solo si y en otro caso es cero.
(***) : Hacerlo se deja para el maltratado lector.
(****) : Para escribir este post he hecho cosas muy muy feas mezclado html y latex para compensar las pobres opciones que tiene el latex de wordpress. A partir de ahora no hare nada por lo que el Dios de Tex no me deje entrar en su cielo.

Milagro

Ha ocurrido un milagro. ¡He aprobado redes II ! Como no me lo creo del todo estoy deseando que cierren actas.

Ya he cumplido con dejar una mierda de entrada intermedia. Ahora a publicar las soluciones de los problemas.

Problemas con el castellano

Mientras escribía el post anterior se me ocurrieron los siguientes problemas.
Cuando en castellano formamos una frase tenemos la posibilidad de hacer:

“Mi ordenador, comprado hace menos de un año, se desintegra”

o bien:

“Mi ordenador (comprado hace menos de un año) se desintegra”

Es decir podemos poner en un sintagma nominal una aclaración tanto entre comas como entre paréntesis
La aclaración puede llevar a su vez otro sintagma nominal, que puede llevar otra aclaración y así hasta el infinito y mas allá. Lo que da lugar a construcciones como:

“Calígula, asesinado por Tito mientras comía, yacía en el suelo.”
“Calígula, asesinado por Tito, atacado por Claudio mientras se bañaba, mientras comía, yacía en el suelo.”
“Calígula, asesinado por Tito, atacado por Claudio, derrotado por Lépido mientras dormía, mientras se bañaba, mientras comía, yacía en el suelo.”
etc (*) (**)

El primer problema es: En una frase como las de arriba en la que aparezcan comas, ¿ cuantas interpretaciones como máximo hay ? No tener en cuenta ambigüedades dentro de las partes entre comas.

Vale, esta un poco forzado, pero me pareció gracioso. El problema es la ambiguedad. Si usáramos paréntesis no habría ambiguedades al analizar sintácticamente la frase, al menos no por este motivo, pero al sustituir en la gramática de los paréntesis tanto el paréntesis izquierdo como el derecho por símbolos iguales no podemos saber si terminamos una aclaración o empezamos una nueva. El problema matemático no parece ser mas que contar el número de cadenas bien formadas de paréntesis. La respuesta es bastante facil. ( Mentira, solo si has dado algo de discreta/resolver problemas antes, en otro caso es de un nivel normal )

El segundo problema es más interesante. Si a las frases anteriores les retiramos el “mientras…” queda algo del estilo:

“Calígula, asesinado por Tito, yacía en el suelo.”
“Calígula, asesinado por Tito, atacado por Claudio,, yacía en el suelo.”
“Calígula, asesinado por Tito, atacado por Claudio, derrotado por Lépido,,, yacía en el suelo.”
etc

Por razones que me son ajenas nuestros académicos desaconsejan escribir sucesiones de comas de longitud arbitraria, lo que introduce aún mas ambiguedad en el castellano. ¿ De cuantas maneras podemos interpretar frases como las de arriba en las que los grupos de comas consecutivos han sido sustituido por una sola coma ?
Me explico mejor, tenemos una cadena de huecos y en cada hueco podemos poner o un paréntesis de apertura ‘ ‘ o un multi-parentesis de cierre ‘ ‘ de modo que si sustituimos ‘ ‘ por paréntesis la cadena este bien formada. ¿ Cuantas cadenas así pueden formarse para cada ?

Si reflexionamos un poco la primera cuestión nos esta preguntando cuantos árboles de derivación posee una cadena de caracteres de una gramática ambigua sobre un alfabeto de solo un caracter. ¿ Se puede abordar el problema en general ?

El último problema : Si es una gramatica independiente del contexto sin reglas ( para evitar infinitos ) sobre un lenguaje de un solo carácter ¿ Cuantas derivaciones puede tener como máximo una palabra de longitud ? Obtener la cota óptima.

(*): No escribáis así si no queréis llevaros hondonadas de hostias.
(**): Estas frases carecen de veracidad histórica.

P.D.: Este es el primer post genuinamente friki del blog, según las amenazas de muerte ya veré si continúo con otros de este estilo.

Esperanza de Vida

Mi portatil, comprado hace menos de tres años, se colapsa sobre si mismo.
Quizas sea un poco exagerado expresarlo asi pero es cierto, desde principios del verano han dejado de funcionar: el boton de encendido ( con lo molesto que puede llegar a ser ), los altavoces ( que al fin y al cabo van montados cerca del interruptor por lo que pareceria “logico” que tambien se estropearan ) y hace unos dias la antena ( integrada en otro extremo del portatil por lo que se asume independencia ). Si ahora quiero conectarme a internet tengo que llevar el portatil al salon, desempolvar un cable ethernet para conectarlo al router, un enchufe para los altavoces externos y otro para alimentarlo de electricidad ( porque la bateria original da un tiempo de autonomia algo escaso ).

Lo que pasa parece una anomalia estadistica y deberia llamarnos la atencion ¿ cual es la probabilidad de que se estropeen tres componentes independientes de algo en un lapso de poco mas de un mes ? ¿No es algo estraño ? Es como esos viejos que llegan sanos hasta cierta edad y de repente desarrollan varias enfermaddades supuestamente incorreladas. Como si ciertas cosas tuvieran un cronometro y una barrera limite traspasada la cual todo falla.

A mi personalmente la paranoia y las teorias conspirativas son algo que me gusta mucho, la idea de que una mano negra quiere que mi portatil no dure mas de 3 años me seduce. Por no hablar de la inyeccion de ego de estar destapando una conspiracion, saber una verdad desconocida para todos ( o mejor dicho creer firmemente que se sabe ). Con estos pensamientos he recordado un video en el que se decia que nuestros bienes, no necesariamente mi portatil, duran bastante menos de lo que pudieran y no es una mano negra la que esta detras ni es una verdad solo conocida por mi. Por lo que no es una teoria de la conspiaracion. El video en cuestion, quizas lo hayais visto. Circuló el año pasado por internet :

y estaba sacado de un documental interactivo que podeis encontrar aquí, con la calidad original:
Story of stuff
Puede llamarse simplista pero a mi modo de ver es bastante instructuvo y claro. A veces se ve un intento de despertar la conciencia apelando a sentimientos, algo que personalmente detesto y que todo el mundo hace demasiado a menudo, como cuando habla de las madres o de los retardadores de llama.
Supongo que no dice nada que no sepamos, ya que lo dificil no es conocer la realidad sino afrontarla y enfrentarla. La indiferencia ante estos temas sencillamente se debe a que preferimos mirar para otro lado mas que a que estemos desinformados, aunque puede que en menor medida tambien lo estemos.

Otro aspecto que no me ha parecido demasiado justo es que da la sensacion de que se da mas importancia ( en tiempo dedicado ) al supuesto drama de gente “manipulada” para seguir consumiendo y haciendo girar la rueda con el de personas que extrae el coltan para las radios o fabrican cualquier otra cosa en condiciones de semi-esclavitud.

Por ultimo decir que me informé un poco mas sobre algunos de los temas y parece que aunque el tal Brook Stevens fue quien popularizo el término y lo promovio en varias conferencias, la idea de “Obsolencia Planificada” aparecio antes, en el articulo de un economista que culpaba de la depresion a aquellos que usaban sus bienes por encimas del tiempo predicho en las estadisticas y que proponia grabar el uso prolongado de bienes de consumo como medida para salir de la depresion. Tambien es cierto que en la postguerra dentro del mundo de la industria, el diseño y el marketing se debatio sobre cuanto se podia acortar la vida de un producto en funcion de su precio sin mosquear al consumidor.
Consulté lo de los retardadores de llama con Bromo y fueron prohibidos en la UE en 2007. Lo demas seguramente sigua igual o peor.
En fin ¿ vosotros que opinais de todo esto ?

Hello world!

Buenas a todos.

He decidido empezar un Blog y copiándole la idea a Marta  he dejado como título de la primera entrada “Hello World”, un homenaje para los que esta frase significa algo más que “hola mundo” en ingles.