Informaci on y Azar (Azar y Azar)

Computadoras libres de prejos Las computadoras libres de prejos, en ingl es prex-free machines o self-delimiting machines, son un subconjunto propio de las funciones parcialmente computables. Denici on. Un conjunto A A es libre de prejos si y s olo si para toda v, w A , si w A y v <pref w entonces v A. Denici on. Una funci on M : A A es una computadora libre de prejos si M es una funci on parcialmente computable y el dominio de M es un conjunto libre de prejos. Chaitin en su art culo [1] da adem as una denici on mec anica de estas computadoras, que tienen como caracter stica principal que la cinta de entrada no contiene un s mbolo distinguido o blanco para delimitar la entrada. Usando solamente la denici on abstracta veamos que al restringirnos a computadoras libres de prejos no sacricamos a ning un algoritmo. Es decir, con estas computadoras podemos calcular cualquier funci on parcialmente computable. Formalmente: Proposici on. Las computadoras libres de prejos computan todas las funciones parcialmente computables: existe una inyecci on computable de todas las funciones parcialmente computables en las que tienen domino libre de prejos. Demostraci on. Fijemos : A A cualquier funci on computable total inyectiva cuya imagen sea un conjunto libre de prejos. Por ejemplo, sea (a1 a2 ..an ) = a1 a1 a2 a2 ..an1 an1 an an , donde a es el mayor s mbolo del alfabeto en el orden lexicogr aco distinto de a. Para cada funci on parcialmente computable f : A A sea gf : A A tal que para cada s A , s dominio(f ) si y s olo si (s) dominio(gf ), y gf ( (s)) = f (s). Dado que es totalmente computable, 1 tambi en; luego usando que f es parcialmente computable concluimos que gf tambi en lo es. Y claramente dominio(gf ) es un conjunto libre de prejos porque es un subconjunto de la imagen de . Otra manera de expresar el mismo argumento de esta demostraci on es mediante la noci on de reducci on entre conjuntos. Recordemos (de lo visto en L ogica y Computabilidad) que una funci on r : A A es una reducci on de un conjunto A a un conjunto B si r es una funci on total tal que para todo s A , s A si y solo si r(s) B . Exhibiendo una funci on inyectiva que mapea A en un conjunto libre de prejos estamos dando una reducci on uno-a-uno, del conjunto A a un conjunto libre de prejos. Para cada funci on parcialmente computable f , denimos la funic on gf ( (s)) = f (s), y debemos ver que grafo(f ) = {(s, f (s)) | s A } es es reducible de manera uno-a-uno al grafo(gf ) = {( (s), gf ( (s))) | s A }. La funci on r((s, t)) = ( (s), t) hace la reducci on ya que, si (s, t) grafo(f ) entonces t = f (s), por lo tanto r((s, t)) = ( (s), t) = ( (s), f (s)) = ( (s), gf ( (s))) = ( (s), f (s)) grafo(gf ). Si (s, t) grafo(f ) entonces t = f (s), por lo tanto r((s, t)) = ( (s), t), con t = gf ( (s)), por lo que r((s, t)) grafo(gf ). Notaci on. Dada una funci on f : A A parcialmente computable denimos la funci on ft : A N A que da el resultado de computar t pasos de la funci on f . Observemos que si f (s) converge en t pasos, entonces para todo u t, fu (s) = ft (s) = f (s). Proposici on. El conjunto de computadoras libres de prejos es computablemente enumerable. Demostraci on. Debemos dar una enumeraci on computable (Mi )iN de todas las funciones parcialmente computables con dominio libre de prejos. Deniremos cada Mi como una modicaci on de la i- esima funci on parcialmente computable de la enumeraci on (i )iN de todas las funciones parcialmente computables que jamos de antemano. Cuando la funci on d (s) = x converge en t pasos, declaramos Md,t (s) = x, a menos que Md,u (z ) = x haya sido denida en un paso anterior u < t para alguna palabra z <pref s o s <pref z . Claramente Md tiene dominio libre de prejos y Md = fd en caso de que fd ya tuviera dominio libre de prejos. Teorema. Hay una computadora libre de prejos universal y optima.

Informaci on y Azar (Azar y Azar)

Demostraci on. Fijemos (Mi )iN una enumeraci on computable de todas las computadoras libres de prejos. Denimos U : A A , U (0i 1p) = Mi (p). La denici on garantiza que U es universal, ya que puede realizar el c omputo de cada Mi . La optimalidad de U tambi en es directa de la denici on ya que para cada computadora Mi , m n{|p| | U (p) = s} m n{|p| | Mi (p) = s} + i + 1. Y claramente dominio(U ) = i0 {0i 1p : | p dominio(Mi )} es un conjunto libre de prejos.

Referencias
[1] Gregory Chaitin, A theory of program size formally identical to information theory, Journal of the ACM 22, 329-340, 1975. [2] Rod Downey, Denis Hirschfeldt. Algorithmic Randomness and Complexity, Springer, 2010. [3] Andre Nies. Computability and Randomness, Oxford University Press, 2009.