Pertanyaan yang diberi tag «semi-decidability»

Kami belajar tentang konsep enumerasi fungsi. Dalam praktiknya, mereka berhubungan dengan bahasa pemrograman. Dalam komentar yang lewat, profesor menyebutkan bahwa kelas semua fungsi total (yaitu fungsi yang selalu berakhir untuk setiap input) tidak dapat dihitung. Itu berarti bahwa kita tidak dapat merancang bahasa pemrograman yang memungkinkan kita untuk menulis semua …

29 computability  semi-decidability  enumeration 

Suatu himpunan dapat dihitung jika ia memiliki bilangan bijih dengan bilangan asli, dan dapat dihitung (ce) jika ada algoritma yang menyebutkan anggotanya. Setiap himpunan enumerable komputabel yang tidak terbatas harus dihitung karena kita dapat membangun suatu penghitungan dari enumerasi. Adakah contoh himpunan yang dapat dihitung yang tidak dapat dihitung secara …

15 computability  semi-decidability 

Banyak masalah "terkenal" tidak dapat diputuskan setidaknya dapat diputuskan, dengan komplemen mereka tidak dapat diputuskan. Salah satu contoh di atas semua bisa menjadi masalah penghentian dan pelengkapnya. Namun, adakah yang bisa memberi saya contoh di mana masalah dan komplemennya tidak dapat ditentukan dan tidak dapat ditentukan? Saya berpikir tentang bahasa …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability