Preguntas ciencias de máquinas-de-estado

5

1Resp

136Vistas

¿Cuántas variables se qué se necesita para ser completa para $\Sigma^0_n$?

Resuelta

Preguntado el 17 de Agosto, 2018 por Stella Biderman

10

1Resp

404Vistas

Saltando al infinito a lo largo de una cadena de dígitos

Resuelta

Preguntado el 13 de Abril, 2019 por yoliho

4

2Resp

140Vistas

Decidibilidad de la máquina de Turing

Abierta

Preguntado el 11 de Mayo, 2014 por MacLing

4

1Resp

280Vistas

La simple máquina de estado con entradas de enclavamiento me confunde

Abierta

Preguntado el 17 de Agosto, 2013 por Daniel Earwicker

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

4

1Resp

234Vistas

¿Cuántos dígitos de la constante$\Omega$ de Chaitin sabríamos si tuviéramos un$\Sigma_1$ - Oracle?

Resuelta

Preguntado el 25 de Marzo, 2013 por Wolphram jonny

4

1Resp

156Vistas

Máquina de Turing con parte de sólo lectura y cinta finita

Resuelta

Preguntado el 30 de Diciembre, 2018 por Eliads

7

2Resp

128Vistas

¿Es posible poner una topología en idiomas reconocibles por Turing para expresar densidad entre todos los idiomas?

Resuelta

Preguntado el 12 de Enero, 2019 por Bermudes

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

4

2Resp

167Vistas

Controlador de semáforos

Resuelta

Preguntado el 20 de Noviembre, 2016 por itsnotmyrealname

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

5

3Resp

171Vistas

¿Puedes resolver el problema de parada para una única máquina de Turing no universal?

Abierta

Preguntado el 10 de Mayo, 2015 por Xevrex

4

5Resp

227Vistas

De dónde viene este argumento muestra que hay una cantidad no numerable de TMs no?

Abierta

Preguntado el 6 de Julio, 2015 por Marco

6

2Resp

132Vistas

¿Pueden codificarse todas las operaciones matemáticas con un lenguaje de Turing Complete?

Resuelta

Preguntado el 23 de Mayo, 2018 por Novkovski Stevo Bato

5

2Resp

181Vistas

Negativos de los números y de Gödel Teorema del estado incompleto

Resuelta

Preguntado el 22 de Junio, 2018 por Stella Biderman

4

1Resp

132Vistas

Supongamos que un algoritmo mágico puede resolver el problema de detención ... Úselo para hacer cosas.

Abierta

Preguntado el 9 de Agosto, 2017 por QNeville

5

2Resp

696Vistas

ISR: ¿abanderar o no abanderar?

Resuelta

Preguntado el 5 de Mayo, 2014 por Tsahi Levent-Levi

21

1Resp

172Vistas

¿Qué rompe la completitud de Turing del cálculo lambda simplemente tipado?

Resuelta

Preguntado el 9 de Junio, 2015 por stefanosn

4

2Resp

285Vistas

¿Que corresponden al código de máquina de estado finito de μC?

Resuelta

Preguntado el 3 de Junio, 2017 por Iqbal Jurist

4

2Resp

156Vistas

¿Por qué es tan difícil de traducir algunos demuestra en forma legible por máquina?

Abierta

Preguntado el 13 de Marzo, 2016 por BigbearZzz

5

1Resp

154Vistas

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

Resuelta

Preguntado el 6 de Mayo, 2018 por user559507

6

1Resp

154Vistas

Hay una noción universal de la computabilidad?

Abierta

Preguntado el 25 de Abril, 2018 por Angel115

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

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

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

6

1Resp

231Vistas

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

Resuelta

Preguntado el 21 de Septiembre, 2013 por Faiz

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

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

17

3Resp

2402Vistas

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

Abierta

Preguntado el 22 de Noviembre, 2017 por SergeanT

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

Preguntas ciencias máquinas-de-estado

Cualquiera puede hacer una pregunta

Cualquiera puede responder

Se votan las mejores respuestas.

¿Cuántas variables se qué se necesita para ser completa para $\Sigma^0_n$?

Saltando al infinito a lo largo de una cadena de dígitos

Decidibilidad de la máquina de Turing

La simple máquina de estado con entradas de enclavamiento me confunde

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

¿Cuántos dígitos de la constante$\Omega$ de Chaitin sabríamos si tuviéramos un$\Sigma_1$ - Oracle?

Máquina de Turing con parte de sólo lectura y cinta finita

¿Es posible poner una topología en idiomas reconocibles por Turing para expresar densidad entre todos los idiomas?

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

Controlador de semáforos

¿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)?

¿Puedes resolver el problema de parada para una única máquina de Turing no universal?

De dónde viene este argumento muestra que hay una cantidad no numerable de TMs no?

¿Pueden codificarse todas las operaciones matemáticas con un lenguaje de Turing Complete?

Negativos de los números y de Gödel Teorema del estado incompleto

Supongamos que un algoritmo mágico puede resolver el problema de detención ... Úselo para hacer cosas.

ISR: ¿abanderar o no abanderar?

¿Qué rompe la completitud de Turing del cálculo lambda simplemente tipado?

¿Que corresponden al código de máquina de estado finito de μC?

¿Por qué es tan difícil de traducir algunos demuestra en forma legible por máquina?

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

Hay una noción universal de la computabilidad?

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

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

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

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

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

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

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

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

Etiquetas mas usadas

i-Ciencias.com

Powered by: