Preguntas etiquetadas con computability

Al leer esta pregunta " Problemas naturales indecidibles de RE pero no completos de Turing ", me vino a la mente el siguiente lenguaje: Si es la función de castor ocupado (puntaje máximo alcanzable entre todas las máquinas Turing de 2 símbolos de estado n detenidas del tipo descrito anteriormente, …

9 computability  turing-machines 

Queremos en mosaico -square usando dos tipos de mosaicos: -square tile y -square tile de modo que cada cuadrado subyacente se cubra sin superponerse. Definamos una función que proporcione el tamaño del cuadrado más grande que se puede labrar usando cuadrados y cualquier número de cuadrados.1 × 1 2 × …

9 computability  combinatorics 

¿Por qué los números computables (en el sentido de Turing) son enumerables? Debe ser muy obvio, pero actualmente no lo estoy viendo.

9 computability  turing-machines  enumeration 

¿Es una máquina de Turing que puede leer y escribir símbolos de un alfabeto infinito más poderosa que una TM normal (esa es la única diferencia, la máquina todavía tiene un número finito de estados)? La intuición me dice que no, ya que necesitas un número infinito de estados para …

9 computability  turing-machines  reductions  simulation 

Me gustaría usar su ayuda con el siguiente problema: L={⟨M⟩∣L(M) is context-free}L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} . Muestre que .L∉RE∪CoREL∉RE∪CoREL \notin RE \cup CoRE Sé que para probar , es suficiente encontrar un lenguaje tal que y mostrar que hay una reducción de a .L∉REL∉REL\notin REL′L′L'L′∉REL′∉REL'\notin …

9 formal-languages  computability  context-free  turing-machines 

A mitad de período había una variante de la siguiente pregunta: Para un decidible, defina Pref ( L ) = { x ∣ ∃ y st x y ∈ L } Muestre que Pref ( L ) no es necesariamente decidible.LLLPref ( L ) = { x ∣ ∃ y …

9 computability  undecidability 

Estoy tratando de encontrar una prueba de lo siguiente: Para cualquier idioma , existe un lenguaje de B tal que A ≤ T B pero B ≰ T A .AUNAABsiBA≤TBUNA≤TsiA \le_{\mathrm{T}} B≰TA≰TUNA\nleq_{\mathrm{T}} A Estaba pensando en dejar que sea A T M , pero me doy cuenta de que no …

9 computability  reductions  undecidability 

Recientemente hablé con un amigo sobre un sitio web que propuso desafíos de expresiones regulares, principalmente haciendo coincidir un grupo de palabras con una propiedad especial. Estaba buscando una expresión regular que coincida con cadenas como ||||||||donde el número |es primo. Inmediatamente le dije que eso nunca funcionaría porque si …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

He estado leyendo algunos documentos de teoría del lenguaje formal y me he encontrado con un término que no entiendo. El documento a menudo se referirá a un conjunto que está "efectivamente cerrado bajo intersección" u otras operaciones. ¿Qué significa "efectivamente" aquí? ¿Cómo difiere esto del cierre normal? Como referencia, …

9 formal-languages  terminology  computability  automata  closure-properties 

Estaba mirando esta lectura del MIT sobre la complejidad computacional y en el minuto 15:00 Erik Demaine se embarca en una demostración para mostrar lo que se indica en el título de esta pregunta. Sin embargo, no puedo seguir su razonamiento, en la práctica lo que dice es esto: podemos …

8 computability  proof-techniques  decision-problem  uncountability 

La teoría del dominio ofrece una teoría sorprendente de la computabilidad en presencia de tipos simples. Pero cuando se agrega el polimorfismo paramétrico, no parece haber una buena teoría que explique qué está pasando tan bien como la teoría del dominio explica la computación sobre tipos simples. Ciertamente, no esperaría …

8 computability  type-theory  dependent-types 

Considere los términos construidos a partir de elementos de y las operaciones y para cada número natural . Dada la promesa de que dos términos están bien formados, es decir, no hay división por cero y ni siquiera raíces de números negativos, ¿existe un algoritmo que decida cuándo los dos …

8 computability  undecidability  number-theory  equality 

Cuando leí sobre la tesis de la Iglesia-Turing, parece ser una afirmación común de que "la realidad física es computable por Turing". ¿Cuál es la base de este reclamo? ¿Hay algún resultado teórico en este sentido? Por contexto, soy un investigador que trabaja en simulaciones físicas, así que, por supuesto, …

8 computability  simulation  church-turing-thesis  hypercomputation 

¿Hay problemas cuya capacidad de decisión es desconocida pero se sabe con certeza que los problemas son menos difíciles que el problema de detención?

8 computability  reference-request  undecidability 

Si es computable y tiene un inverso, ¿bajo qué condiciones es también computable? No pude encontrar eso en un libro de texto, y googlear tiene algunas sugerencias vagas sobre bijective, pero no pude encontrar un teorema claramente establecido a tal efecto. De antemano, el bijective parece suficiente pero no necesario, …

8 computability