Вопросы с тегом «turing-completeness»

2
Сколько пар скобок достаточно, чтобы завершить Brainfuck Turing?
Brainfuck - полный язык программирования Тьюринга, который использует только 8 символов (6, если вы игнорируете ввод / вывод). Две наиболее заметные из них , которые толкают его на Тьюринга полнота [и ], по существу , этикетки и Гото Brainfuck в. Обычно программы в Brainfuck используют несколько наборов [], но мне …

3
Может ли каждый самоизменяющийся алгоритм моделироваться несамодифицирующимся алгоритмом?
Если у нас есть какая-либо произвольная компьютерная программа, которая может изменить ее инструкции, возможно ли смоделировать эту программу с помощью программы, которая не может изменить ее инструкции? Редактировать: Я новичок в stackexchange, поэтому не уверен, что мне разрешено задавать НОВЫЙ вопрос здесь, но здесь идет речь: Хорошо, поэтому доказательство того, …

1
Есть ли язык, который может выразить свой собственный компилятор Тьюринга?
Комментарий к tex.SE заставил меня задуматься. Утверждение по существу: Если я могу написать компилятор для языка X на языке X, то X полон по Тьюрингу. В терминах вычислимости и формальных языков это: Если решает , L ⊆ L T M и ⟨ M ⟩ ∈ L , то F L …

1
Есть ли в логике двойственная концепция «полного Тьюринга»?
Можно показать, что две вычислительные модели являются полными, если каждая из них может кодировать универсальный симулятор для другой. Можно показать, что две логики будут полными, если будет показано, что кодирование правил логических выводов (и, возможно, аксиом, если они присутствуют) каждого из них является теоремами другого. В вычислимости это привело к …

1
Как универсальная машина Тьюринга может имитировать «большие»?
Я пытаюсь найти ответы на два вопроса об универсальной машине Тьюринга. Как универсальная машина Тьюринга может моделировать машину Тьюринга, если моделируемая машина имеет большее число состояний? Как универсальная машина Тьюринга может имитировать машину Тьюринга, если на моделируемой машине большее количество букв алфавита? Может ли кто-нибудь помочь мне с этими вопросами?

2
Ясное, полное, доказательство того, что язык - это язык Тьюринга Конкурирует?
Я видел веб-сайты, которые якобы «доказывают», что HTML5 + CSS является Turing Complete. Я видел сайты, которые якобы «доказывают», что SQL завершен по Тьюрингу. Я видел множество веб-сайтов, которые якобы «объясняют», что значит быть завершенным по Тьюрингу. Достаточно! Где я могу найти книгу (написанную экспертом в области теории вычислимости) или …

2
Булевы функции Тьюринга завершены
Булева функция - это функция .е: { 0 , 1 }N→ { 0 , 1 }е:{0,1}N→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} Известно, что логический базис является полным по Тьюрингу, поскольку он позволяет переворачивать любую последовательность или оставлять ее без изменений. То же самое можно сказать о воротах .( ∨ , ∧ )(∨,∧)(\vee,\wedge)s ∈ { 0 …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.