Preguntas etiquetadas con computability

Dado un lenguaje , defina el conjunto de longitud de L como el conjunto de longitudes de palabras en L : L S ( L ) = { | u | ∣ u ∈ L }LLLLLLLLLLS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} ¿Qué conjuntos de enteros pueden ser el …

15 formal-languages  computability  regular-languages  finite-automata 

Idiomas como HALTTMHALTTM\text{HALT}_{TM} son RE-completeRE-complete\textsf{RE-complete} bajo muchas reducciones. Es trivial ver que co-REco-RE\text{co-RE} tiene problemas completos. S. Schmitz [1] considera algunas clases entre ELEMELEM\text{ELEM} y RECREC\text{REC} . Presentan problemas completos para estas clases bajo reducciones específicamente diseñadas. ¿Existen problemas completos para R=RE∩co-RER=RE∩co-RE\textsf{R} = \textsf{RE} \cap \textsf{co-RE} (también conocido como RECREC\textsf{REC} …

14 computability  reductions  turing-completeness  recursion-theory 

Quiero saber si el siguiente problema es decidible: Instancia: un NFA A con n estados Pregunta: ¿Existe algún número primo p tal que A acepte alguna cadena de longitud p. Creo que este problema es indecidible, pero no puedo probarlo. El decisor puede tener fácilmente un algoritmo para determinar si …

14 computability  finite-automata 

Si de hecho es igual a N P , ¿cómo mejoraría esto nuestros algoritmos para factorizar enteros más rápido? En otras palabras, ¿qué tipo de información nos daría este hecho para comprender mejor la factorización de enteros?PP{\sf P}NPNP{\sf NP}

14 complexity-theory  computability  np-complete  p-vs-np  factoring 

Me pregunto ¿cómo es que el siguiente lenguaje está en .RR\mathrm R LMETRO1= { ⟨ M2⟩∣∣METRO2 es una TM, y L ( M1) = L ( M2) , Y | ⟨ M1⟩ | > | ⟨ M2⟩ | }LMETRO1={⟨METRO2⟩El |METRO2 es un TM, y L(METRO1)=L(METRO2), y El |⟨METRO1⟩El |>El |⟨METRO2⟩El …

14 computability  undecidability 

Tengo estas preguntas de un antiguo examen que estoy tratando de resolver. Para cada problema, la entrada es una codificación de una máquina de Turing MMM . Para un entero c>1c>1c>1 , y los siguientes tres problemas: ¿Es cierto que para cada entrada xxx , M no pasa el |x|+c|x|+c|x|+c …

14 computability  turing-machines  undecidability 

Estaba buscando problemas abiertos interesantes y fáciles de expresar en computabilidad (comprensible para estudiantes de pregrado que toman su primer curso en computabilidad) para dar ejemplos de problemas abiertos (y obviamente quiero que los estudiantes puedan entender el problema sin necesitar demasiados nuevos definiciones y también ser interesante para ellos). …

14 computability 

Sin embargo, muchos problemas indecidibles "famosos" son al menos semidecidibles, y su complemento es indecidible. Un ejemplo sobre todo puede ser el problema de detención y su complemento. Sin embargo, ¿alguien puede darme un ejemplo en el que tanto un problema como su complemento sean indecidibles y no semidecidibles? Pensé …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

Me pregunto si decidir la capacidad de decisión del problema es un problema decidible. Supongo que no, pero después de las búsquedas iniciales no puedo encontrar ninguna literatura sobre este problema.

13 computability  undecidability  decision-problem 

A propósito de la sugerencia de Raphael sobre la intersección de dos NPDA : Deje y A 2 NPDA para lenguajes libres de contexto L 1 y L 2 , respectivamente. Suponiendo que sabemos que L = L 1 ∩ L 2 no tiene contexto, ¿podemos (efectivamente) construir NPDA para …

13 computability  automata  pushdown-automata 

La función de desplazamiento máximo del castor ocupado, , tiene valores conocidos para n ≤ 4 . ¿Hay alguna razón estructural básica por la que es inconcebible que alguna vez encontremos S ( n ) para n > 4 ? ¿Qué tiene de diferente n = 4 que n = …

13 computability  busy-beaver 

Soy un poco nuevo, pero estoy muy interesado en el campo de la informática y la teoría de la complejidad, y quiero aclarar mi comprensión sobre cómo clasificar los problemas, y qué tan fuertemente se relacionan los problemas con la máquina que se está utilizando para resolverlos. Mi punto de …

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

Leí sobre los números de castores ocupados y cómo crecen asintóticamente más grandes que cualquier función computable. ¿Por qué esto es tan? ¿Se debe a la no computabilidad de la función de castor ocupado? Si es así, ¿todas las funciones no computables crecen asintóticamente más grandes que las computables? Editar: …

13 computability  asymptotics 

El problema posterior a la correspondencia (PCP) es indecidible. La versión limitada del PCP es -complete y la versión marcada del PCP (las palabras de una de las dos listas deben diferir en la primera letra) está en [1].N PnortePAG\mathrm{NP}P S P A C EPAGSPAGUNCmi\mathrm{PSPACE} ¿Se utilizan estas versiones restringidas …

13 complexity-theory  computability  reference-request 

Si tenemos algún programa de computadora arbitrario que pueda modificar sus instrucciones, ¿es posible simular ese programa con un programa que no pueda modificar sus instrucciones? Editar: Soy nuevo en stackexchange, así que no estoy seguro si se me permite hacer una NUEVA pregunta aquí, pero aquí va: Ok, entonces …

12 computability  computation-models  turing-completeness  church-turing-thesis