[pyar] Problema interesante: el anti-string

[Lucio Torre]

2010/8/5 Anthony Lenton <antoniolenton en gmail.com>:
> Si podés asumir que hay un string "máximo" (chr(255)*sys.maxint?) sí
> se hace posible, ya que transformaste los strings en un conjunto
> cerrado en ambas puntas.

Tambien se puede definir una f' basada en la f anterior tal que la
imagen de f() no sea los strings sino los strings terminados en T, tal
que "T" sea siempre mayor que cualquier string. Entonces "" (el string
menor) se mapea a "T", que es siempre mayor, y f'("a") == f("a") +"
T", f'("b") == f("b") + "T", y asi un string mas corto esta siempre
despues que uno mas largo.

Tambien si no queremos extender el dominio podemos usar max_char como
T y en lugar de limitar por largo limitar por utilizacion de un
caracter que no usa nadie.

Lucio.