Perguntas com a marcação «turing-completeness»

Qual é o conjunto mínimo de recursos / estruturas de linguagem que o tornam completo em

Gostaria de saber, é a linguagem de notação musical Turing-Complete ? Meu primeiro pensamento é que existem loops na notação musical, mas não há como escrever ramos condicionais, certo? Eu não sou músico, então talvez alguém possa ajudar a preencher as

Onde é aceito que uma linguagem precisa ser completa de Turing para ser útil, é realmente possível ter uma linguagem de programação 'útil' que não seja completa de Turing? Devo esclarecer que isso é especificamente sobre linguagens de 'programação' no sentido tradicional, e não sobre linguagens de...

Tenho uma ideia geral de como o processador lida com instruções, mas passo meu tempo trabalhando em idiomas de alto nível. Talvez alguém que trabalhe mais perto do ferro possa fornecer informações valiosas. Supondo que as linguagens de programação sejam basicamente abstrações de nível muito alto...

Inicialmente, tentei perguntar isso no StackOverflow, mas era muito subjetivo :-(. Estou interessado em métodos para definir o poder das linguagens de programação. A conclusão de Turing é uma delas, mas é quase universalmente satisfeita. O que seria bom é definir um medida de poder que discrimina...

Essa é uma questão teórica, mas depois de muitos anos de programação no que agora percebo ser uma técnica imperativa "normal", usando C ++ principalmente, descobri esse outro mundo de programação funcional, que me deparei acidentalmente enquanto aprendia JavaScript casualmente. Isso me levou a...

Os idiomas completos que não são de Turing oferecem uma grande vantagem sobre os idiomas completos de Turing, pois são muito mais analisáveis ​​e, portanto, oferecem possibilidades de otimização muito mais amplas. No entanto, eles são pouco utilizados e a integridade de Turing é realmente vendida...

Tentei procurar no google por explicações, mas a maioria dos links diz apenas coisas como "O FRACTRAN está completo. Como exemplo, vejamos a multiplicação". Lembro-me de ver uma postagem no fórum do xkcd dizer que o FRACTRAN ajudou o pôster a entender a Turing Completeness. Estou procurando uma...

Existe uma linguagem de programação completa de Turing tal que, para um alfabeto fixo (digamos, ASCII), toda permutação possível desses caracteres seja um programa semanticamente válido capaz de ser executado? Consideramos que loops infinitos também são semanticamente válidos. Eu sei que alguns...