Preguntas etiquetadas con turing-completeness

¿Existe un conjunto de construcciones de lenguaje de programación en un lenguaje de programación para que pueda considerarse Turing Complete? Por lo que puedo decir de Wikipedia , el lenguaje debe admitir la recursividad o, al parecer, debe poder ejecutarse sin detenerse. ¿Es esto todo lo que hay que hacer?

55 computability  programming-languages  turing-machines  turing-completeness 

Me encontré con un problema extraño al escribir un intérprete que (debería) engancharse a programas / funciones externas: las funciones en 'C' y 'C ++' no pueden conectar funciones variadas , por ejemplo, no puedo hacer una función que llame a 'printf' con exactamente los mismos argumentos que obtuvo, y …

42 computability  programming-languages  turing-completeness 

Estaba tratando de explicarle a alguien que C es Turing completo, y me di cuenta de que en realidad no sé si es, de hecho, técnicamente Turing completo. (C como en la semántica abstracta, no como en una implementación real). La respuesta "obvia" (más o menos: puede abordar una cantidad …

40 computability  turing-completeness  c 

Veo que la mayoría de las definiciones de lo que es ser Turing completo son tautológicas hasta cierto punto. Por ejemplo, si buscas en Google "qué significa ser Turing completo", obtienes: Una computadora está completa en Turing si puede resolver cualquier problema que una máquina de Turing pueda ... Si …

34 turing-machines  turing-completeness 

Estaba leyendo sobre Iota y Jot y encontré esta sección confusa: A diferencia de Iota, donde el árbol sintáctico para una cadena puede ramificarse tanto a la izquierda como a la derecha, la sintaxis de Jot se ramifica uniformemente a la izquierda. Como resultado, Iota es estrictamente libre de contexto, …

32 regular-languages  programming-languages  turing-completeness 

Tenga en cuenta que, aunque sé programar, soy un principiante en la teoría de CS. De acuerdo con esta respuesta La integridad de Turing es un concepto abstracto de computabilidad. Si un idioma es completo de Turing, entonces es capaz de hacer cualquier cálculo que cualquier otro lenguaje completo de …

26 computability  programming-languages  turing-completeness 

Sé que, en los lenguajes de programación imperativos, un bucle while-do es suficiente como una construcción de flujo de control para completar el lenguaje Turing (en lo que respecta al flujo de control, por supuesto, también necesitamos memoria ilimitada y ciertos operadores ...) . La esencia de mi pregunta es: …

22 programming-languages  turing-completeness  loops  imperative-programming 

Quizás mi comprensión limitada del tema es incorrecta, pero esto es lo que entiendo hasta ahora: La programación funcional se basa en el cálculo Lambda, formulado por Alonzo Church. La programación imperativa se basa en el modelo de máquina de Turing, realizado por Alan Turing, estudiante de Church. El cálculo …

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

Con respecto a la puerta cuántica de Toffoli : ¿es universalmente clásico y, de ser así, por qué? ¿es cuánticamente universal y por qué?

20 quantum-computing  circuits  turing-completeness 

He leído la página de Wikipedia para la regla 110 en autómatas celulares, y sé más o menos cómo funcionan (un conjunto de reglas decide dónde dibujar el siguiente 1 o 0). Acabo de leer que están Turing completo, pero ni siquiera puedo entender cómo 'programarías' en la 'regla 110'.

19 computability  automata  turing-completeness  cellular-automata 

¿Qué operaciones deben realizarse para realizar cualquier cálculo analógico arbitrario ? ¿Serían suficientes la suma, la resta, la multiplicación y la división? Además, ¿alguien sabe exactamente qué problemas son manejables con el cálculo analógico, pero no con el digital?

17 computability  computation-models  turing-completeness 

Sé que se puede demostrar que PROLOG es Turing completo mediante la construcción de un programa que simula una máquina de Turing como esta: turing(Tape0, Tape) :- perform(q0, [], Ls, Tape0, Rs), reverse(Ls, Ls1), append(Ls1, Rs, Tape). perform(qf, Ls, Ls, Rs, Rs) :- !. perform(Q0, Ls0, Ls, Rs0, Rs) :- …

15 programming-languages  turing-completeness  logic-programming  prolog 

Sé que las compuertas NAND se pueden usar para crear circuitos que implementen todas las tablas de verdad, y las computadoras modernas se componen de compuertas NAND. ¿Cuál es el vínculo teórico entre las puertas NAND y la integridad de Turing? Me parece que los circuitos de compuerta NAND están …

14 turing-machines  turing-completeness  digital-circuits 

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 

He hecho una pregunta similar sobre cstheory.SE . De acuerdo con esta respuesta en Stackoverflow, existe un algoritmo que en un lenguaje de programación funcional puro no perezoso tiene una complejidad , mientras que el mismo algoritmo en la programación imperativa es Ω ( n ) . Agregar pereza al …

13 complexity-theory  lambda-calculus  functional-programming  turing-completeness