Preguntas etiquetadas con decidability

Me estoy preparando para una charla dirigida a estudiantes de matemáticas de pregrado y, como parte de ella, estoy considerando discutir el concepto de capacidad de decisión. Quiero dar un ejemplo de un problema que actualmente no sabemos que sea decidible o indecidible. Existen muchos problemas de este tipo, pero …

92 computability  decidability 

Si se restringe Turing Machines a una cinta finita (es decir, para usar el espacio limitado ), entonces el problema de detención es decidible, esencialmente porque después de varios pasos (que pueden calcularse a partir del número de estados Q y S , y el tamaño del alfabeto), se debe …

33 turing-machines  decidability 

Sé que es indecidible determinar si un conjunto de fichas puede enlosar el plano, como resultado de que Berger usa fichas de Wang . Mi pregunta es si también se sabe que es indecidible determinar si un solo mosaico dado puede enlosar el plano, un mosaico monoédrico . Si esto …

24 reference-request  co.combinatorics  decidability  undecidability 

Es bien sabido que el problema de equivalencia es indecidible para los lenguajes generales sin contexto. Sin embargo, todas las pruebas de este hecho que conozco parecen involucrar algunas gramáticas ambiguas sin contexto. Por esta razón, me gustaría preguntar si se sabe si el problema sigue siendo indecidible mientras se …

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

Estoy interesado en el siguiente problema: dadas matrices enteras decide si cada producto infinito de estas matrices finalmente es igual a la matriz cero.UN1, A2, ... , AkA1,A2,…,AkA_1,A_2, \ldots, A_k Esto significa exactamente lo que crees que hace: diremos que el conjunto de matrices tiene la propiedad de que todos …

19 linear-algebra  decidability 

Es un resultado bien conocido que la pregunta ¿Una gramática libre de contexto genera un lenguaje regular? Es indecidible. Sin embargo, se vuelve decidible en un alfabeto unario, simplemente porque en este caso, las clases de lenguajes libres de contexto y regulares coinciden. Mi pregunta es saber qué sucede con …

18 fl.formal-languages  decidability 

Estoy tratando de resolver un problema en particular, y pensé que podría resolverlo usando la teoría de autómatas. Me pregunto, ¿qué modelos de autómatas tienen una contención decidible en tiempo polinómico? es decir, si tiene máquinas , puede probar si eficiente. L ( M 1 ) ⊆ L ( M …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

Sé que es imposible decidir la equivalencia para el cálculo lambda sin tipo. Citando a Barendregt, HP El cálculo Lambda: su sintaxis y semántica. Holanda Septentrional, Amsterdam (1984). :ββ\beta Si A y B son disjuntos, conjuntos no vacíos de términos lambda que están cerrados en igualdad, entonces A y B …

18 lo.logic  computability  lambda-calculus  normalization  decidability 

¿Cuál es el modelo computacional más simple para el cual el problema del vacío es indecidible? El problema de vacío para un modelo computacional (por ejemplo, autómata de estado finito, autómata de empuje alternativo, autómata cuántico de error acotado con un contador, LBA determinista, etc.) es determinar si, para una …

12 computability  decidability  undecidability  unary-languages 

¿Cuáles son los límites conocidos de la capacidad de decisión de la comparación de la tasa de crecimiento de las funciones de ? Estoy aquí pensando en la capacidad de decisión de preguntas como "¿Es x x ∼ 2 ⌊ x lg ( x + 2 ) ⌋ ?" o …

12 decidability  asymptotics 

Un sistema de adición de vectores (VAS) es un conjunto finito de acciones A⊂ZdA⊂ZdA \subset \mathbb{Z}^d . NdNd\mathbb{N}^d es el conjunto de marcas . Una carrera es una palabra no vacía de marcas m0m1…mnm0m1…mnm_0 m_1\dots m_n st ∀i∈{0,…,n−1},mi+1−mi∈A∀i∈{0,…,n−1},mi+1−mi∈A\forall i \in \{0, \dots, n-1\}, m_{i+1}-m_i \in A . Si tal palabra …

11 fl.formal-languages  decidability 

Respuesta: no conocida Muchas gracias a todos los que ayudaron a refinar esta pregunta y las definiciones asociadas. Las definiciones de esta wiki proporcionaron el punto de partida para la wiki TCS más reciente " ¿Contiene P lenguajes cuya existencia es independiente de PA o ZFC? (Wiki de la comunidad …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

El teorema de Robertson-Seymour dice que cualquier familia GG\mathcal G de gráficas menores cerradas puede caracterizarse por un número finito de menores prohibidos. ¿Existe algún algoritmo que para una entrada GG\mathcal G dé salida a los menores prohibidos o es indecidible? Obviamente, la respuesta puede depender de cómo se describe …

9 graph-theory  decidability  graph-minor 

Considere una gramática arbitraria sin contexto sobre el alfabeto . A las producciones de esta gramática, agregue dos producciones fijas sin contexto : y . Llame a la gramática resultante que significa " aumentada con las producciones ".{ 0 , 1 , ¯ 0 , ¯ 1 } P ¯ …

9 context-free  decidability 

Hay problemas que son decidibles, hay algunos que son indecidibles, hay semidecidabilidad, etc. En este caso, me pregunto si un problema puede ser metadecidible. Esto significa (al menos en mi cabeza) que no podemos decir si es decidible o no. Tal vez se sabe que la capacidad de decisión es …

9 computability  decidability  undecidability