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

63
Музыкальная нотация Turing-Complete?

Мне интересно, является ли язык музыкальной нотации Turing-Complete ? Моя первая мысль: в музыкальной нотации есть петли, но нет способа написать условные ветки, верно? Я не музыкант, так что, возможно, кто-то может помочь заполнить...

37
Действительно ли возможно иметь «полезный» язык программирования, который не является полным по Тьюрингу?

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

19
Каков абсолютный минимальный набор инструкций, необходимых для сборки полного процессора Тьюринга?

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

18
Мера мощности, кроме полноты Тьюринга

Первоначально я пытался задать этот вопрос в StackOverflow, но это было слишком субъективно :-(. Я заинтересован в методах определения мощи языков программирования. Полнота Тьюринга одна, но почти универсально удовлетворена. Что было бы неплохо, так это определить мера мощности, которая различает...

13
Может ли * любая * задача программы быть выражена без состояния?

Это теоретический вопрос, но после многих лет программирования в том, что, как я теперь понимаю, является «нормальной» императивной техникой, в основном с использованием C ++, я открыл для себя этот другой мир функционального программирования, на который я наткнулся случайно, случайно изучая...

11
Существуют ли в настоящее время общепринятые полнотекстовые языки, не относящиеся к Тьюрингу, доступные сегодня

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

10
Почему ФРАКТРАН Тьюринг завершен?

Я попытался найти объяснение в Google, но большинство ссылок говорят только о таких вещах, как «FRACTRAN завершается. Как пример, давайте посмотрим на умножение». Я помню, как видел на форуме xkcd сообщение о том, что FRACTRAN помог автору понять полноту Тьюринга. Я ищу интуитивно понятное...