This HTML5 document contains 66 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Subject Item

dbpedia-es:Computador_universal

dbo:wikiPageRedirects

dbpedia-es:Máquina_de_Turing

Subject Item

dbpedia-es:Maquina_de_Turing

dbo:wikiPageRedirects

dbpedia-es:Máquina_de_Turing

Subject Item

dbpedia-es:Maquina_de_Turing_determinista

dbo:wikiPageRedirects

dbpedia-es:Máquina_de_Turing

Subject Item

dbpedia-es:Máquina_de_Turing_determinista

dbo:wikiPageRedirects

dbpedia-es:Máquina_de_Turing

Subject Item

dbpedia-es:Máquina_de_Turing

rdfs:label

Máquina de Turing

rdfs:comment

Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo con una tabla de reglas. A pesar de su simplicidad, una máquina de Turing puede ser adaptada para simular la lógica de cualquier algoritmo de computador y es particularmente útil en la explicación de las funciones de una CPU dentro de un computador. Turing dio una definición sucinta del experimento en su ensayo de 1948, «Máquinas inteligentes». Refiriéndose a su publicación de 1936, Turing escribió que la máquina de Turing, aquí llamada una máquina de computación lógica, consistía en:

owl:sameAs

n19:07h4k

dct:subject

category-es:1936 category-es:Computabilidad category-es:Alan_Turing category-es:Gramática_generativa category-es:Métodos_formales category-es:Lenguajes_formales category-es:Epónimos_relacionados_con_las_matemáticas category-es:Ciencia_de_los_años_1930 category-es:Máquinas_de_Turing category-es:Informática_teórica category-es:Modelos_computacionales

foaf:isPrimaryTopicOf

wikipedia-es:Máquina_de_Turing

prop-es:apellido

Minsky Hodges

prop-es:año

1983 1967

prop-es:capítulo

Unsolvability of the Halting Problem

prop-es:doi

101112

prop-es:editorial

Prentice–Hall, Inc. Burnett Books/Hutchinson

prop-es:enlaceautor

Andrew Hodges Marvin Minsky

prop-es:first

A.M.

prop-es:isbn

0

prop-es:issue

6

prop-es:journal

Proceedings of the London Mathematical Society

prop-es:last

Turing

prop-es:nombre

Marvin Andrew

prop-es:pages

230 544

prop-es:publicationDate

1937

prop-es:series

2

prop-es:title

On Computable Numbers, with an Application to the Entscheidungsproblem On Computable Numbers, with an Application to the Entscheidungsproblem: A correction

prop-es:título

Computation: Finite and Infinite Machines Alan Turing: The Enigma

prop-es:ubicación

NJ Reino Unido

prop-es:url

n9:alanturing00andr

prop-es:volume

42 43

prop-es:year

1938 1936

dbo:wikiPageID

4775

dbo:wikiPageRevisionID

128536597

dbo:wikiPageExternalLink

n5:com n8:aBToqFJLrl4 n9:alanturing00andr n10: n11:1008

dbo:wikiPageLength

37046

prov:wasDerivedFrom

n13:0

dbo:abstract

Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo con una tabla de reglas. A pesar de su simplicidad, una máquina de Turing puede ser adaptada para simular la lógica de cualquier algoritmo de computador y es particularmente útil en la explicación de las funciones de una CPU dentro de un computador. Originalmente fue definida por el matemático inglés Alan Turing como una «máquina automática» en 1936 en la revista Proceedings of the London Mathematical Society​. La máquina de Turing no está diseñada como una tecnología de computación práctica, sino como un dispositivo hipotético que representa una máquina de computación. Las máquinas de Turing ayudan a los científicos a entender los límites del cálculo mecánico​​ Turing dio una definición sucinta del experimento en su ensayo de 1948, «Máquinas inteligentes». Refiriéndose a su publicación de 1936, Turing escribió que la máquina de Turing, aquí llamada una máquina de computación lógica, consistía en: ... una ilimitada capacidad de memoria obtenida en la forma de una cinta infinita marcada con cuadrados, en cada uno de los cuales podría imprimirse un símbolo. En cualquier momento hay un símbolo en la máquina; llamado el símbolo leído. La máquina puede alterar el símbolo leído y su comportamiento está en parte determinado por ese símbolo, pero los símbolos en otros lugares de la cinta no afectan el comportamiento de la máquina. Sin embargo, la cinta se puede mover hacia adelante y hacia atrás a través de la máquina, siendo esto una de las operaciones elementales de la máquina. Por lo tanto cualquier símbolo en la cinta puede tener finalmente una oportunidad.​ Una máquina de Turing que es capaz de simular cualquier otra máquina de Turing es llamada una máquina universal de Turing (UTM, o simplemente una máquina universal). Una definición más matemáticamente orientada, con una similar naturaleza "universal", fue presentada por Alonzo Church, cuyo trabajo sobre el cálculo lambda se entrelaza con el de Turing en una teoría formal de la computación conocida como la tesis de Church-Turing. La tesis señala que las máquinas de Turing capturan, de hecho, la noción informal de un método eficaz en la lógica y las matemáticas y proporcionan una definición precisa de un algoritmo o 'procedimiento mecánico'. La importancia de la máquina de Turing en la historia de la computación es doble: primero, la máquina de Turing fue uno de los primeros (si no el primero) modelos teóricos para las computadoras, viendo la luz en 1936. Segundo, estudiando sus propiedades abstractas, la máquina de Turing ha servido de base para mucho desarrollo teórico en las ciencias de la computación y en la teoría de la complejidad. Una razón para esto es que las máquinas de Turing son simples, y por tanto amenas al análisis. Dicho esto, cabe aclarar que las máquinas de Turing no son un modelo práctico para la computación en máquinas reales, las cuales precisan modelos más rápidos como los basados en RAM.

Subject Item

dbpedia-es:Maquina_universal_de_Turing

dbo:wikiPageRedirects

dbpedia-es:Máquina_de_Turing

Subject Item

dbpedia-es:Brainfuck

prop-es:influidoPor

dbpedia-es:Máquina_de_Turing

Subject Item

dbpedia-es:P′′

prop-es:influidoPor

dbpedia-es:Máquina_de_Turing

Subject Item

wikipedia-es:Máquina_de_Turing

foaf:primaryTopic

dbpedia-es:Máquina_de_Turing

Subject Item

dbr:Turing_machine

owl:sameAs

dbpedia-es:Máquina_de_Turing