Preguntas etiquetadas con computability

Preguntas relacionadas con la teoría de la computabilidad, también conocida como teoría de la recursividad

5
¿Qué es exactamente el cálculo?
Sé lo que es la computación en un sentido vago (es lo que hacen las computadoras), pero me gustaría una definición más rigurosa. Dictionary.comLas definiciones de computación, computación, cálculo y computación son circulares, por lo que no ayuda. Wikipediadefine el cálculo como "cualquier tipo de cálculo que siga un modelo …
1
Ratio de problemas decidibles
Considere los problemas de decisión establecidos en un lenguaje formal "razonable". Digamos fórmulas en aritmética de Peano de orden superior con una variable libre como marco de referencia, pero estoy igualmente interesado en otros modelos de cómputo: ecuaciones de diofantina, problemas de palabras por reescribir reglas usando máquinas de Turing, …
1
¿Puede una función computable converger a un número no computable?
¿Existe una función computable tal que:F: N → QF:norte→Qf:\mathbb{N}\rightarrow \mathbb{Q} Para todos lost ∈ N : 0 ≤ f( t ) &lt; Xt∈norte:0 0≤F(t)&lt;Xt\in\mathbb{N}: 0\le f(t) < X limt → ∞F( t ) = Xlimt→∞F(t)=X\lim\limits_{t\rightarrow\infty} f(t) = X Donde XXX es un número real indiscutible. La única referencia a esta …
1
Expresiones regulares con referencias al alfabeto unario
Ajuste: expresiones regulares con referencias lenguaje unario (alfabeto de 1 símbolo) ¿Se puede resolver el siguiente problema en esta configuración: Dada una expresión regular con referencias inversas, ¿define un lenguaje regular? Por ejemplo, (aa+)\1define un lenguaje regular, mientras (aa+)\1+que no. ¿Podemos decidir cuál es el caso? Para concreción, "expresiones regulares …
2
¿En qué sentido el conjunto de Mandelbrot es "computable"?
El conjunto de Mandelbrot es una hermosa criatura en matemáticas. Hay muchas imágenes hermosas de este conjunto creado con alta precisión, por lo que obviamente este conjunto es "computable" en algún sentido. Sin embargo, lo que me preocupa es el hecho de que ni siquiera es enumerable recursivamente, simplemente porque …
4
¿Cómo verifica si dos algoritmos devuelven el mismo resultado para cualquier entrada?
¿Cómo se verifica si dos algoritmos (por ejemplo, ordenar por combinación y ordenar por ingenuo) devuelven el mismo resultado para cualquier entrada, cuando el conjunto de todas las entradas es infinito? Actualización: Gracias Ben por describir cómo esto es imposible de hacer algorítmicamente en el caso general. La respuesta de …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.