Ilmu Komputer

14
Contoh algoritma rekursif canggih

Saya sedang menjelaskan algoritma pemilihan waktu linear deterministik yang terkenal (median algoritma median) kepada seorang teman. Rekursi dalam algoritma ini (walaupun sangat sederhana) cukup canggih. Ada dua panggilan rekursif, masing-masing dengan parameter berbeda. Saya mencoba untuk...

14
Alasan untuk belajar logika proposisional & predikat

Saya dapat memahami pentingnya bahwa ilmuwan komputer atau insinyur terkait pengembangan perangkat lunak harus memahami studi tentang logika dasar sebagai dasar. Tetapi apakah ada tugas / pekerjaan yang secara eksplisit membutuhkan pengetahuan tentang hal ini, selain tugas yang membutuhkan...

14
Kapan

Menurut artikel Wikipedia , L dalam berarti "pemindaian kiri-ke-kanan", dan "R" berarti "derivasi paling kanan." Namun, dalam kertas asli Knuth pada L R ( k ) tata bahasa , ia mendefinisikan L R ( k ) (pada halaman 610) sebagai bahasa yang "diterjemahkan dari kiri ke kanan dengan terikat k ."L R (...

14
Untuk Mesin Turing

Aku bertanya-tanya bagaimana datang bahwa bahasa berikut ini di .RR\mathrm R LM1={⟨M2⟩∣∣M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}LM1={⟨M2⟩|M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and } L(M_1)=L(M_2), \text{ and }...