Preguntas de máquinas-de-estado

31

5Resp

2771Vistas

¿Cuándo y por qué una máquina de Turing no puede resolver el problema de la parada?

Abierta

Preguntado el 26 de Diciembre, 2018 por Bram28

6

1Resp

216Vistas

¿Una máquina de Turing indecidible pero no universal?

Resuelta

Preguntado el 8 de Abril, 2014 por weux082690

6

2Resp

174Vistas

¿Por qué son máquinas de Turing el modelo preferido de cómputo?

Abierta

Preguntado el 12 de Septiembre, 2017 por Thomas Anton

5

1Resp

166Vistas

¿Existe un par de máquinas de Turing 'ortogonales' que no se detienen?

Resuelta

Preguntado el 1 de Marzo, 2015 por Bill Trok

15

4Resp

2426Vistas

¿Qué tan grande es el conjunto de todas las máquinas de Turing?

Resuelta

Preguntado el 6 de Marzo, 2015 por dwf

8

5Resp

2172Vistas

Entender por qué el problema de Halting puede ' resolver t

Resuelta

Preguntado el 23 de Marzo, 2017 por kefs

17

3Resp

2402Vistas

¿Por qué nadie demostrar indecidibilidad por el argumento de "demasiados problemas"?

Abierta

Preguntado el 22 de Noviembre, 2017 por SergeanT

5

1Resp

154Vistas

Cada máquina de Turing corresponde a un sistema formal de

Resuelta

Preguntado el 6 de Mayo, 2018 por user559507

21

3Resp

765Vistas

¿Cómo puede Busy beaver($10 \uparrow \uparrow 10$) no tienen comprobable límite superior?

Resuelta

Preguntado el 21 de Octubre, 2012 por ronno

7

1Resp

242Vistas

¿Diseño de una máquina de estado síncrona registrado para un bloqueo de combinatoria?

Abierta

Preguntado el 4 de Agosto, 2016 por MoG

6

2Resp

204Vistas

¿Hay un turing para que detener es equivalente al axioma de elección o su negación?

Resuelta

Preguntado el 7 de Agosto, 2015 por PyRulez

5

1Resp

153Vistas

¿Existe una estricta medida numérica de la fuerza para cualquier teoría de conjuntos (en relación con un ordinal prueba teórica correspondiente)?

Resuelta

Preguntado el 27 de Septiembre, 2018 por lyrically wicked

43

5Resp

1314Vistas

¿Por qué creemos en la tesis de Church-Turing?

Resuelta

Preguntado el 26 de Mayo, 2013 por Esben Skov Pedersen

60

3Resp

2545Vistas

Hay Turing-indecidible problemas cuya undecidability es independiente de la detención problema?

Resuelta

Preguntado el 16 de Junio, 2015 por casper

10

2Resp

1260Vistas

Demuestre que la pregunta "¿Hay vida más allá de la Tierra?" es decidible

Resuelta

Preguntado el 2 de Junio, 2015 por Lee

12

2Resp

348Vistas

La madre de todos los problemas indecidibles

Resuelta

Preguntado el 13 de Agosto, 2014 por Bob

9

4Resp

1154Vistas

Interrumpir el manejo de microcontroladores y ejemplo FSM

Abierta

Preguntado el 10 de Abril, 2015 por Umberto D.

9

3Resp

587Vistas

Pulsar mismas filas claves al mismo tiempo

Resuelta

Preguntado el 11 de Junio, 2014 por Michael Paulukonis

7

2Resp

587Vistas

Es el conjunto de PA teoremas de la misma como el conjunto de solucionable detener los problemas?

Resuelta

Preguntado el 27 de Enero, 2013 por Wolphram jonny

9

2Resp

278Vistas

Hay naturales conocidos problemas de intermedio grados de unsolvability?

Resuelta

Preguntado el 4 de Febrero, 2013 por bendewey

6

2Resp

770Vistas

¿Por qué es la lógica proposicional no Turing completo?

Resuelta

Preguntado el 1 de Abril, 2013 por Mikey Buggs

11

4Resp

1010Vistas

¿Cuál es la diferencia entre un shuffle y una permutación?

Resuelta

Preguntado el 8 de Abril, 2017 por Kitalda

7

2Resp

1901Vistas

¿Es este número computable?

Resuelta

Preguntado el 15 de Junio, 2017 por Krumelur

5

2Resp

408Vistas

No se puede obtener el mapa de k correcto para esta máquina de estados finitos (sistema de cruce de peatones)

Abierta

Preguntado el 19 de Noviembre, 2014 por Lemmy

25

5Resp

3071Vistas

Pregunta de entrevista VHDL - averigua si un número se puede dividir por 5 sin resto

Resuelta

Preguntado el 15 de Diciembre, 2017 por tomka

6

1Resp

231Vistas

Límites inferiores para bb(7) y bb(8) querido

Resuelta

Preguntado el 21 de Septiembre, 2013 por Faiz

4

2Resp

114Vistas

¿Podríamos diseñar una máquina de Turing que diera salida a cada bit de $\pi$ uno tras otro correctamente con una longitud de cinta limitada?

Abierta

Preguntado el 9 de Junio, 2017 por Frank Xu

19

5Resp

2370Vistas

¿Cómo podemos saber que no estamos accidentalmente hablando acerca de la no-estándar de los números enteros?

Abierta

Preguntado el 5 de Marzo, 2018 por Abhishek Bajoria

9

3Resp

140Vistas

Busy Beaver función de la tasa de crecimiento en comparación con funciones computables

Abierta

Preguntado el 15 de Abril, 2018 por Asvin

6

1Resp

154Vistas

Hay una noción universal de la computabilidad?

Abierta

Preguntado el 25 de Abril, 2018 por Angel115

Preguntas de máquinas-de-estado

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Cuándo y por qué una máquina de Turing no puede resolver el problema de la parada?

¿Una máquina de Turing indecidible pero no universal?

¿Por qué son máquinas de Turing el modelo preferido de cómputo?

¿Existe un par de máquinas de Turing 'ortogonales' que no se detienen?

¿Qué tan grande es el conjunto de todas las máquinas de Turing?

Entender por qué el problema de Halting puede ' resolver t

¿Por qué nadie demostrar indecidibilidad por el argumento de "demasiados problemas"?

Cada máquina de Turing corresponde a un sistema formal de

¿Cómo puede Busy beaver($10 \uparrow \uparrow 10$) no tienen comprobable límite superior?

¿Diseño de una máquina de estado síncrona registrado para un bloqueo de combinatoria?

¿Hay un turing para que detener es equivalente al axioma de elección o su negación?

¿Existe una estricta medida numérica de la fuerza para cualquier teoría de conjuntos (en relación con un ordinal prueba teórica correspondiente)?

¿Por qué creemos en la tesis de Church-Turing?

Hay Turing-indecidible problemas cuya undecidability es independiente de la detención problema?

Demuestre que la pregunta "¿Hay vida más allá de la Tierra?" es decidible

La madre de todos los problemas indecidibles

Interrumpir el manejo de microcontroladores y ejemplo FSM

Pulsar mismas filas claves al mismo tiempo

Es el conjunto de PA teoremas de la misma como el conjunto de solucionable detener los problemas?

Hay naturales conocidos problemas de intermedio grados de unsolvability?

¿Por qué es la lógica proposicional no Turing completo?

¿Cuál es la diferencia entre un shuffle y una permutación?

¿Es este número computable?

No se puede obtener el mapa de k correcto para esta máquina de estados finitos (sistema de cruce de peatones)

Pregunta de entrevista VHDL - averigua si un número se puede dividir por 5 sin resto

Límites inferiores para bb(7) y bb(8) querido

¿Podríamos diseñar una máquina de Turing que diera salida a cada bit de $\pi$ uno tras otro correctamente con una longitud de cinta limitada?

¿Cómo podemos saber que no estamos accidentalmente hablando acerca de la no-estándar de los números enteros?

Busy Beaver función de la tasa de crecimiento en comparación con funciones computables

Hay una noción universal de la computabilidad?

Etiquetas mas usadas

i-Ciencias.com

Powered by: