Je me demande si MATLAB Turing (calcul universel)?

Je me demande si MATLAB est Turing (= calcul universel, c'est à dire "s'il peut être utilisé pour simuler une seule scotché machine de Turing")?

J'ai reformulé ma question pour exprimer ce que je voulait vraiment dire.
Pourquoi ne pas mettre en œuvre une machine de Turing dans Matlab pour le prouver pour vous-même?
Notez qu'une véritable machine de Turing nécessite une infinité de bande, donc je pense que, à proprement parler, aucune langue ne peut être "Turing complet" aussi longtemps que nous supposons un nombre arbitrairement grand de la mémoire.

OriginalL'auteur Kamran Bigdely | 2009-03-29

  1. 38

    Être Turing est vraiment un joli bas de la barre de vrai-les langues du monde. Selon Wikipedia (l'emphase est mienne):

    Pour montrer que quelque chose est Turing complet, il suffit de montrer que
    il peut être utilisé pour simuler une partie de Turing complet du système. Par exemple,
    un langage impératif est Turing complet s'il conditionnelle
    ramification (par exemple, "si" et "goto", ou une "branche si zéro"
    de l'instruction. Voir OISC) et le capacité de changement arbitraire de la mémoire
    endroits (par exemple, la capacité à maintenir un nombre arbitraire de
    les variables). Depuis c'est presque toujours le cas, la plupart, si pas tous les
    langages impératifs sont de Turing complet si l'on ignore tout des limites
    de mémoire finie.

    Au-delà, MATLAB a beaucoup de fonctionnalités que vous attendez d'un relativement moderne L3G/4GL. Il est complet avec une VM, I/O, l'interface utilisateur des constructions, des opérateurs mathématiques (évidemment), les types de données définis par l'utilisateur-fonctions, etc. Vous pouvez même livrer des programmes Matlab à l'extérieur de l'environnement.

    Noter que si oui ou non c'est un bonne la langue est une question entièrement différente.

    Et u peuvent également utiliser matlab libs en dehors de Matlab
    mais ne serait-il également possible d'écrire un matlab "compilateur" entièrement en matlab, ou de réécriture de matlab lui-même dans matlab, respectivement?
    bien sûr. Je ne peux pas imaginer une telle chose très pratique, mais je ne vois pas pourquoi il ne serait pas possible.
    Quelqu'un aurait-il où je pourrais trouver une preuve que Matlab est en effet Turing?
    J'ai mis à jour pour répondre à cela, mais ce n'est pas une preuve formelle.

    OriginalL'auteur Ben Collins

  3. 3

    Je suppose que vous faites une distinction entre les langages de programmation et les langages de script, et en raison de la nature de MATLAB, il apparaît comme un langage de script? Si c'est le cas, votre avis pourrait dépendre de ce que vous considérez comme un langage de programmation.

    Je crois que MATLAB est Turing-complet et a une assez stricte et utilisable de la syntaxe, de sorte que j'appellerais cela un langage de programmation. Dans le même temps, le csh est probablement turing-complet, mais c'est tellement spectaculaire impair de programme que j'appellerais cela un langage de script.

    La "programmation vs scripting" argument pourrait obtenir encore plus compliqué pour MATLAB, car il attire les distinctions entre les "scripts" et "m-files" (c'est à dire "fonctions").
    csh = c shell, l'un des langages de script shell généralement trouvés sur linux, unix, bsd, etc.
    lol, qu'en ksh? k net... 🙂
    "raisonnablement syntaxe stricte" quelqu'un pourrait-il m'indiquer une définition formelle de la syntaxe (EBNF ou quelque chose)?

    OriginalL'auteur Jeremy CD