La preuve standard pour qu'une langue soit complétée par Turing est d'écrire une machine de Turing dans cette langue. Cela prouve qu'il existe une équivalence entre le langage (généralement un sous-ensemble du langage) et la machine de Turing.
La notion de "notation musicale" est un peu glissante. Il y a beaucoup de gravures standardisées qui sont utilisées. Pourtant. Il y a des compositeurs qui poussent des enveloppes et qui écrivent toutes sortes de choses folles sur papier.
Imaginons que vous souhaitiez vous concentrer sur le sous-ensemble de la notation musicale considéré comme suffisamment standard pour faire partie de Finale ou de Sibelius ou d'un ensemble d'outils de gravure standard.
Alors.
Pour Python (ou C ou autre), vous définissez les symboles, la bande, les règles de transition et les différentes actions qui mettent à jour la bande pour refléter le changement d'état et le mouvement de la bande, ainsi que la lecture et l'écriture de symboles sur la bande.
En utilisant la "notation musicale", nous devons définir les symboles et la bande dynamique, les règles de transition et les différentes actions qui mettent à jour la bande.
Ce qui nous manque, c'est une bande dynamique et des règles indiquant aux musiciens comment réagir aux symboles sur la bande et comment mettre à jour cette bande.
En un sens, les bruits qui circulent dans l'air pourraient être la bande à états. Mais. Il n'y a pas de moyen facile de rembobiner la bande. Ce manque de rembobinage signifie que l’artiste interprète devrait conserver une "bande" privée quelconque.
Cela sort de la notation musicale et entre dans d'autres instructions extra-musicales à l'interprète.