Troff Turing est-il complet?


9

Troff prend en charge à la fois les définitions de macro .deet l'utilisation de branchement .if(voir pages 5 et 6 du manuel d'utilisation de Troff ). À ces deux égards, il ressemble beaucoup à TeX. Cependant, je ne connais pas de programmes très complexes écrits en Troff (contrairement à dire TikZ pour TeX). Troff Turing est-il complet?

Réponses:


12

L'art de la programmation Unix d' ESR prétend qu'il est:

Nous examinerons Troff plus en détail au chapitre 18; pour l'instant, il suffit de noter qu'il s'agit d'un bon exemple d'un minilangage impératif qui frôle le fait d'être un interprète à part entière (il a des conditions et de la récursion mais pas de boucles; il est accidentellement Turing-complet).

("Accidentellement" par opposition à m4, qui serait "délibérément Turing-complete".)


13

Oui, troff est Turing-complete. Il prend en charge la récursion arbitraire et la ramification conditionnelle, ce qui est suffisant. Il a également des registres et diverses autres façons de stocker des données, ce qui vous donne à nouveau un autre chemin d'accès.

L'exhaustivité de Turing n'implique pas que des programmes très complexes sont pratiques - juste qu'ils sont théoriquement possibles, d'une manière ou d'une autre, à un certain niveau de suppression - et son absence n'implique pas non plus qu'ils ne le sont pas, donc ni Troff n'est Turing-complet ni L'absence de programmes complexes ne suggère pas grand chose dans un sens ou dans l'autre.


Turing l'exhaustivité n'est généralement pas une propriété qui signifie quelque chose d'utile pour vous, l'utilisateur. Tout ce que cela signifie, c'est que vous pouvez simuler une machine de Turing avec elle, pas que vous le souhaitiez, et non que la sortie que vous en obtiendriez ressemble à ce que vous vous attendez à lire. L'entrée ou la sortie peut être simplement un nombre, ou même le nombre de fois où quelque chose apparaît, plutôt que quelque chose d'utile, et les types de machines que vous finissez par simuler et leurs programmes sont souvent à peine compréhensibles au départ.

De nombreux langages et systèmes sont accessoirement Turing-complete mais ne s'appliquent raisonnablement à aucune programmation réelle dans ce sous-ensemble (par exemple, Conway's Game of Life ou CSS), et certains langages qui sont utiles pour la programmation réelle ne sont pas Turing-complete (par exemple, Agda). Les caractéristiques déterminantes sont que vous pouvez

  • continue pour toujours
  • rappelez-vous autant de données que vous le souhaitez
  • choisir quoi, le cas échéant, faire ensuite

Souvent, ces propriétés - en particulier la non-terminaison - sont en fait indésirables, y compris éventuellement pour les troff. En dehors de l'informatique théorique et de la conception du langage, l'exhaustivité de Turing n'est pas une propriété terriblement intéressante pratiquement du temps, bien qu'elle soit accrocheuse.


Oui bien sûr, ce n'est pas une chose très utile en soi mais c'est quand même intéressant - par exemple, même l'instruction mov est Turing complete.
cutculus

4
@theindigamer - L' instruction de x86mov est Turing-complete. (En raison des modes d'adressage qui vous permettent d'utiliser des tables de recherche, et le même mnémonique est utilisé pour le chargement, le stockage et mov-immediate pour l'enregistrement.) Sur de nombreux autres ISA qui ont une movinstruction (par exemple ARM), c'est juste un mouvement reg-reg et n'est pas complet. (Bien que sur ARM, il puisse effectuer des changements / rotations.) De plus, vous avez réellement besoin d'un jmppour créer une boucle autour de votre bloc d' movinstructions, à moins que vous ne soyez en mode 16 bits où le pointeur d'instruction peut s'enrouler dans un segment de code 64k pour boucle implicitement.
Peter Cordes

6
@SpaceBison Bien sûr, il y a :-) github.com/Battelle/movfuscator
Daniel Näslund

2
@PeterCordes: Ah; dans le passé, il y avait des architectures MOV qui avaient des ALU mappées en mémoire et IP n'était qu'un autre registre, donc JMP était un autre MOV.
Joshua

1
@Joshua: fait amusant: ARM 32 bits expose PC comme l'un des 16 registres entiers à usage général. push {r4, lr}/ pop {r4,pc}est commun dans les fonctions qui doivent enregistrer / restaurer un registre préservé par les appels et garder la pile alignée: ils enregistrent également le lien reg et le replacent dans le compteur de programme pour revenir. (Les instructions de stockage / chargement multiple de l'ARM 32 bits utilisent un champ de bits pour indiquer les registres à stocker / charger.) Et oui, vous pouvez utiliser PC comme destination d'une movou de n'importe quelle instruction. Je ne savais pas que c'était commun dans le passé, cependant. Mais j'avais entendu parler d'ISA déclenchées par le transport.
Peter Cordes
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.