Preguntas etiquetadas con turing-machines

Para celebrar el cumpleaños de Alan Turing, Google publicó un garabato que muestra una máquina. ¿Qué tipo de máquina es el garabato? ¿Puede expresar un lenguaje completo de Turing? Hay diferencias obvias en la máquina clásica de turing: una cinta finita, restricciones en cómo se puede conectar el estado, ... …

10 cc.complexity-theory  turing-machines 

Soy un estudiante de maestría enfocado en sistemas distribuidos pero también interesado en informática teórica. Me preguntaba si hay una representación formal de un sistema distribuido encima de una máquina de turing. Es decir, ¿es posible extender (hacer una variante) el concepto de una máquina de turing para aprovechar la …

10 turing-machines  dc.distributed-comp 

Estaba jugando con la muy interesante y abierta pregunta " Alfabeto de la máquina de Turing de una sola cinta " (por Emanuele Viola) y se me ocurrió el siguiente idioma: L = { x ∈ { 0 , 1 }norte st | x | = n = 2metro y …

10 cc.complexity-theory  turing-machines  time-complexity 

La mayor parte de la literatura parece estar relacionada con máquinas con oráculos individuales para problemas específicos, sin embargo, parece haber algunos documentos que consideran máquinas con oráculos múltiples. ¿Existe un buen trabajo o tesis que proporcione una visión general de lo que se sabe sobre tales máquinas? En particular, …

10 oracles  turing-machines 

un tiempo he sentido curiosidad por las máquinas de Turing con exactamente una cinta y exactamente 3 estados (es decir, el estado inicial , el estado de aceptación y el estado de rechazo ). Tenga en cuenta que permito alfabetos de cinta arbitrarios (finitos) (es decir, el alfabeto de cinta …

9 automata-theory  turing-machines  cellular-automata 

¿Los autómatas con límites lineales no deterministas de visita limitada reconocen solo los lenguajes normales? Por un autómata lineal no determinista (nLBA) me refiero a una máquina de Turing no determinista de una sola cinta donde la entrada viene "rellenada" con marcadores en ambos extremos que nunca se pueden sobrescribir, …

9 automata-theory  turing-machines  regular-language  space-bounded 

Tengo una pregunta ingenua: ¿existe una máquina de Turing cuya terminación sea verdadera pero no demostrable por ninguna teoría natural, consistente y finitamente axiomatizable? Pido una mera prueba de existencia en lugar de un ejemplo específico. Esto podría tener alguna conexión con el análisis ordinal . De hecho, para una …

9 turing-machines  proof-theory  halting-problem 

Estoy buscando escribir una encuesta sobre el método de representar la dinámica de la computación basada en el estado en el marco de las coalgebras. Hasta ahora, he logrado encontrar documentos sobre representaciones de coalgebra de DFA, NFA, máquinas Mealy, máquinas Moore, gramáticas libres de contexto e incluso sistemas cuánticos …

9 automata-theory  turing-machines  algebra  automated-theorem-proving 

¿Existe una generalización del juego GO que se sabe que está completa? En caso negativo, ¿tiene alguna sugerencia sobre reglas razonables (de generalización) que puedan usarse para tratar de demostrar que está completa? La obvia es que el juego debe jugarse en un tablero infinito (cuadrante positivo). Pero, ¿qué pasa …

8 computability  turing-machines