Запитання з тегом «turing-completeness»

Brainfuck - це повна мова програмування, яка використовує лише 8 символів (6, якщо ви ігноруєте введення-виведення). Дві найбільш помітні з них , які штовхають його на Тьюринга повнота [і ], по суті , етикетки і Гото Brainfuck в. Зазвичай програми Brainfuck використовують кілька наборів [], але мені було цікаво, скільки …

12 turing-completeness 

Якщо у нас є будь-яка довільна комп'ютерна програма, яка може змінювати її вказівки, чи можна імітувати цю програму програмою, яка не може змінювати її інструкції? Редагувати: Я новачок у stackexchange, тому не впевнений, чи мені дозволяють задати НОВЕ запитання тут, але ось так: Добре, тому доказ того, що це можливо, …

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

Коментар над tex.SE змусив мене замислитися. Заява по суті: Якщо я можу написати компілятор для мови X мовою X, то X є повним Тьюрінгом. З точки зору обчислюваності та формальної мови, це: Якщо вирішує і , тоді .L ⊆ L Т М ⟨ М ⟩ ∈ L F L = …

12 computability  turing-completeness 

Дві моделі обчислювальної техніки можуть бути показані як повні, якщо кожна може кодувати універсальний тренажер для іншої. Дві логіки можуть бути повністю завершеними, якщо кодування правил умовиводу (а може бути і аксіоми, якщо вони є) кожної з них буде показано теоремами іншого. В обчислюваності це призвело до природного уявлення про …

10 computability  logic  turing-completeness 

Я намагаюся знайти відповіді на два запитання щодо універсальної машини Тьюрінга. Як універсальна машина Тьюрінга може імітувати машину Тюрінга, якщо модель, яка моделюється, має більшу кількість штатів? Як може машина Універсального Тьюрінга імітувати машину Тюрінга, якщо на тому, що імітується, є більша кількість символів алфавіту? Хтось може мені допомогти з …

10 computability  turing-machines  simulation  turing-completeness 

Я бачив веб-сайти, які хочуть "довести", що HTML5 + CSS є Turing завершеним. Я бачив веб-сайти, які мають на меті "довести", що SQL є Turing завершеним. Я бачив купу веб-сайтів, які хочуть "пояснити", що означає бути Тьюрінгом завершеним. Достатньо! Де я можу знайти книгу (написану експертом з теорії обчислюваності) або …

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

Булева функція - це функція f: { 0 , 1}н→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\}. Булева основа ( ∨ , ∧ )(∨,∧)(\vee,\wedge) Відомо, що Тьюрінг завершений, оскільки дозволяє будь-яку послідовність s ∈ { 0 , 1 }s∈{0,1}s\in\{0,1\}перевернути або залишити без змін. Те саме можна сказатиX O RXOR\mathrm{XOR} ворота. У цьому …

9 turing-machines  turing-completeness  boolean-algebra