Preguntas etiquetadas con computability

Estoy empezando a leer un libro sobre Complejidad Computacional y Máquinas de Turing. Aquí está la cita: Un algoritmo (es decir, una máquina) puede representarse como una cadena de bits una vez que decidimos sobre una codificación canónica. Esta afirmación se proporciona como un hecho simple, pero no puedo entenderlo. …

17 algorithms  turing-machines  computability  computation-models 

¿Existe una máquina de Turing que se detiene en todas las entradas pero esa propiedad no es demostrable por alguna razón? Me pregunto si esta pregunta ha sido estudiada. Tenga en cuenta que "no demostrable" podría significar un sistema de prueba "limitado" (que en el sentido débil piensa que la …

17 computability  reference-request  turing-machines  halting-problem 

¿Qué operaciones deben realizarse para realizar cualquier cálculo analógico arbitrario ? ¿Serían suficientes la suma, la resta, la multiplicación y la división? Además, ¿alguien sabe exactamente qué problemas son manejables con el cálculo analógico, pero no con el digital?

17 computability  computation-models  turing-completeness 

Escuché que la interacción del lema es más poderosa que los algoritmos de Peter Wegner . La base de la idea es que una máquina de Turing (clásica) no puede manejar la interacción, es decir, la comunicación (entrada / salida) con el mundo exterior / entorno. ¿Cómo puede ser esto …

17 computability  computation-models 

Quiero saber si el siguiente problema es decidible y cómo averiguarlo. Cada problema que veo puedo decir "sí" o "no", ¿entonces la mayoría de los problemas y algoritmos son decidibles, excepto algunos (que se proporcionan aquí )? Entrada: Un gráfico dirigido y finito , con y como vértices Pregunta: ¿Existe …

17 algorithms  computability  graph-theory  undecidability 

Dados los idiomas AAA y BBB , digamos que su concatenación ABABAB es inequívoca si para todas las palabras w∈ABw∈ABw \in AB , hay exactamente una descomposición w=abw=abw = ab con a∈Aa∈Aa \in A y b∈Bb∈Bb \in B , y de lo contrario es ambigua . (No sé si hay …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

No existe una solución analítica general para el problema del cuerpo n que pueda producir una función analítica que pueda usarse para proporcionar el estado de un sistema n-cuerpo en un tiempo arbitrario t con precisión exacta. Sin embargo, hay algunos casos especiales de sistemas de n cuerpos para los …

16 computability  turing-machines  undecidability  computation-models 

El problema de si dos autómatas pushdown reconocen el mismo idioma es indecidible. El problema de si un autómata pushdown reconoce el idioma vacío es decidible, por lo tanto, también es decidible si reconoce un idioma finito determinado. No se puede determinar si el lenguaje aceptado por un autómata pushdown …

16 computability  undecidability  pushdown-automata 

En esta pregunta solo consideramos las máquinas de Turing que detienen todas las entradas. Si entonces por denotamos la máquina de Turing cuyo código es .k ∈ N k∈Nk \in \mathbb{N}T kTkT_k kkk Considere la siguiente función s ( x , y ) = min { k ∣ | L …

16 computability  turing-machines 

Tenga en cuenta que esta es una pregunta relacionada con el estudio en un curso de CS en una universidad, NO es tarea y se puede encontrar aquí en el examen de otoño de 20112. Aquí están las dos preguntas que estoy viendo en un examen anterior. Parecen estar relacionados, …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

Las máquinas de mostrador con dos o más contadores suelen ser equivalentes a las máquinas de Turing en cursos sobre teoría de la computación. Sin embargo, no he visto un análisis formal de qué idiomas puede reconocer una máquina de un contador. ¿Son estos lenguajes equivalentes a los lenguajes libres …

15 computability  automata 

En una conferencia, un profesor mencionó que las computadoras modernas no tienen tanta potencia computacional como una máquina de Turing porque no tienen memoria infinita, y dado que ninguna computadora puede tener memoria infinita, la máquina de Turing es inalcanzable y simplemente representa el límite superior de informática. ¿Existe una …

15 computability 

Estoy usando una computadora digital para escribir este mensaje. Tal máquina tiene una propiedad que, si lo piensa, es realmente notable: es una máquina que, si se programa adecuadamente, puede realizar cualquier cálculo posible . Por supuesto, las máquinas de calcular de un tipo u otro vuelven a la antigüedad. …

15 computability  turing-machines  history 

¿Hay propiedades indecidibles de autómatas lineales delimitados (evitando el truco del lenguaje de conjunto vacío)? ¿Qué pasa con un autómata finito determinista? (Deje de lado la intratabilidad). Me gustaría obtener un ejemplo (si es posible) de un problema indecidible que se define sin utilizar explícitamente máquinas de Turing . ¿Es …

15 computability  automata  undecidability 

Un conjunto es contable si tiene una biyección con los números naturales, y es computablemente enumerable (ce) si existe un algoritmo que enumera sus miembros. Cualquier conjunto enumerable computable no finito debe ser contable ya que podemos construir una biyección a partir de la enumeración. ¿Hay algún ejemplo de conjuntos …

15 computability  semi-decidability