Apa set fitur / struktur bahasa minimal yang membuatnya
Apa set fitur / struktur bahasa minimal yang membuatnya
Saya bertanya-tanya, apakah bahasa notasi musik Turing-Lengkap ? Pikiran pertama saya adalah bahwa ada loop dalam notasi musik, tetapi tidak ada cara untuk menulis cabang bersyarat, kan? Saya bukan seorang musisi, jadi mungkin seseorang dapat membantu mengisi
Di mana diterima bahwa suatu bahasa harus Turing lengkap untuk menjadi baik, apakah mungkin untuk memiliki bahasa pemrograman 'berguna' yang Turing tidak lengkap? Saya harus mengklarifikasi bahwa ini cukup khusus tentang bahasa 'pemrograman' dalam pengertian tradisional, dan bukan bahasa markup...
Saya memiliki ide umum tentang bagaimana prosesor menangani instruksi tetapi menghabiskan waktu saya bekerja di sebagian besar bahasa tingkat tinggi. Mungkin seseorang yang bekerja lebih dekat dengan setrika dapat memberikan wawasan yang berharga. Dengan asumsi bahwa bahasa pemrograman pada...
Saya awalnya mencoba menanyakan hal ini pada StackOverflow, tapi itu terlalu subyektif :-(. Saya tertarik pada metode mendefinisikan kekuatan bahasa pemrograman. Turing kelengkapan adalah satu, tetapi hampir secara universal puas. Apa yang menyenangkan adalah mendefinisikan ukuran kekuatan yang...
Ini adalah pertanyaan teoretis, tetapi setelah bertahun-tahun pemrograman dalam apa yang sekarang saya sadari adalah teknik imperatif "normal", terutama menggunakan C ++, saya telah menemukan dunia pemrograman fungsional lain ini, yang saya temukan secara tidak sengaja ketika saya belajar...
Saya sudah mencoba google untuk penjelasan tetapi sebagian besar tautan hanya mengatakan hal-hal seperti "FRACTRAN sedang selesai. Sebagai contoh, mari kita lihat multiplikasi." Saya ingat melihat posting forum xkcd mengatakan bahwa FRACTRAN membantu poster memahami Turing Completeness. Saya...
Apakah ada bahasa pemrograman Turing yang lengkap sehingga untuk alfabet tetap (katakanlah, ASCII), setiap permutasi yang mungkin dari karakter-karakter tersebut adalah program yang secara semantik sah yang dapat dieksekusi? Kami menganggap loop tak terbatas juga valid secara semantik. Saya tahu...