Preguntas etiquetadas con computability

En mi experiencia, los lenguajes sensibles al contexto y los autómatas lineales limitados son frecuentemente omitidos o ignorados en los cursos de teoría de la computabilidad, e incluso quedan fuera de algunos libros de texto notables, aunque los autómatas finitos y pushdown reciben mucha atención. ¿Seguramente debe haber una buena …

9 computability  fl.formal-languages  automata-theory 

Cerrado. Esta pregunta está fuera de tema . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que sea sobre el tema para el intercambio teórico de pila de informática. Cerrado hace 3 años . ¿Existe una breve construcción explícita de una función recursiva universal ? …

9 lo.logic  computability  pl.programming-languages 

Del teorema de Rice se deduce que no se puede determinar si dos máquinas de Turing deciden o no el mismo idioma. Mi pregunta es: ¿Esto también se aplica en configuraciones de complejidad descriptiva, particularmente cuando se trata de probar un par de consultas SO-Horn para ver si describen el …

9 computability  descriptive-complexity 

En Computabilidad, si queremos demostrar que un problema no es recursivo o recursivamente enumerable, podemos usar, por ejemplo, reducciones de otros problemas no recursivos o no re, el teorema de Rice, el teorema de Rice-Shapiro, etc. Estas técnicas funcionan gracias a , o se basan directamente en la existencia de …

8 cc.complexity-theory  computability 

Me he estado preguntando por un tiempo sobre el origen de los nombres "inmunes" y "simples". También le hice la misma pregunta a Andrea Sorbi, quien a su vez involucró a algunos colegas más en la discusión. Sobre "simple" tenemos algunas conjeturas. Martin Davis sugiere que el nombre deriva de …

8 reference-request  lo.logic  computability  philosophy 

¿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 

El lenguaje de los whileprogramas puede expresar las funciones computablemente enumerables. (Esto es cierto incluso si las únicas operaciones aritméticas en variables son, por ejemplo, incremento y decremento). Si whilese reemplaza por forhacer bucles siempre delimitados, el lenguaje solo puede expresar las funciones recursivas primitivas. Recientemente me di cuenta de …

8 cc.complexity-theory  computability  pl.programming-languages 

Muchos resultados en criptografía dependen de resultados / conjeturas imposibles en la teoría de la complejidad. Por ejemplo, se cree que la criptografía de clave pública que usa RSA es posible debido a la conjetura sobre la inviabilidad de la factorización (y los problemas de búsqueda de raíz modular). Mi …

8 cc.complexity-theory  cr.crypto-security  computability 

Estoy tratando de desarrollar algunas nociones de un cálculo de diferencia entre una máquina ideal de Turing ideal concebida por un desarrollador (por ejemplo, lo que sea que pretenda un desarrollador de software), llámelo y las máquinas que representan el software que realmente se diseñó y implementado, digamos M α …

8 lo.logic  computability  pl.programming-languages  model-checking  program-verification 

¿Podría recomendar un artículo de encuesta o un capítulo de libro de texto que presente la teoría de las funciones recursivas? Gracias

8 reference-request  computability 

Un Quine es un programa de computadora que produce una copia de su propio código fuente como su única salida. ¿Hay algún programa de Quine que pueda imprimirse n veces, con n especificado de alguna manera en el programa?

8 computability  recreational 

En el artículo Relativizaciones de la P =? Pregunta NP , Baker et al. demostró que existen mundos relativizados en los que se mantiene P = NP o P ≠ NP. Todos los oráculos en su configuración eran conjuntos recursivos. En otro artículo relativo a un Oráculo aleatorio , P …

8 cc.complexity-theory  computability  oracles  relativization