Mensaje original en formato texto

From: batsman@simpsons.for.ever (batsman)
Newsgroups: linux.debian.spanish
Subject: Re: Si al pasar a potato me potatizé, cuando pase a woody me...
Date: Sat, 9 Sep 2000 03:10:57 +0000

>    Planteemos el problema formalmente.
>
>                    potato  -------- potatizar
>                    "gudi"  --------    x
>
>
>                "gudi" * potatizar               potatizar
>           x = --------------------- = "gudi" * ----------- =
>                     potato                        potato
>
>
>             = "gudi" *  -izar = "gudizar"                c.s.q.d.
>

ATENCIÓN WARNING ATTENTION ACHTUNG ATENCIÓN WARNING ATTENTION ACHTUNG
ATENCIÓN WARNING ATTENTION ACHTUNG ATENCIÓN WARNING ATTENTION ACHTUNG
        Esto "_no_" es ninguna coña.
ATENCIÓN WARNING ATTENTION ACHTUNG ATENCIÓN WARNING ATTENTION ACHTUNG
ATENCIÓN WARNING ATTENTION ACHTUNG ATENCIÓN WARNING ATTENTION ACHTUNG

[Importante: la parte de aplicación es menos rigurosa]

A ver qué consigo recordar de álgebra...

Definimos la operación * (concatenación)
        * : string x string -> string
+ tal que sea asociativa: (agu * di) * zar = agu * (di * zar) = agudizar
+ no es conmutativa agu * dizar = agudizar != dizar * agu = dizaragu
+ "" es un elemento idempotente y neutro "" * "" = "", "" * x = x * "" =
x para todo string x

Para que (string, *) sea un grupo, tendríamos que encontrar una definición
de * tal que todo string tenga simétrico respecto de *. Y si además
fuese conmutativa sería un grupo abeliano, aunque no nos hace falta para
sintetizar la palabra que buscamos.

PERO ahora definamos * : string' x string' -> string' así:
es la concatenación de cadenas, en la que dos letras iguales seguidas
desaparecen. Por ejemplo
"hola" * "aloh" = { pasos intermedios = holaaloh = holloh = hooh = hh } = ""

Ahora resulta que sigue siendo asociativa, puesto que siempre obtendremos la
concatenación con las letras dobles eliminadas.
NO es conmutativa, pero existe el elemento neutro "" y es idempotente.
Tenemos que especificar qué representa exactamente string': es una cadena
de caracteres no repetidos, por ejemplo "hola" es un string', pero
"holaa" no.
Pero...  ¡hemos conseguido el elemento inverso!
hola * aloh = "", aloh * hola = ""

Recapitulando, la nueva * es asociativa, existe el elemento neutro y
todo elemento de string' tiene simétrico ==> el par (string', *) es un
grupo. Pero no es abeliano :-|

APLICACION

Volviendo al problema, y siendo algo menos formales ;-) tenemos
        potato  <-->    potatizar
        woody   <-->    x

 potato * woody = potatizar * x
 1/potatizar * potato * woody = 1/potatizar * potatizar * x
 razitatop * potato * woody = razitatop * potatizar * x
 razio * woody = x
 x = raziowoody [1]

o bien
  woody * potato = x * potatizar
  woody * potato * 1/potatizar = x * potatizar * 1/potatizar
  woody * potato * razitatop = x * potatizar * razitatop
  woody * potatorazitatop = x
  x = woodypotatorazitatop [2]

Me quedo con [1], así que me voy a raziowoody.

En realidad tenemos
        f(potato) = potatizar
        f(woody) = x
siendo f una función desconocida; desafortunadamente, existe una
infinidad de funciones conformes con lo anterior, en particular, todas
aquellas que de tipo (esto no es más que repetir lo anterior :-)
        f: string -> string
           f(potato) = potatizar
           f(woody) = lo que sea
           f(x) = "Debian GNU/Linux RULES!"
           para x E ( string\ {potato}u{woody} )

Así que volvemos al principio :-)


Conclusión:
==========

Nuestro menor intento de formalizar el problema nos lleva a considerar
        raziowoody     o     raziogudi
como soluciones del problema. En la discusión (necesariamente subjetiva)
cada uno puede obtar por cualquiera de las dos, ambas o ninguna.

Yo me quedo con raziowoody.

Y no pienso empezar a raziowoody hasta dentro de unas cuantas semanas.

- --
              _           _
             | |__   __ _| |_ ___ _ __ ___   __ _ _ __
             | '_ \ / _` | __/ __| '_ ` _ \ / _` | '_ \
             | |_) | (_| | |_\__ \ | | | | | (_| | | | |
             |_.__/ \__,_|\__|___/_| |_| |_|\__,_|_| |_|

             Real email: batsman dot geo at yahoo dot com