turing-complete

2La chaleur

1Répondre

Comment travailler avec cette machine à turing?

Ceci est une capture d'écran de l'applet LogiCell 1.0, lien vers lequel j'ai trouvé here. Comme le montre le coin en bas à gauche, ce fait somme 0+1 et le résultat est 01b (côté en bas à droite). Je n

4La chaleur

3Répondre

Comment un quine dans mon langage de programmation pourrait-il ressembler?

J'ai créé un langage de programmation complet (déjà prouvé) donc il doit être possible d'écrire un quine, non? Mais toutes les quines que je connais stockent leur code source dans une chaîne et y remp

7La chaleur

2Répondre

Pourquoi la stratégie d'évaluation par appel d'offres n'est-elle pas complète?

Je suis en train de lire un article sur différents evaluation strategies (j'ai lié un article dans le wiki, mais je suis en train de lire un autre article en anglais). Et il dit que, contrairement aux

50La chaleur

2Répondre

Le système de types de Scala est complet à Turing. Preuve? Exemple? Avantages?

Certains prétendent que le système de type Scala est complet à Turing. Mes questions sont: Y at-il une preuve formelle pour cela? A quoi ressemblerait un calcul simple dans le système de type Scala? E

0La chaleur

4Répondre

complet

Turing Donc on peut dire une langue est Turing complete si elle répond à certains critères, et il peut faire quelque chose une autre langue complète peut Turing faire. Est-ce que cela veut dire que je

1La chaleur

1Répondre

Déroulement du code de procédure dans SQL

L'acte consistant à transformer le code procédural en SQL m'a récemment intéressé. Je sais que tout n'est pas absolu dans un langage procédural complet. Et si vous avez un langage procédural spécial?

1La chaleur

2Répondre

Quelles machines élégantes et complètes de Turing * vous connaissez? Y en a-t-il un dans le livre?

Le calcul lambda est bien sûr assez élégant, mais cela ne vous dérange-t-il pas qu'il y ait cette asymétrie entre l'entrée et la sortie d'une fonction? C'est à dire. vous pouvez faire en sorte que la

7La chaleur

5Répondre

Lisp vraiment minimum

Quel est l'ensemble minimum de primitives requis pour qu'une langue soit complète de Turing et une variante Lisp? On dirait que la voiture, le cdr et un peu de contrôle de flux et quelque chose pour R

5La chaleur

5Répondre

Que peut faire ce que sed ne peut pas faire?

J'ai utilisé sed pour un batch ptovess où je ne pouvais pas le faire avec awk. Vould awk l'a fait? Ou est-ce plus une question de choix et d'appeler awk et sed équivalent pour l'utilisation. Ils font

39La chaleur

2Répondre

Est-ce que les fichiers makefiles Turing sont complets?

Dernièrement au travail, j'ai fait de la traduction de Makefiles vers un système de construction alternatif. J'ai vu un peu de code Makey dans certains endroits en utilisant la carte fonctionnelle, le