http://karpoke.ignaciocano.com/tags/m%C3%A1quina-de-turing/Recent content in Máquina De Turing on Karpoke - Just Another BlogHugo -- 0.159.0esTue, 17 Jul 2012 13:08:00 +0100http://karpoke.ignaciocano.com/2012/07/17/a-turing-complete-puzzle-game/Tue, 17 Jul 2012 13:08:00 +0100http://karpoke.ignaciocano.com/2012/07/17/a-turing-complete-puzzle-game/<blockquote> <p>The code behind the Google doodle celebrating Alan Turing’s 100th birthday is now up on Google code. This animated logic puzzle game appeared on the Google homepage on June 23, 2012. If you missed it, you can still play it in the doodle archives.</p> <p>Our doodle for Turing’s 100th birthday showed a live action Turing Machine with twelve interactive programming puzzles. Turing Machines are theoretical objects in formal logic, not physical things, so we walked a fine line between technical accuracy and accessibility. We focused on finding a good representation for programs and choosing puzzles of appropriate complexity. We did considerable user testing and iteration, more than for any past doodle.</p>http://karpoke.ignaciocano.com/2012/04/22/sed-es-turing-completo/Sun, 22 Apr 2012 00:32:00 +0100http://karpoke.ignaciocano.com/2012/04/22/sed-es-turing-completo/<p>¿Cómo puede ser un editor de flujo, una utilidad para el tratamiento de texto, un lenguaje Turing completo? <code>sed</code> permite saltos condiciones e incondicionales y utiliza un <em>buffer</em> temporal, lo que permite <a href="http://www.catonmat.net/blog/proof-that-sed-is-turing-complete/">construir una máquina de Turing con él</a>, y cualquier lenguaje que pueda construir una máquina de Turing es Turing completo.</p> <p>Una implementación de una máquina de Turing con <code>sed</code> es <a href="http://www.catonmat.net/ftp/sed/turing.sed">turing.sed</a>.</p> <p>Un ejemplo de programa que realiza el incremento de un número binario es el siguiente:</p>