Preguntas etiquetadas con turing-machines

Cualquier lenguaje que no esté completo no puede escribir un intérprete para sí mismo. No tengo idea de dónde lo leí, pero lo he visto varias veces. Parece que esto da lugar a una especie de lenguaje completo "Turing" no Turing completo; la (s) que solo puedenser interpretado por una …

16 computability  turing-machines 

Desde un punto de vista puramente abstracto de razonamiento matemático / computacional, ¿cómo podría uno incluso descubrir o razonar sobre problemas como 3-SAT, Subset Sum, Travelling Salesman, etc.? Estaríamos incluso capaz de razonar sobre ellas de una manera significativa con sólo la funcionalidad punto de vista? ¿Sería posible? He estado …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np 

Dado un lenguaje L definido por una máquina de Turing que lo decide, ¿es posible determinar algorítmicamente si L se encuentra en NP?

15 cc.complexity-theory  computability  turing-machines 

En relación con esta pregunta , se me ocurrió preguntarme: ¿cuál es la complejidad del tiempo para que una máquina Turing de una sola cinta y un solo cabezal calcule la longitud de su entrada? Para ser específicos, digamos que el alfabeto de la cinta es , la entrada es …

13 turing-machines 

¿Hay alguna prueba de que la emulación de una máquina de Turing en una máquina de Turing ajena no se puede hacer en menos de donde es el número de pasos que usa la máquina de Turing ? ¿O es solo un límite superior?O ( m logm )O(metroIniciar sesión⁡metro)\mathcal{O}\left(m\log m\right)metrometrom …

13 cc.complexity-theory  turing-machines 

En pocas palabras: ¿cuál es la correspondencia entre las máquinas de Turing con oráculos y las familias de circuitos uniformes con oráculos? ¿Cómo se definen estos últimos para obtener el mismo modelo computacional, para una máquina de Oracle Turing dada? Esta puede ser una pregunta elemental, pero no es obvio …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

¿Existe una máquina de Turing que pueda decidir si casi todas las demás máquinas de Turing se detienen? N→{Mi}N→{Mi}\mathbb{N} \rightarrow \{M_i\}∥⋅∥‖⋅‖\| \cdot \| f(i)=∥{n:Mi can't decide whether Mn halts}∥.f(i)=‖{n:Mi can't decide whether Mn halts}‖.f(i) = \|\{n: M_i \text{ can't decide whether }M_n \text{ halts} \}\|. ¿Qué caracterizaciones del valor mínimo …

12 turing-machines  halting-problem 

Es bien sabido que el problema de detención es indiscutible. Sin embargo, es posible "comprimir" exponencialmente la información sobre el problema de detención, de modo que descomprimirla sea computable. Más precisamente, es posible calcular a partir de una descripción de máquinas de Turing y un consejo de n bits que …

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

El teorema de la jerarquía del tiempo establece que las máquinas de Turing pueden resolver más problemas si tienen (suficiente) más tiempo. ¿Se mantiene de alguna manera si el espacio está limitado asintóticamente? ¿Cómo se relaciona DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) con DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) si fgfg\frac{f}{g} crece lo suficientemente rápido? Estoy especialmente interesado …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

Estoy bastante seguro de que no soy el primero en considerar la idea que voy a presentar. Sin embargo, sería útil si puedo encontrar alguna literatura relacionada con la idea. La idea es construir una máquina de Turing M con la propiedad de que si P = NP, entonces M …

12 reference-request  turing-machines  p-vs-np 

Defina como la clase de idiomas que puede aceptar una máquina de Turing (multitapa) en el tiempo f ( n ) + 1 . (El " + 1 " es simplemente para simplificar la notación y evitar confusiones). Observe que no hay O ( ⋅ ) alrededor de f ( …

12 cc.complexity-theory  time-complexity  turing-machines  time-hierarchy 

Después de leer una pregunta relacionada , acerca de las pruebas de algoritmos de existencia no constructivas, me preguntaba si existen métodos para mostrar la existencia de máquinas de cómputo "pequeñas" (por ejemplo, a nivel de estado) sin construirlas realmente. Formalmente: supongamos que tenemos un lenguaje y arreglamos un modelo …

11 cc.complexity-theory  automata-theory  turing-machines 

Estoy buscando un lenguaje pequeño que ayude a 'convencer' a los estudiantes de que las máquinas de Turing son un modelo informático suficientemente general. Es decir, un lenguaje que se parece a los idiomas a los que están acostumbrados, pero que también es fácil de simular en una máquina de …

11 turing-machines 

Respuesta: no conocida Muchas gracias a todos los que ayudaron a refinar esta pregunta y las definiciones asociadas. Las definiciones de esta wiki proporcionaron el punto de partida para la wiki TCS más reciente " ¿Contiene P lenguajes cuya existencia es independiente de PA o ZFC? (Wiki de la comunidad …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

Robin Gandy fue alumno de Alan Turing . Gandy hizo un análisis del motor analítico de Babbage (ver 'Gandy - La confluencia de ideas en 1936' citado en 'Herken, Rolf - La máquina universal de Turing: una encuesta de medio siglo . Springer Verlag') - y dijo que sí (cf. …

10 turing-machines  universal-computation  charles-babbage