Bukti standar untuk bahasa yang akan diselesaikan Turing adalah menulis mesin Turing dalam bahasa itu. Ini membuktikan bahwa ada kesetaraan antara bahasa (biasanya bagian dari bahasa) dan mesin Turing.
Gagasan "Notasi Musikal" agak licin. Ada banyak ukiran standar yang digunakan. Namun. Ada komposer pendorong amplop yang menulis semua jenis barang gila di atas kertas.
Mari berpura-pura Anda ingin fokus pada subset notasi musik yang dianggap cukup standar untuk menjadi bagian dari Finale atau Sibelius atau beberapa toolset aliran utama.
Begitu.
Untuk Python (atau C atau apa pun) Anda mendefinisikan simbol, rekaman, aturan transisi, dan berbagai tindakan yang memperbarui rekaman untuk mencerminkan perubahan keadaan dan gerakan pita, membaca dan menulis simbol pada rekaman itu.
Dengan menggunakan "Notasi Musik", kita harus mendefinisikan simbol dan rekaman stateful, aturan transisi dan berbagai tindakan yang memperbarui rekaman.
Yang tidak kita miliki adalah rekaman yang menyatakan keadaan dan aturan yang memberi tahu para musisi bagaimana cara merespons simbol pada rekaman itu dan bagaimana memperbarui rekaman itu.
Dalam arti tertentu, suara-suara yang mengalir di udara mungkin merupakan pita stateful. Tapi. Tidak ada cara mudah untuk memundurkan kaset itu. Kurangnya mundur ini berarti bahwa pemain harus menyimpan semacam "rekaman" pribadi.
Ini mendapat notasi musik luar dan ke beberapa instruksi ekstra-musik lain untuk pemain.