Como Justin preguntó, ¿te refieres a un UTM?
Para elaborar Turing demostró que puede construir lo que hoy llamamos una Máquina Universal de Turing. Esta es una TM tal que toma como entrada una descripción de una máquina de Turing arbitraria (debe quedar claro que esto es factible) así como la entrada para la TM descrita. Luego ejecuta (aka simula aka interpreta aka ejecuta) la TM en su entrada en la entrada suministrada para esa TM. Así es exactamente como funciona una computadora de propósito general.
Pero si lo que quiere decir es una TM que de alguna manera “sabe” acerca de todas las funciones computables … bueno, en términos prácticos, le daría a esta TM alguna información para que la función calcule, pero ¿cómo le diría cuál? Una forma de hacerlo sería enumerar todas las funciones conmutables y proporcionar el ordinal de la que queremos calcular. La producción de la enumeración solo se podría hacer si tuviéramos un método de decisión para qué funciones son computables (es decir, detener) y cuáles no. Como sabemos que no es posible, el tipo de TM que usted (puede estar) describiendo no es posible.
- ¿Cuáles son los mejores autómatas celulares?
- Si una computadora almacena una dirección de 8 bits para 1 bit de datos en la RAM, ¿dónde y cómo la computadora aborda la dirección de 8 bits?
- ¿Qué es un enrutador de software y cómo se implementa el plano de datos en los enrutadores de software?
- ¿Puede la polaridad de un imán ser una alternativa a algunos de los componentes de una computadora eléctrica moderna?
- ¿Qué debo elegir entre CS en KIIT y CCE del campus principal de Manipal Instittute of Technology?
De hecho, esto sería como si pudiéramos construir una computadora de una vez por todas, lo que puede resolver cualquier tarea que nos interese darle sin tener que programarla. Además de que los programadores se queden sin trabajo, esto sería bueno.