Questions marquées «turing-completeness»


5
La notation musicale est-elle complète?
Je me demande si le langage de notation musicale est le langage Turing-Complete ? Ma première pensée est qu'il y a des boucles dans la notation musicale, mais il n'y a aucun moyen d'écrire des branches conditionnelles, non? Je ne suis pas musicien, alors peut-être que quelqu'un peut aider à …

8
Est-il réellement possible d'avoir un langage de programmation «utile» qui ne soit pas complet?
Là où il est accepté qu'un langage doit être complet pour être réussi, est-il réellement possible d'avoir un langage de programmation «utile» qui n'est pas complet? Je devrais préciser qu'il s'agit tout particulièrement de la "programmation" des langages au sens traditionnel, et non des langages de balisage ou de requête.


4
Mesure de puissance autre que l'exhaustivité de Turing
J'ai d'abord essayé de poser cette question sur StackOverflow, mais c'était trop subjectif :-(. Je m'intéresse aux méthodes de définition de la puissance des langages de programmation. La complétude de Turing en est une, mais elle est presque universellement satisfaite. Ce qui serait bien, c'est de définir un mesure de …

5
* N'importe quelle * tâche de programme peut-elle être exprimée sans état?
C'est une question théorique, mais après de nombreuses années de programmation dans ce que je réalise maintenant comme une technique impérative "normale", utilisant principalement le C ++, j'ai découvert cet autre monde de programmation fonctionnelle, sur lequel je suis tombé par hasard tout en apprenant avec désinvolture JavaScript. Cela m'a …


1
Pourquoi FRACTRAN turing est-il complet?
J'ai essayé de rechercher des explications sur Google, mais la plupart des liens ne disent que des choses comme "FRACTRAN est complet. À titre d'exemple, regardons la multiplication." Je me souviens avoir vu un article du forum xkcd dire que FRACTRAN avait aidé l'affiche à comprendre l'intégralité de Turing. Je …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.