Ilmu Komputer

T&J untuk siswa, peneliti, dan praktisi ilmu komputer

2
Menentukan kemampuan mesin state min-heap (atau eksotik lainnya)
Lihat akhir tulisan ini untuk beberapa klarifikasi tentang definisi min-heap automata. Orang dapat membayangkan menggunakan berbagai struktur data untuk menyimpan informasi untuk digunakan oleh mesin negara. Misalnya, push-down automata menyimpan informasi dalam tumpukan, dan mesin Turing menggunakan kaset. Mesin negara menggunakan antrian, dan yang menggunakan dua tumpukan atau kaset, telah …

6
Pembelajaran Teorema Otomatis
Saya belajar Pembuktian Teorema Otomatis / SMT solver / Asisten Bukti sendiri dan memposting serangkaian pertanyaan tentang proses, mulai di sini. Perhatikan bahwa topik ini tidak mudah dicerna tanpa latar belakang logika (matematika). Jika Anda memiliki masalah dengan istilah dasar, silakan baca di atas, misalnya Logika dalam Ilmu Komputer oleh …






9
Mengapa beberapa bahasa pemrograman Turing lengkap tetapi kurang memiliki kemampuan bahasa lain?
Saya menemukan masalah aneh ketika menulis seorang juru bahasa yang (harus) menghubungkan ke program / fungsi eksternal: Fungsi dalam 'C' dan 'C ++' tidak dapat mengaitkan fungsi variadik , misalnya saya tidak dapat membuat fungsi yang memanggil 'printf' dengan argumen yang sama persis yang didapatnya, dan sebagai gantinya harus memanggil …

5
Iterasi dapat menggantikan Rekursi?
Saya telah melihat seluruh stack Overflow, misalnya di sini , di sini , di sini , di sini , di sini dan beberapa yang lain saya tidak peduli untuk menyebutkan, bahwa "program apa pun yang menggunakan rekursi dapat dikonversi ke program yang hanya menggunakan iterasi". Bahkan ada utas yang sangat …

11
Mengapa ada yang mau CISC?
Dalam kuliah sistem komputer kami, kami diperkenalkan dengan prosesor MIPS. Itu (kembali) dikembangkan selama jangka waktu dan sebenarnya cukup mudah dimengerti. Ini menggunakan desain RISC , yaitu perintah-perintah dasar yang secara teratur dikodekan dan hanya ada beberapa dari mereka untuk menjaga kabel tetap sederhana. Disebutkan bahwa CISC mengikuti filosofi yang …

1
Bayangkan sebuah pohon merah-hitam. Apakah selalu ada urutan penyisipan dan penghapusan yang membuatnya?
Mari kita asumsikan definisi pohon merah-hitam berikut: Ini adalah pohon pencarian biner. Setiap node berwarna merah atau hitam. Akar hitam. Dua node yang dihubungkan oleh sebuah edge tidak bisa berwarna merah pada saat bersamaan. Ini seharusnya definisi yang bagus untuk daun NIL, seperti pada wiki. Daun NIL berwarna hitam. Jalur …

3
Membandingkan algoritma Peterson dan Dekker
Saya mencoba memahami algoritma oleh Peterson dan Dekker yang sangat mirip dan menampilkan banyak simetri. Saya mencoba merumuskan algoritma dalam bahasa informal seperti berikut: Peterson's: "I want to enter." flag[0]=true; "You can enter next." turn=1; "If you want to enter and while(flag[1]==true&&turn==1){ it's your turn I'll wait." } Else: Enter …




Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.