Вопросы с тегом «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 T M и ⟨ M ⟩ ∈ L , то F L …

12 computability  turing-completeness 

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

10 computability  logic  turing-completeness 

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

10 computability  turing-machines  simulation  turing-completeness 

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

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

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

9 turing-machines  turing-completeness  boolean-algebra