¿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...
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...
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 arbitraria...
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...
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...
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...
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...
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...
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
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'....
¿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
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,...
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...
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...
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...
Un comentario sobre tex.SE me hizo preguntarme. La declaración es esencialmente: Si puedo escribir un compilador para el lenguaje X en el lenguaje X, entonces X está completo de Turing. En términos de computabilidad y lenguajes formales, esto es: Si decide L ⊆ L T M y ⟨ M ⟩ ∈ L , entonces F...
Brainfuck es un lenguaje de programación completo de Turing que usa solo 8 símbolos (6 si ignora las E / S). Los dos más notables que lo empujan a la integridad de Turing son [y ], esencialmente, la etiqueta y el goto de Brainfuck. Normalmente, los programas en Brainfuck usan múltiples conjuntos...
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...
He visto sitios web que pretenden "probar" que HTML5 + CSS es Turing Complete. He visto sitios web que pretenden "probar" que SQL está Turing completo. He visto un montón de sitios web que pretenden "explicar" lo que significa ser Turing completo. ¡Suficiente! ¿Dónde puedo encontrar un libro?...
Estoy tratando de encontrar las respuestas de dos preguntas sobre la máquina Universal Turing. ¿Cómo puede la máquina Universal Turing simular una máquina Turing si la que se está simulando tiene un mayor número de estados? ¿Cómo puede la máquina de Turing universal simular una máquina de Turing...