Preguntas etiquetadas con computability

Al ver que en la Jerarquía de Chomsky, los lenguajes Tipo 3 pueden ser reconocidos por una máquina de estado sin memoria externa (es decir, un autómata finito), el Tipo 2 por una máquina de estado con una sola pila (es decir, un autómata pushdown) y el Tipo 0 una …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

Estoy planeando enseñar un curso de invierno sobre un número variable de temas, uno de los cuales será compiladores. Ahora, me encontré con este problema mientras pensaba en tareas para dar durante el trimestre, pero me tiene perplejo, por lo que podría usarlo como un ejemplo. public class DeadCode { …

32 computability  proof-techniques  compilers 

Este programa de 579 bits en el cálculo binario de Lambda tiene un estado de detención desconocido: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100 00101011000000000010111011100101011111000000111001011111101101011010000000100000 10000001011100000000001110010101010101010111100000011100101010110000000001110000 00000111100000000011110000000001100001010101100000001110000000110000000100000001 00000000010010111110111100000010101111110000001100000011100111110000101101101110 00110000101100010111001011111011110000001110010111111000011110011110011110101000 0010110101000011010 Es decir, no se sabe si este programa finaliza o no. Para determinarlo, debes resolver la conjetura de Collatz , o, al menos, para todos …

32 algorithms  computability  kolmogorov-complexity 

¿Existe algún cálculo lambda tipificado completo de Turing? Si es así, ¿cuáles son algunos ejemplos?

31 computability  lambda-calculus  type-theory 

Me pregunto si hay un buen ejemplo para un problema NP-Hard fácil de entender que no sea NP-Complete y no sea indecidible. Por ejemplo, el problema de detención es NP-Hard, no NP-Complete, pero es indecidible. Creo que esto significa que es un problema que puede verificarse una solución, pero no …

31 complexity-theory  computability  np-hard 

El teorema de Rice nos dice que las únicas propiedades semánticas de las máquinas de Turing (es decir, las propiedades de la función calculada por la máquina) que podemos decidir son las dos propiedades triviales (es decir, siempre verdaderas y siempre falsas). Pero hay otras propiedades de las máquinas de …

30 computability  undecidability 

Estaba pasando por la discusión sobre la pregunta ¿Cómo definir las máquinas cuánticas de Turing? y siento que la TM cuántica y la TM no determinista son lo mismo. Las respuestas a la otra pregunta no tocan eso. ¿Son estos dos modelos uno y el mismo? Si no, ¿Cuáles son …

30 computability  turing-machines  quantum-computing  nondeterminism 

Entiendo la prueba de la indecidibilidad del problema de detención (dada, por ejemplo, en el libro de texto de Papadimitriou), basada en la diagonalización. Si bien la prueba es convincente (entiendo cada paso), no es intuitiva para mí en el sentido de que no veo cómo alguien la derivaría, comenzando …

30 computability  proof-techniques  undecidability  halting-problem  intuition 

Encontré a continuación la declaración de Alan M. Turing aquí : "La opinión de que las máquinas no pueden dar lugar a sorpresas se debe, creo, a una falacia a la que los filósofos y matemáticos están particularmente sujetos. Esta es la suposición de que tan pronto como se presenta …

29 turing-machines  computability  computation-models 

La tesis de Church-Turing establece que todo lo que se puede calcular físicamente, se puede calcular en una máquina de Turing. El documento "Computación analógica a través de redes neuronales" (Siegelmannn y Sontag, Theoretical Computer Science , 131: 331–360, 1994; PDF ) afirma que una red neuronal de cierta forma …

29 computability  turing-machines  church-turing-thesis 

Actualmente estoy leyendo un libro sobre algoritmos y complejidad. En este momento, estoy leyendo sobre funciones computables y no computables, y mi libro dice que hay muchas más funciones que no son computables que computables, de hecho, la mayoría no son computables, dice. En cierto sentido, puedo aceptar eso intuitivamente, …

29 computability  turing-machines  combinatorics 

Aprendimos sobre el concepto de enumeraciones de funciones. En la práctica, corresponden a lenguajes de programación. En un comentario pasajero, el profesor mencionó que la clase de todas las funciones totales (es decir, las funciones que siempre terminan para cada entrada) no es enumerable. Eso significaría que no podemos idear …

29 computability  semi-decidability  enumeration 

Wikipedia, así como otras fuentes que he encontrado, enumeran el voidtipo de C como un tipo de unidad en lugar de un tipo vacío. Esto me parece confuso, ya que me parece que se voidajusta mejor a la definición de un tipo vacío / inferior. No habito valores void, por …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

¿Existen programas que puedan 'traducir' el código fuente entre dos idiomas (suponiendo que el traductor tenga acceso a las bibliotecas necesarias)? Si los hay, ¿cómo funcionan (técnicas utilizadas, conocimiento requerido, etc.)? ¿Cómo se construirían de manera factible? Si no lo son, ¿cuáles son las restricciones que impiden su desarrollo? ¿Es …

28 computability  programming-languages  compilers 

Cada problema indecidible que conozco pertenece a una de las siguientes categorías: Problemas que son indecidibles debido a la diagonalización (autorreferencia indirecta). Estos problemas, como el problema de detención, son indecidibles porque podría usar un supuesto decisor para el lenguaje para construir una TM cuyo comportamiento conduce a una contradicción. …

28 computability  proof-techniques  undecidability