Preguntas de turing-machines

2

1Resp

320Vistas

Inyección de números computables en números naturales

Resuelta

Preguntado el 28 de Abril, 2013 por nLL

4

1Resp

2603Vistas

Demuestre que la Conjetura de Collatz sería demostrable si pudiéramos resolver el problema de detención

Resuelta

Preguntado el 24 de Febrero, 2017 por Baba Rocks

1

1Resp

1443Vistas

¿máquina de turing infinita de dos vías?

Resuelta

Preguntado el 30 de Diciembre, 2014 por Rishi Prakash

1

1Resp

131Vistas

¿Quién fue el primero en demostrar que existe una máquina de Turing universal que utiliza un alfabeto binario?

Abierta

Preguntado el 18 de Julio, 2017 por Bram28

28

3Resp

2474Vistas

Problemas "naturales" indecidibles no reducibles al problema de detención

Resuelta

Preguntado el 26 de Diciembre, 2022 por user496934

1

1Resp

109Vistas

¿Resolver la clase de complejidad TODOS colapsa todos los grados de Turing?

Resuelta

Preguntado el 20 de Mayo, 2018 por JOSHUA WEEKS

3

1Resp

141Vistas

Cualquier oráculo de parada no estándar más fuerte que $\mathbb N$ ?

Resuelta

Preguntado el 20 de Marzo, 2018 por PyRulez

34

3Resp

3520Vistas

Usando Busy Beavers para probar conjeturas

Resuelta

Preguntado el 4 de Enero, 2024 por TechShiki

1

1Resp

900Vistas

La notación de la máquina de Turing, necesita traducción

Resuelta

Preguntado el 15 de Octubre, 2016 por Tallmaris

2

1Resp

4096Vistas

Diseñe una máquina de Turing que acepte palabras de longitud impar con uno en el medio

Resuelta

Preguntado el 1 de Abril, 2017 por Error 404

1

1Resp

1497Vistas

¿Es L Turing decidible?

Abierta

Preguntado el 10 de Agosto, 2017 por Uladzimir Sapeshka

1

2Resp

261Vistas

Verificación automática de pruebas mediante una máquina de Turing

Resuelta

Preguntado el 28 de Marzo, 2016 por Krumelur

5

1Resp

551Vistas

¿Existen cintas circulares en las máquinas de Turing?

Resuelta

Preguntado el 7 de Septiembre, 2015 por Carlos Toscano-Ochoa

13

1Resp

2398Vistas

¿Cómo sabemos que el problema P versus NP es un problema NP sí mismo?

Abierta

Preguntado el 17 de Junio, 2020 por kamesh

2

1Resp

97Vistas

Diagrama de la máquina de Turing, un problema resuelto

Resuelta

Preguntado el 15 de Mayo, 2016 por Sara PhD

1

1Resp

74Vistas

¿Es el conjunto de máquinas de Turing decidible en ZFC no recursivo?

Resuelta

Preguntado el 7 de Mayo, 2022 por Charbel Bejjani

3

1Resp

326Vistas

Teorema de la jerarquía espacial en CS teórica

Resuelta

Preguntado el 24 de Febrero, 2016 por Divin3

4

1Resp

1812Vistas

¿Cuál es el significado de Oblivious Turing Machine?

Resuelta

Preguntado el 16 de Abril, 2017 por 闫伯元

6

2Resp

280Vistas

Los límites inferiores de Milton Green de la función del castor ocupado

Resuelta

Preguntado el 23 de Marzo, 2014 por Faiz

3

2Resp

811Vistas

¿Los límites superiores de la función del castor ocupado?

Resuelta

Preguntado el 3 de Abril, 2014 por Faiz

1

2Resp

74Vistas

Prueba $L=\left\{ \left\langle M\right\rangle \mid L\left(M\right)=A_{TM}\right\} \in\overline{RE\cup coRE}$

Resuelta

Preguntado el 30 de Mayo, 2018 por H. Miller

8

3Resp

1095Vistas

¿Resolver el problema de detención para casi todas las máquinas?

Resuelta

Preguntado el 27 de Diciembre, 2013 por Javier

1

1Resp

54Vistas

¿Es el PA+ TM doesnt halts consistente?

Resuelta

Preguntado el 2 de Agosto, 2015 por user258474

1

2Resp

1140Vistas

Decidibilidad de los lenguajes recursivamente enumerables

Resuelta

Preguntado el 4 de Marzo, 2014 por navlag

2

1Resp

259Vistas

Pregunta sobre la prueba original de Friedberg del Teorema de Friedberg-Muchnik

Resuelta

Preguntado el 30 de Noviembre, 2019 por Keshav Srinivasan

3

1Resp

459Vistas

Toda TM no determinista tiene una TM determinista equivalente.

Resuelta

Preguntado el 25 de Febrero, 2018 por Smart

2

2Resp

156Vistas

¿Qué tamaño debe tener $S(5)$ ser al menos , si no lo es $47,176,870\ $ ?

Resuelta

Preguntado el 1 de Junio, 2016 por Faiz

22

3Resp

2405Vistas

¿Cómo se relacionan los números no computables con las funciones no computables?

Resuelta

Preguntado el 11 de Octubre, 2022 por Allen Walker

1

1Resp

89Vistas

No se puede crear un algoritmo para un lenguaje decidible

Resuelta

Preguntado el 13 de Marzo, 2016 por Mureinik

2

1Resp

181Vistas

¿Por qué $f_1(n)$ no es computable pero $f_2(n)$ sí lo es?

Resuelta

Preguntado el 24 de Febrero, 2021 por xxxtentacion

Preguntas de turing-machines

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

Inyección de números computables en números naturales

Demuestre que la Conjetura de Collatz sería demostrable si pudiéramos resolver el problema de detención

¿máquina de turing infinita de dos vías?

¿Quién fue el primero en demostrar que existe una máquina de Turing universal que utiliza un alfabeto binario?

Problemas "naturales" indecidibles no reducibles al problema de detención

¿Resolver la clase de complejidad TODOS colapsa todos los grados de Turing?

Cualquier oráculo de parada no estándar más fuerte que $\mathbb N$ ?

Usando Busy Beavers para probar conjeturas

La notación de la máquina de Turing, necesita traducción

Diseñe una máquina de Turing que acepte palabras de longitud impar con uno en el medio

¿Es L Turing decidible?

Verificación automática de pruebas mediante una máquina de Turing

¿Existen cintas circulares en las máquinas de Turing?

¿Cómo sabemos que el problema P versus NP es un problema NP sí mismo?

Diagrama de la máquina de Turing, un problema resuelto

¿Es el conjunto de máquinas de Turing decidible en ZFC no recursivo?

Teorema de la jerarquía espacial en CS teórica

¿Cuál es el significado de Oblivious Turing Machine?

Los límites inferiores de Milton Green de la función del castor ocupado

¿Los límites superiores de la función del castor ocupado?

Prueba $L=\left\{ \left\langle M\right\rangle \mid L\left(M\right)=A_{TM}\right\} \in\overline{RE\cup coRE}$

¿Resolver el problema de detención para casi todas las máquinas?

¿Es el PA+ TM doesnt halts consistente?

Decidibilidad de los lenguajes recursivamente enumerables

Pregunta sobre la prueba original de Friedberg del Teorema de Friedberg-Muchnik

Toda TM no determinista tiene una TM determinista equivalente.

¿Qué tamaño debe tener $S(5)$ ser al menos , si no lo es $47,176,870\ $ ?

¿Cómo se relacionan los números no computables con las funciones no computables?

No se puede crear un algoritmo para un lenguaje decidible

¿Por qué $f_1(n)$ no es computable pero $f_2(n)$ sí lo es?

Etiquetas mas usadas

i-Ciencias.com

Powered by: