Почти все используемые языки программирования - это Turing Complete , и хотя это позволяет языку представлять любые вычислимый алгоритм, он также имеет собственный набор проблемы . Поскольку все алгоритмы, которые я пишу, предназначены для...

Я прочитал «what-is-turing-complete» и страницу в Википедии, но я Меня меньше интересует формальное доказательство, чем практические последствия полноты по Тьюрингу. На самом деле я пытаюсь решить, можно ли использовать игрушечный язык, который...

Проблема остановки не может быть решена для полных по Тьюрингу языков, и ее можно решить тривиально для некоторых языков, не относящихся к TC, таких как регулярные выражения, где она всегда останавливается. Мне было интересно, есть ли какие-нибудь...

Я не совсем понимаю всю идею машины Тьюринга. В настоящее время мне поручено создать машину Тьюринга для бобра. Но чего я действительно не понимаю, так это имитации ввода. Итак, какой ввод я имитирую? Например, меня спрашивают, сколько единиц...

Насколько я знаю, CSS не является полным по Тьюрингу. Но мои познания в CSS очень ограничены. CSS Тьюринг завершен? Рассматривают ли какие-либо из существующих черновиков или комитетов языковые особенности, которые могут обеспечить полноту по...

Я искал в Интернете и нахожу несколько противоречивые ответы. Некоторые источники утверждают, что язык / машина / что-то у вас является полным по Тьюрингу тогда и только тогда, когда он имеет как условное, так и безусловное ветвление (что, как я...

Мой сын в последнее время играет в Little Big Planet 2, и я заметил, что редактор игры разрешает И ворота, ИЛИ ворота, и НЕ ворота ... Это полный Тьюринг? Если да, может ли кто-нибудь порекомендовать источник для обучения превращению этих примитивов...

Scala использует систему типов, основанную на System F ω, о которой обычно говорят, что она является строго нормализующей. Строгая нормализация подразумевает не-тьюринговскую полноту. Тем не менее, система типов Scala является полной по Тьюрингу....

Я пишу язык анекдотов, основанный на операциях со стеком. Я попытался найти минимальное количество инструкций, необходимых для того, чтобы сделать его полным по Тьюрингу, но понятия не имею, может ли язык, основанный на одном стеке, быть полным по...

Препятствует ли полнота по Тьюрингу языку иметь CFG? Я не мог найти никакой бумаги, говорящей об этом. Я нашел это: "TeX может быть проанализирован только полной машиной Тьюринга (по модулю доступного конечного пространства), что исключает БНФ."