Preguntas etiquetadas con computability

Las máquinas de Turing y las gramáticas sin restricciones son dos formalismos diferentes que definen los lenguajes RE. Algunos lenguajes RE son decidibles, pero no todos lo son. Podemos definir los idiomas decidibles con las máquinas de Turing diciendo que un idioma es decidible si hay una TM para el …

10 computability  turing-machines  formal-grammars 

Está comprobado que las redes neuronales con pesos racionales tienen el poder computacional de la máquina universal de Turing Computabilidad de Turing con redes neuronales . De lo que obtengo, parece que el uso de pesos con valor real produce aún más poder computacional, aunque no estoy seguro de esto. …

10 computability  neural-networks 

Recibo la prueba de pasar de un enumerador a una máquina de Turing (sigo ejecutando el enumerador y ver si coincide con la entrada) pero no veo cómo funciona la otra manera. Según mis notas y el libro (Introducción a la teoría de la computación - Sipser), para obtener el …

10 computability  turing-machines  intuition 

¿Es necesario que sea infinito para ser indecidible?L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Quiero decir, ¿qué sucede si elegimos un idioma? será una versión limitada finita de , es decir , ( ), con . ¿Es posible que sea ​​un lenguaje indecidible? L′L′L' L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^*|L′|≤N|L′|≤N|L'|\leq NN∈NN∈NN \in \mathbb{N}L′⊂LL′⊂LL' \subset LL′L′L' Veo que hay un …

10 formal-languages  computability  undecidability 

Deje que A y B sean idiomas con A ⊆ B, y B sea reconocible por Turing. ¿Puede A no ser reconocible por Turing? Si es así, ¿hay algún ejemplo?

10 computability 

Bien, aquí hay una pregunta de una prueba anterior en mi clase de Teoría de la computación: Un estado inútil en una TM es uno que nunca se ingresa en ninguna cadena de entrada. Deje que Demuestre que es indecidible.U S E L E S S T MUSELESSTM={⟨M,q⟩∣q is a …

10 computability  undecidability  formal-methods  turing-machines 

¿Es "verdadero el teorema de Rice para los reales computables"? ¿Corresponde esto de alguna manera directa a la conexión de los reales?

10 computability  real-numbers  computable-analysis 

En este sitio hay muchas variantes sobre la cuestión de si las TM pueden decidir el problema de detención, ya sea para todas las otras TM o ciertos subconjuntos. Esta pregunta es algo diferente. Pregunta si el problema de detención se aplica a todas las TM puede ser decidido por …

9 computability  turing-machines  undecidability  halting-problem 

Una declaración del teorema de Rice se da en la página 35 de "Complejidad computacional: un enfoque moderno" (Arora-Barak): Una función parcial de { 0 , 1 }∗{0,1}∗\{0,1\}^* a { 0 , 1 }∗{0,1}∗\{0,1\}^* es una función que no está necesariamente definida en todas sus entradas. Decimos que una TM …

9 computability  turing-machines  undecidability  rice-theorem 

Se me ocurrió esta pregunta sobre el problema de detención y no pude encontrar una buena respuesta en línea, preguntándome si alguien puede ayudar. ¿Es posible que el problema de detención sea decidible para cualquier TM en cualquier entrada, siempre que la entrada no sea la propia TM? Básicamente: Halts(TM, …

9 computability  undecidability  halting-problem 

Hoy en el almuerzo, mencioné este problema con mis colegas, y para mi sorpresa, el argumento de Jeff E. de que el problema es decidible no los convenció ( aquí hay una publicación estrechamente relacionada sobre el desbordamiento matemático). Un enunciado del problema que es más fácil de explicar ("¿es …

9 computability  undecidability 

Para demostrar que 3 colores es decidible, ¿es suficiente decir: Cada nodo en el gráfico tiene 3 colores posibles. Por lo tanto, podemos enumerar las posibilidades y luego verificar que no haya dos bordes conectando nodos con el mismo color3norte3norte3^n ¿Eso prueba que 3 colores es decidible? ¿O necesito construir …

9 computability  turing-machines  colorings 

Supongamos que tengo dos funciones y y estoy interesado en determinar siFFFGGG F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Supongamos que mis funciones están compuestas de funciones elementales (polinomios, exponenciales, registros y funciones trigonométricas), pero no, digamos, series de Taylor. ¿Es este problema decidible? Si no, ¿es semidecidable? (Lo pregunto porque estoy enseñando …

9 computability  undecidability  mathematical-analysis  computer-algebra 

Este es un seguimiento de otra pregunta aquí , y espero que no sea demasiado filosófico. Como señaló Raphael en un comentario sobre mi pregunta anterior, realmente no entiendo la definición de "computable", pero de acuerdo con algunos documentos que leí, la definición tampoco está muy clara cuando se trata …

9 computability  computation-models 

Soy un estudiante universitario que recién comienza a leer sobre informática reversible. Sé que, debido al principio de Landauer, los cálculos irreversibles disipan el calor (y los reversibles no). Lo mencioné con mi profesor, que nunca antes había oído hablar de la computación reversible, y estaba teniendo dificultades para entender …

9 computability  reversible-computing