La

Mquina de Turing Universal

Bonola Zambrano Jos Fernando

Lenguajes Formales y Autmatas - Grupo: 01 Fecha: 02 /mayo/2012

Introduccin

E l o b je t iv o d e e s t a p r e s e n t a c i n e s d a r u n p e qu e a in t r o d uc c i n a l c o n c e p t o d e u n a M q u in a d e T ur in g U n iv e r s a l, c a r a c t e r s t ic a s ge n e r a le s y p o s ib le s a p l ic a c io n e s c o m o u n a c o m p ut a d o r a d e p r o p s it o g e n e r a l .

La Mquina de Turing Universal

El concepto de una Mquina de Turing es tan general y potente que es posible construir una Mquina de Turing que sea capaz de simular el comportamiento de cualquier otra Mquina de Turing. En 1947, Turing indic:

Se puede demostrar que es posible construir una mquina

especial de este tipo que pueda realizar el trabajo de todas las dems. Esta mquina especial puede ser denominada

mquina universal.

Su forma de trabajar puede compararse con la de

un ordenador, que es un programa que se comporta de acuerdo al programa que se este ejecutando, lo que dio origen al concepto de lo que actualmente conocemos como Sistema Operativo; demostrando la existencia de una Maquina Universal de Turing.

Caractersticas de la MT Universal
El lenguaje aceptado por una MT Universal Lenguaje Universal (L) y se define como : se llama

Donde: M -> es la codificacin nica para una Mquina de Turing especfica de entrada. Para un alfabeto {0,1}, la MT queda representada por un nmero binario. W -> es una cadena de entrada de la mquina.

Esta codificacin de la Maquina de Turing de entrada, tambin se puede interpretar como una codificacin lo suficientemente simple para que la MT Universal pueda leerla y debe especificar toda la informacin asociada con la MT M : estados,

alfabetos, estados de aceptacin, rechazo e inicial.

Sin embargo, surgen dos problemas a tratar:

1.- Indecibilidad -> no se admite a una solucin

algortmica. 2.- Problema de la Parada -> determinar si una mquina de Turing cualquiera se parar en un

tiempo finito sobre una determinada entrada W

Aplicaciones de la MT

Para reconocer lenguajes recursivos (Lenguajes Recursivamente Enumerables- Tipo 0).

Aplicaciones de la MT

Para calcular funciones parciales y totales.

Para generar lenguajes o cadenas

Dispone de una cinta de SALIDA (inicialmente vaca), que se va llenando al cabo de las operaciones de lectura y escritura de la MT, formando las palabras del lenguajes generado.

Pero es necesario utilizar algn smbolo que no pertenezca al alfabeto sobre el que est definido el lenguaje, que va a actuar como un separador entre las palabras de dicho lenguaje.

Conclusin
Desde un punto de vista conceptual y terico, una

Mquina de Turing Universal se puede considerar

como la Mquina ms poderosa que se puede disear porque nos permitira resolver todo tipo de problemas; y a pesar de que en la prctica podemos ver que tiene diversas restricciones, hasta la fecha no

se han podido realizar otros modelos tericos que

superen las capacidades de la MTU.

Bibliografa

Documento Digital:
Teora de Autmatas y Lenguajes Formales. Jurado

Mlaga Elena, 2008, ltima visita: 01/mayo/2012

Documento Digital:
Captulo 8: Indecidibilidad, 8.2 La Mquina de

Turing Universal; ltima visita: 01/mayo/2012

Pgina de Internet
Wikipedia: Mquina Universal de Turing, Ultima

visita: 01/mayo/2012

Tesis Digital UNAM, Facultad de Ciencias:

Variedades, Grupos y Mquinas de Turing; Rodolfo

Conde Martnez, Abril del 2008