Preguntas etiquetadas con turing-completeness

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 …

12 turing-completeness 

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 aquí va: Ok, entonces …

12 computability  computation-models  turing-completeness  church-turing-thesis 

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 ⟩ …

12 computability  turing-completeness 

Se puede demostrar que dos modelos informáticos están completos si cada uno puede codificar un simulador universal para el otro. Se puede demostrar que dos lógicas están completas si una codificación de las reglas de inferencias (y tal vez los axiomas si están presentes) de cada uno se muestra como …

10 computability  logic  turing-completeness 

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 si la …

10 computability  turing-machines  simulation  turing-completeness 

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? como una …

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis 

Una función booleana es una función .f:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} Se sabe que la base booleana es Turing completa ya que permite que cualquier secuencia se voltee o se deje sin cambios. Lo mismo puede decirse de las puertas .s ∈ { 0 , 1 } X O R(∨,∧)(∨,∧)(\vee,\wedge)s∈{0,1}s∈{0,1}s\in\{0,1\}XORXOR\mathrm{XOR} En este sentido, podemos …

9 turing-machines  turing-completeness  boolean-algebra