Preguntas ciencias de turing-machines

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

34

3Resp

3520Vistas

Usando Busy Beavers para probar conjeturas

Resuelta

Preguntado el 4 de Enero, 2024 por TechShiki

4

1Resp

1813Vistas

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

Resuelta

Preguntado el 16 de Abril, 2017 por 闫伯元

1

1Resp

90Vistas

No se puede crear un algoritmo para un lenguaje decidible

Resuelta

Preguntado el 13 de Marzo, 2016 por Mureinik

3

1Resp

328Vistas

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

Resuelta

Preguntado el 24 de Febrero, 2016 por Divin3

22

3Resp

2406Vistas

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

Resuelta

Preguntado el 11 de Octubre, 2022 por Allen Walker

3

1Resp

142Vistas

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

Resuelta

Preguntado el 20 de Marzo, 2018 por PyRulez

2

1Resp

320Vistas

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

Resuelta

Preguntado el 28 de Abril, 2013 por nLL

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

3

1Resp

461Vistas

Toda TM no determinista tiene una TM determinista equivalente.

Resuelta

Preguntado el 25 de Febrero, 2018 por Smart

28

3Resp

2475Vistas

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

Resuelta

Preguntado el 26 de Diciembre, 2022 por user496934

1

1Resp

110Vistas

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

Resuelta

Preguntado el 20 de Mayo, 2018 por JOSHUA WEEKS

1

1Resp

76Vistas

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

Resuelta

Preguntado el 7 de Mayo, 2022 por Charbel Bejjani

2

1Resp

260Vistas

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

Resuelta

Preguntado el 30 de Noviembre, 2019 por Keshav Srinivasan

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

1

2Resp

1141Vistas

Decidibilidad de los lenguajes recursivamente enumerables

Resuelta

Preguntado el 4 de Marzo, 2014 por navlag

5

1Resp

552Vistas

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

Resuelta

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

1

2Resp

263Vistas

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

Resuelta

Preguntado el 28 de Marzo, 2016 por Krumelur

1

1Resp

56Vistas

¿Es el PA+ TM doesnt halts consistente?

Resuelta

Preguntado el 2 de Agosto, 2015 por user258474

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

1499Vistas

¿Es L Turing decidible?

Abierta

Preguntado el 10 de Agosto, 2017 por Uladzimir Sapeshka

1

1Resp

1444Vistas

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

Resuelta

Preguntado el 30 de Diciembre, 2014 por Rishi Prakash

8

3Resp

1096Vistas

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

Resuelta

Preguntado el 27 de Diciembre, 2013 por Javier

2

1Resp

4098Vistas

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

4

1Resp

2604Vistas

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

2Resp

76Vistas

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

3

2Resp

812Vistas

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

Resuelta

Preguntado el 3 de Abril, 2014 por Faiz

1

1Resp

900Vistas

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

Resuelta

Preguntado el 15 de Octubre, 2016 por Tallmaris

6

2Resp

282Vistas

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

Resuelta

Preguntado el 23 de Marzo, 2014 por Faiz

13

1Resp

2399Vistas

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

Abierta

Preguntado el 17 de Junio, 2020 por kamesh

Preguntas ciencias turing-machines

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

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

Usando Busy Beavers para probar conjeturas

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

No se puede crear un algoritmo para un lenguaje decidible

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

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

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

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

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

Toda TM no determinista tiene una TM determinista equivalente.

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

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

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

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

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

Decidibilidad de los lenguajes recursivamente enumerables

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

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

¿Es el PA+ TM doesnt halts consistente?

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

¿Es L Turing decidible?

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

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

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

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

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

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

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

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

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

Etiquetas mas usadas

i-Ciencias.com

Powered by: