Preguntas ciencias de turing-machines

2

1Resp

179Vistas

¿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

3518Vistas

Usando Busy Beavers para probar conjeturas

Resuelta

Preguntado el 4 de Enero, 2024 por TechShiki

4

1Resp

1809Vistas

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

Resuelta

Preguntado el 16 de Abril, 2017 por 闫伯元

1

1Resp

88Vistas

No se puede crear un algoritmo para un lenguaje decidible

Resuelta

Preguntado el 13 de Marzo, 2016 por Mureinik

3

1Resp

326Vistas

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

Resuelta

Preguntado el 24 de Febrero, 2016 por Divin3

22

3Resp

2402Vistas

¿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

139Vistas

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

317Vistas

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

Resuelta

Preguntado el 28 de Abril, 2013 por nLL

2

2Resp

155Vistas

¿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

458Vistas

Toda TM no determinista tiene una TM determinista equivalente.

Resuelta

Preguntado el 25 de Febrero, 2018 por Smart

28

3Resp

2474Vistas

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

Resuelta

Preguntado el 26 de Diciembre, 2022 por user496934

1

1Resp

107Vistas

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

Resuelta

Preguntado el 20 de Mayo, 2018 por JOSHUA WEEKS

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

2

1Resp

258Vistas

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

Resuelta

Preguntado el 30 de Noviembre, 2019 por Keshav Srinivasan

1

1Resp

129Vistas

¿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

1138Vistas

Decidibilidad de los lenguajes recursivamente enumerables

Resuelta

Preguntado el 4 de Marzo, 2014 por navlag

5

1Resp

550Vistas

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

Resuelta

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

1

2Resp

261Vistas

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

Resuelta

Preguntado el 28 de Marzo, 2016 por Krumelur

1

1Resp

53Vistas

¿Es el PA+ TM doesnt halts consistente?

Resuelta

Preguntado el 2 de Agosto, 2015 por user258474

2

1Resp

95Vistas

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

Resuelta

Preguntado el 15 de Mayo, 2016 por Sara PhD

1

1Resp

1496Vistas

¿Es L Turing decidible?

Abierta

Preguntado el 10 de Agosto, 2017 por Uladzimir Sapeshka

1

1Resp

1442Vistas

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

Resuelta

Preguntado el 30 de Diciembre, 2014 por Rishi Prakash

8

3Resp

1094Vistas

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

Resuelta

Preguntado el 27 de Diciembre, 2013 por Javier

2

1Resp

4095Vistas

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

3

1Resp

2600Vistas

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

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

3

2Resp

810Vistas

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

Resuelta

Preguntado el 3 de Abril, 2014 por Faiz

1

1Resp

896Vistas

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

Resuelta

Preguntado el 15 de Octubre, 2016 por Tallmaris

6

2Resp

278Vistas

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

2397Vistas

¿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: