Temas Calientes

Construyen una máquina de Turing de Lego para honrar a su inventor

legoturing

La máquina de Turing es una máquina hipotética, es decir, realmente no existe, sino que fue creada para investigar matemáticamente los límites y la extensión de lo que puede o no puede ser computado. De este modo, no es un objeto físico con un fin práctico. Sin embargo, existen algunos intentos de construir máquinas como las que describió el padre de las ciencias de la computación.

En este caso,  Jeroen van den Bos y Davy Landman construyeron una con Lego en honor a la memoria de Turing, ya que este año se celebran 100 años de su nacimiento.

Básicamente, una máquina de Turing está compuesta por una cinta infinita dividida en cuadrados. En cada uno de ellos hay un símbolo, que es escaneado por la máquina. La máquina puede reaccionar al símbolo que escaneó, o bien sobreescribirlo. El sistema tiene un libro de instrucciones, donde está plasmada la manera en que debe reaccionar ante los diferentes símbolos, haciendo avanzar o retroceder la cinta, por ejemplo.

La cinta vendría a ser el programa corrido por la máquina, que está separado en segmentos con símbolos – que pueden ser 0 y 1, o que en lenguaje Lego es representado por palancas posicionadas hacia un lado o hacia otro. Por supuesto, la cinta no puede ser infinita en la versión de Lego porque no hay infinitos Lego, así que este modelo sí tiene un límite.

Al correr la cinta por la máquina, ésta es capaz de realizar operaciones sencillas. En el video de la versión de Lego, se programó para que pueda calcular cuánto es 2+2.

Link: Lego Turing Machine

22 Comentarios

Construyen una máquina de Turing de Lego para honrar a su inventor

Thumb up 1 Thumb down 0 avatar_UnoMás UnoMás dijo hace 11 meses

Juas! Recuerdos de los primeros años de estudio llegan a mi mente :D

Responder
Thumb up 33 Thumb down 1 avatar_gabriel gabriel dijo hace 11 meses

Existe 10 tipos de personas, las que entienden binario y las que no...

Thumb up 7 Thumb down 4 avatar_piterayo piterayo dijo hace 11 meses

11 si trabajas con código gray en lugar de binario puro.

Thumb up 3 Thumb down 1 avatar_Juan Juan dijo hace 11 meses

En efecto hay una inconsistencia: o bien la cinta usada no esta codificada en Binario (como dice el articulo) o la operación que realizar no es 2 + 2.

Thumb up 3 Thumb down 0 avatar_JFOC JFOC dijo hace 11 meses

primero que nada, la máquina de Turing puede tener la cantidad de símbolos que sea, pero, siempre existe el blanco y es el único valor que está repetido hasta el infinito en ambos lados (que en este caso es representado por la palanca hacia abajo, o como lo quieran decir), así que en este caso el alfabeto estaría compuesto por el blanco (palanca hacia abajo) y por la palanca hacia arriba (uno). Y en este caso, la semántica para la cinta de entrada y salida es la misma para representar los números, es decir, la cantidad de palancas levantadas contiguas representa el número en cuestión, es decir, está en un sistema unario.

Thumb up 3 Thumb down 0 avatar_JFOC JFOC dijo hace 11 meses

quise decir, la semántica para representar los números en la cinta de entrada y salida es la misma

Thumb up 4 Thumb down 1 avatar_Juan Sanchez Juan Sanchez dijo hace 11 meses

Seria una remera muy geek con ese design lego-turing

Responder
Thumb up 19 Thumb down 9 avatar_ASD ASD dijo hace 11 meses

Dedito arriba si entendiste ramera

Thumb up 18 Thumb down 0 avatar_daniel daniel dijo hace 11 meses

OH! NO EXISTEN INFINITOS LEGO?

Responder
Thumb up 3 Thumb down 0 avatar_nicolas nicolas dijo hace 11 meses

:(

Thumb up 4 Thumb down 3 avatar_dfgdfg dfgdfg dijo hace 11 meses

CORRE CRISIS'

Responder
Thumb up 2 Thumb down 0 avatar_Enrique Enrique dijo hace 11 meses

"La cinta vendría a ser el programa corrido por la máquina, que está separado en segmentos binarios"

No es así. El programa de la máquina de Turing está dado por su función de transición. Además el alfabeto solo debe ser finito, no es necesario que sea {0, 1}.

La existencia de la máquina de Turing universal es la que permite leer un programa que viene en la cinta. El modelo de von Neumann (que es el usado en los computadores desde 1945) está basado en la máquina de Turing universal.

Una máquina de Turing cualquiera es similar a un programa específico de computador, no similar a un computador.

Responder
Thumb up 0 Thumb down 1 avatar_Carlos Le Mare Carlos Le Mare dijo hace 11 meses

Ya no recuerdo exactamente como funcionaba la máquina de Turing, pero si recuerdo que existe una infinidad de problemas que puede resolver. Sin embargo los problemas np-completos no son solucionables por medio de ningún algoritmo, cosa que está demostrada matemáticamente... entonces como una computadora no es más que una super máquina de turing (con cinta finita eso sí), entonces las computadoras tampoco pueden resolver esos problemas.

Finalmente, cuando alguien diga "en las computadoras todo se puede hacer" la respuesta que debemos dar es "no señor, existen problemas que no tienen solución algorítmica".

Thumb up 0 Thumb down 0 avatar_Enrique Enrique dijo hace 11 meses

@Carlos: te confundiste con los problemas NP completos. Sí existen algoritmos que los solucionen, lo que pasa es que no se conocen (y quizás no existen) algoritmos eficientes. Por ejemplo el problema del vendedor viajero tiene un algoritmo muy sencillo y terriblemente lento: se enumeran las N! combinaciones de ciudades que se quieren visitar, se calcula la distancia para cada una y se toma el máximo. Si para 100 ciudades el algoritmo demora 1 día, para 101 demorará más de tres meses.

Los problemas que no solucionan las máquinas de Turing son del estilo de ¿se detiene este programa para entrada x? Lo que es equivalente a ¿Se puede calcular f(x)?

Otro problema no computable es determinar si dos programas hacen lo mismo.

Otro, muy interesante, es determinar si un programa calcula el conjunto vacío. Por ejemplo hacer un programa que calcule {a^n + b^n = c^n, con n>= 3} es muy fácil, pero demostrar que calcula el conjunto vacío tomó años: http://es.wikipedia.org/wiki/%C3%9Altimo_teorema_de_Fermat

Thumb up 0 Thumb down 0 avatar_Marcianisto Marcianisto dijo hace 11 meses

Lego Mindstorms NXT <3 <3 <3 De esos ocupamos en mi colegio :D xD

Responder
Thumb up 2 Thumb down 0 avatar_Diego Diego dijo hace 11 meses

Yo quiero de esos, dónde se encuentran? en Chile obvio.

Responder
Thumb up 1 Thumb down 0 avatar_Fede Fede dijo hace 11 meses

Redundancias redundantes:
1- todos los años se cumplen aniversarios
2- natalicio y aniversario junto a "este año se cumple el natalicio aniversario"
Jeje... Siempre admirador de sus contenidos, los saluda,
Fede

Responder
Thumb up 2 Thumb down 0 avatar_Fede Fede dijo hace 11 meses

Perdón, la frase es: "natalicio de su nacimiento", peor aún, jaja...
Saludos,
F

Responder
Thumb up 3 Thumb down 2 avatar_jsmiths jsmiths dijo hace 11 meses

desde que vi el titulo del articulo sabia que venia el debate mas abajo de estos seudo genios, que mas que leer un articulo que obviamente contrendra imperfecciones ya que no es una revista cientifica y tomarlo con la livandad que corresponde, ahondarian en correcciones rebuscadas para intentar destacar ..algo asi como quien lo tiene mas grande pero en el ambito geek... me cague de la risa con el remera ramera :) dedito arriba

Responder
Thumb up 0 Thumb down 0 avatar_Dulces prejuicios Dulces prejuicios dijo hace 11 meses

Hoy en Dulces prejuicios: homenaje a Turing
Víctima del prejuicio
http://www.dulces-prejuicios.com

Responder

Deja tu Comentario

La opción de comentar está abierta a todos los usuarios, pero te pedimos por favor mantenerte dentro del tema del artículo y no publicar comentarios ofensivos o publicidad basura. Nos reservamos el derecho de eliminar cualquier comentario que no cumpla estas reglas.

Para que aparezca tu foto en vez del icono genérico en tu comentario, el email con el que comentas debe estar inscrito en Gravatar.

*