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

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

79 turing-completeness 

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

63 turing-completeness 

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

37 programming-languages  language-features  turing-completeness 

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

19 hardware  low-level  turing-completeness 

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

18 turing-completeness 

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

13 javascript  functional-programming  haskell  state  turing-completeness 

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

11 programming-languages  turing-completeness 

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

10 turing-completeness