Resultados de la búsqueda

…lenguaje formal]] que es también llamado '''parcialmente decidible''' o '''Turing-computable'''. Son conocidos como lenguajes '''tipo-0''' en la [[Jerarquía …a los [[lenguajes recursivos]] en cuyo caso se requiere que la máquina de Turing pare en todos los casos. …

…uring|máquinas de Turing]] consiste en lo siguiente: dada una [[Máquina de Turing]] <math>M</math> y una palabra <math>w</math>, determinar si <math>M</math> …(no computable o no recursivo)]], en el sentido de que ninguna máquina de Turing lo puede resolver. …

…izó el ''[[ban (información)|ban]] natural''.<ref>{{cite book|title=[[Alan Turing: The Enigma]]|last=Hodges|first=Andrew|authorlink=Andrew Hodges|year=1983|p …

…utación que pueden proporcionar resultados que no son [[Función computable|Turing-computables]]. Por ejemplo, una máquina capaz de resolver el [[problema de …ring no puede y que, por tanto, no son computables en el sentido de Church-Turing. …

Desde que en 1952 [[Alan Turing]] los propuso como "la base química de la morfogénesis",<ref>[http://www.sc Developmental biology. The Turing model comes of molecular age. [[Science]] 314:1397–1398 (review)</ref> …

…]], una '''máquina de Turing alternante''' ('''ATM''') es una [[máquina de Turing no determinista]] (NTM) con una regla para la aceptación de cómputos que ge …a un estado de aceptación, la computación completa acepta. Una máquina de Turing alternante (o para ser más precisos, la definición de la aceptación de tal …

…ring]] o [[cálculo lambda|cálculo-λ]], de acuerdo con la [[tesis de Church-Turing]]. == Definición informal utilizando Máquinas de Turing == …

…1979). "Studies in the History of Probability and Statistics. XXXVII A. M. Turing's statistical work in World War II". ''[[Biometrika]]''. '''66''' (2): 393– …s="citation journal">[[Donald A. Gillies|Gillies, Donald A.]] (1990). "The Turing-Good Weight of Evidence Function and Popper's Measure of the Severity of a …

…ón de la clase NP que no invoca un modelo de cálculo como una [[máquina de Turing]]. El teorema fue probado por [[Ronald Fagin]] en 1973 en su tesis doctoral === Equivalencia a las máquinas de Turing === …

{{otros usos|Turing (desambiguación)}} …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 [[c …

…0px|Representación artística de una [[máquina de Turing]]. Las máquinas de Turing se utilizan frecuentemente como modelos teóricos de computación]]La '''teor …o, cualquier problema que pueda ser resuelto (decidido) por una máquina de Turing puede ser resuelto por un ordenador que tenga una cantidad finita de memori …

…e definen similarmente a partir del tiempo que le tomaría a una máquina de Turing cuántica o a un ordenador cuántico en un modelo circuital resolver los prob …ta). Aunque existen evidencias que lo sugieren, la tesis moderna de Church-Turing sigue siendo un problema abierto en la [[teoría de la computación]]. …

…eden resolver con un [[algoritmo]] o equivalentemente con una [[máquina de Turing]]. Las preguntas fundamentales de la teoría de la computabilidad son: * ¿Qué problemas puede resolver una máquina de Turing? …

[[Archivo:Maquina.png|thumb|Representación artística de una [[máquina de Turing]]]] …uina de Turing puede ejecutar dicho algoritmo.<ref>{{Obra citada |apellido=Turing |nombre=A. M. |fecha-publicación=1936–37 |año=1936 |título=On Computable Nu …

…diagonal de Cantor|método de la diagonal]], que a su vez fue utilizado por Turing en su prueba de que el ''[[Entscheidungsproblem]]'', el [[problema de decis …s trabajos de [[Kurt Gödel]] (cf. Nagel y Newman p.&nbsp;60ff) y de [[Alan Turing]]. Se encuentra una definición sucinta en los ''[[Principia Mathematica]]'' …

|desarrollador=[[Alan Turing]] …s: The Inside Story of Bletchley Park |first1=F. H. |last1=Hinsley |first2=Alan |last2=Stripp |date=2001 |publisher=Oxford University Press |access-date=20 …

Uno de los científicos más destacados en este campo fue [[Alan Turing]], el cual, pese a no aportar muchas pruebas empíricas, produjo, gracias a …abitación china]], el cual fue desarrollado en contraposición al [[Test de Turing]]. …

…mana no puede ser el resultado de un algoritmo generado por una Máquina de Turing ya que esta última no puede determinar la verdad de su oración de Gödel, mi …n un [[procedimiento efectivo]] que pueda ser simulado en una [[máquina de Turing]]. …

…n su [[cálculo lambda]] y por [[Alan Turing]] basándose en la [[máquina de Turing]]. Los dos enfoques son equivalentes, en el sentido de que se pueden resolv …ing]], de que toda función calculable se puede programar en una máquina de Turing (o equivalentemente, en un lenguaje de programación suficientemente general …

…nte" o "rápido".<ref>{{Cita libro|apellidos=Cobham|nombre=Alan|enlaceautor=Alan Cobham|año=1965|capítulo=The intrinsic computational difficulty of function …posible llevar a cabo este cálculo en tiempo polinómico en una máquina de Turing pero es posible calcularlo polinómicamente con muchas operaciones aritmétic …