Ilmu Komputer

21
Seperti apa sebenarnya kode mesin saat dijalankan?

Ketika kode mesin benar-benar dijalankan oleh perangkat keras dan CPU, seperti apa bentuknya? Apakah akan terlihat seperti biner, seperti dalam instruksi yang diwakili oleh satu dan nol, atau apakah itu sesuatu yang terdiri dari digit heksadesimal di mana opcodes adalah byte yang disajikan sebagai...

21
Mengapa kode ini diuraikan secara unik?

Alfabet sumber:{a,b,c,d,e,f}{a,b,c,d,e,f}\{a, b, c, d, e, f\} Alfabet kode:{0,1}{0,1}\{0, 1\} a:0101a:0101a\colon 0101 b:1001b:1001b\colon 1001 c:10c:10c\colon 10 d:000d:000d\colon 000 e:11e:11e\colon 11 f:100f:100f\colon 100 Saya pikir agar kode dapat didekodekan secara unik, harus bebas...

20
Kesetaraan definisi Kolmogorov-Kompleksitas

Ada banyak cara untuk mendefinisikan Kolmogorov-Complexity , dan biasanya, semua definisi ini setara dengan konstanta aditif. Itu adalah jika dan adalah fungsi kompleksitas kolmogorov (didefinisikan melalui berbagai bahasa atau model), maka terdapat konstanta sedemikian rupa sehingga untuk setiap...

20
Rasio masalah yang dapat diputuskan

Pertimbangkan masalah keputusan yang dinyatakan dalam beberapa bahasa formal yang "masuk akal". Katakanlah rumus dalam aritmetika Peano tingkat tinggi dengan satu variabel bebas sebagai kerangka acuan, tapi saya sama-sama tertarik pada model perhitungan lain: persamaan Diophantine, masalah kata...

20
Jalan menuju metode formal

Sudah lazim untuk melihat siswa memulai PhD mereka dengan hanya latar belakang yang terbatas dalam matematika dan aspek formal ilmu komputer. Jelas akan sangat sulit bagi siswa tersebut untuk menjadi ilmuwan komputer teoretis, tetapi akan lebih baik jika mereka dapat menjadi paham dengan...