{"id":126,"date":"2019-03-18T13:16:51","date_gmt":"2019-03-18T12:16:51","guid":{"rendered":"https:\/\/dornisoft.es\/dorniblog\/?p=126"},"modified":"2019-03-25T17:00:30","modified_gmt":"2019-03-25T16:00:30","slug":"maquina-de-turing","status":"publish","type":"post","link":"https:\/\/dornisoft.es\/dorniblog\/maquina-de-turing\/","title":{"rendered":"M\u00e1quina de Turing"},"content":{"rendered":"\n<p><strong>N\u00famero computable<\/strong><\/p>\n\n\n\n<p>Son los n\u00fameros\nreales que pueden ser calculados con la precisi\u00f3n que se desee por\nun algoritmo finito. Un n\u00famero computable es aquel para el que hay\nuna m\u00e1quina de Turing dado n su cinta inicial termina con el n-esimo\ndigito de ese n\u00famero<\/p>\n\n\n\n<p>Por ejemplo tenemos un n\u00famero con infinitos decimales como \u03c0 , hay un algoritmo que te permite calcular un numero finito de decimales de \u03c0 , por lo que \u03c0 ser\u00eda computable.<\/p>\n\n\n\n<p><strong>Problemas de decisi\u00f3n<\/strong><\/p>\n\n\n\n<p>Un problema de decisi\u00f3n es una pregunta que tiene una respuesta verdadera o falsa.<br>Por ejemplo: \u00bfEs 11 n\u00famero primo?<\/p>\n\n\n\n<p>Church y Turing demostraron en 1936 que no hay un algoritmo general capaz de decidir si una f\u00f3rmula es un teorema.  <\/p>\n\n\n\n<p>Un problema de decisi\u00f3n puede tener una soluci\u00f3n si la maquina de Turing se para y da un resultado, de lo contrario si la m\u00e1quina no se para y sigue hasta el infinito no tendr\u00e1 soluci\u00f3n.<\/p>\n\n\n\n<p><strong>M\u00e1quina de Turing<\/strong><\/p>\n\n\n\n<p>Consta de una cinta infinita con cuadros, cada cuadro es capaz de almacenar un simbolo de un conjunto de s\u00edmbolos definidos (en este caso: espacio en blanco,0 y 1). La cinta esta en un estado inicial con unos simbolos pertenecientes al conjunto.<\/p>\n\n\n\n<p>Tiene un cabezal que esta en un estado inicial que lee el simbolo que se encuentra en ese cuadro, seg\u00fan el simbolo que lea y como este programada la m\u00e1quina borrara el simbolo o lo mantendr\u00e1 o escribir\u00e1 un espacio en blanco y se desplazar\u00e1 a izquierda o derecha y cambiar\u00e1 de estado.<br><\/p>\n\n\n\n<p><br><br><\/p>\n\n\n\n<figure class=\"wp-block-image\"><img loading=\"lazy\" decoding=\"async\" width=\"850\" height=\"425\" src=\"https:\/\/dornisoft.es\/dorniblog\/wp-content\/uploads\/2019\/03\/Esquema-de-maquina-de-Turing.png\" alt=\"\" class=\"wp-image-128\" srcset=\"https:\/\/dornisoft.es\/dorniblog\/wp-content\/uploads\/2019\/03\/Esquema-de-maquina-de-Turing.png 850w, https:\/\/dornisoft.es\/dorniblog\/wp-content\/uploads\/2019\/03\/Esquema-de-maquina-de-Turing-300x150.png 300w, https:\/\/dornisoft.es\/dorniblog\/wp-content\/uploads\/2019\/03\/Esquema-de-maquina-de-Turing-768x384.png 768w\" sizes=\"auto, (max-width: 709px) 85vw, (max-width: 909px) 67vw, (max-width: 1362px) 62vw, 840px\" \/><\/figure>\n\n\n\n<p>Enlaces de inter\u00e9s:<br><br><iframe loading=\"lazy\" width=\"560\" height=\"315\" src=\"https:\/\/www.youtube.com\/embed\/NS-NQ5mCSs8\" frameborder=\"0\" allow=\"accelerometer; autoplay; encrypted-media; gyroscope; picture-in-picture\" allowfullscreen><\/iframe>\n\n\n\n<p>Puedes comprobar como funciona la m\u00e1quina de Turing en el siguiente enlace, tienes programas de prueba.<br><a href=\"http:\/\/morphett.info\/turing\/turing.html\">http:\/\/morphett.info\/turing\/turing.html<\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>N\u00famero computable Son los n\u00fameros reales que pueden ser calculados con la precisi\u00f3n que se desee por un algoritmo finito. Un n\u00famero computable es aquel para el que hay una m\u00e1quina de Turing dado n su cinta inicial termina con el n-esimo digito de ese n\u00famero Por ejemplo tenemos un n\u00famero con infinitos decimales como &hellip; <a href=\"https:\/\/dornisoft.es\/dorniblog\/maquina-de-turing\/\" class=\"more-link\">Continuar leyendo<span class=\"screen-reader-text\"> \u00abM\u00e1quina de Turing\u00bb<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[8],"tags":[10,9],"class_list":["post-126","post","type-post","status-publish","format-standard","hentry","category-historia","tag-computacion","tag-turing"],"_links":{"self":[{"href":"https:\/\/dornisoft.es\/dorniblog\/wp-json\/wp\/v2\/posts\/126","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dornisoft.es\/dorniblog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/dornisoft.es\/dorniblog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/dornisoft.es\/dorniblog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/dornisoft.es\/dorniblog\/wp-json\/wp\/v2\/comments?post=126"}],"version-history":[{"count":5,"href":"https:\/\/dornisoft.es\/dorniblog\/wp-json\/wp\/v2\/posts\/126\/revisions"}],"predecessor-version":[{"id":133,"href":"https:\/\/dornisoft.es\/dorniblog\/wp-json\/wp\/v2\/posts\/126\/revisions\/133"}],"wp:attachment":[{"href":"https:\/\/dornisoft.es\/dorniblog\/wp-json\/wp\/v2\/media?parent=126"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/dornisoft.es\/dorniblog\/wp-json\/wp\/v2\/categories?post=126"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/dornisoft.es\/dorniblog\/wp-json\/wp\/v2\/tags?post=126"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}