Bisakah tata bahasa bebas konteks menyertakan "keadaan mati" dari otomat, seperti G = ( { a , b , c } , { A , B , C} , { A → a B , B → b , B → C, C→ c C} , A )?G=({Sebuah,b,c},{SEBUAH,B,C},{SEBUAH→SebuahB,B→b,B→C,C→cC},SEBUAH)?G = \big(\{a, b, c\}, \{A, B, C\}, \{A\to aB, B\to b, B\to C, C\to...
Kami memiliki logika Hoare. Mengapa masih mungkin bahwa suatu algoritma itu benar tetapi tidak ada bukti bahwa itu benar? Misalkan algoritma dinyatakan dalam C. Kemudian kita dapat berdebat langkah demi langkah bahwa itu melakukan apa yang seharusnya dilakukan. Jadi pertanyaan saya adalah:...
Setelah rilis perpustakaan AIGER untuk menangani dan-inverter grafik sekitar tahun 2006 (saya pikir), beberapa pemecah sirkuit SAT dirilis pada 2006-2008, dan dalam beberapa lomba / Kompetisi SAT ada trek AIG. Namun sejak itu tampaknya fokus telah sepenuhnya pada SMT atau meningkatkan pemecah...
Saya baru mengenal teori bahasa pemrograman. Saya menonton beberapa kuliah online di mana instruktur mengklaim bahwa fungsi dengan tipe polimorfik forall t: Type, t->tmenjadi identitas, tetapi tidak menjelaskan mengapa. Adakah yang bisa menjelaskan kepada saya mengapa? Mungkin bukti klaim dari...
Apakah mesin Turing tanpa kemampuan menulis di sel kosong kurang kuat daripada Turing standar? Saya pikir jawabannya adalah ya tetapi saya tidak dapat menemukan perhitungan yang dapat dilakukan mesin standar Turing tetapi mesin ini tidak bisa. Ada
Apakah ada fungsi yang dapat dihitung sedemikian rupa sehingga:f: N → Qf:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} Untuk semuat ∈ N : 0 ≤ f( t ) < Xt∈N:0≤f(t)<Xt\in\mathbb{N}: 0\le f(t) < X limt → ∞f( t ) = Xlimt→∞f(t)=X\lim\limits_{t\rightarrow\infty} f(t) = X Di mana XXX adalah bilangan...
Jika ada algoritma yang berjalan dalam waktu untuk beberapa masalah A, dan seseorang muncul dengan algoritma yang berjalan dalam waktu, , di mana , apakah ini dianggap perbaikan dari algoritma sebelumnya?O ( f ( n ) / g ( n ) ) g ( n ) = o ( f ( n ) )O ( f( n ) )O(f(n))O(f(n))O ( f( n ) / g( n )...
Aku ingin tahu apakah masalah berikut adalah decidable dan bagaimana untuk mencari tahu. Setiap masalah yang saya lihat saya dapat mengatakan "ya" atau "tidak" untuk itu, jadi apakah sebagian besar masalah dan algoritma dapat dipilih kecuali beberapa (yang disediakan di sini )? Input: Grafik...
Aku pernah mendengar motto interaksi lebih kuat daripada algoritma dari Peter Wegner . Dasar dari ide ini adalah bahwa (klasik) Turing Machine tidak dapat menangani interaksi, yaitu, komunikasi (input / output) dengan dunia luar / lingkungan. Bagaimana ini bisa begitu? Bagaimana bisa sesuatu...
Saya belajar Pembuktian Teorema Otomatis / Pemecah SMT / Asisten Bukti sendiri dan memposting serangkaian pertanyaan tentang prosesnya, mulai dari sini . Saya terus membaca tentang Algoritma Unifikasi . Apa itu dan mengapa begitu penting untuk Inference Engine ? Mengapa begitu penting bagi Ilmu...
Menurut Wikipedia , untuk bahasa reguler ada konstanta dan polinomial sedemikian rupa sehingga untuk setiap angka kata-kata panjang n dalam L memenuhi
Operasi apa yang perlu dilakukan untuk melakukan perhitungan analog sewenang-wenang ? Apakah penambahan, pengurangan, penggandaan, dan pembagian cukup? Juga, apakah ada yang tahu persis masalah apa yang dapat ditelusuri menggunakan perhitungan analog, tetapi tidak dengan
Bagaimana Anda memeriksa jika dua algoritma (katakanlah, Urutkan gabungan dan Urutkan naif) mengembalikan hasil yang sama untuk input apa pun, ketika set semua input tidak terbatas? Pembaruan: Terima kasih, Ben, karena telah menjelaskan bagaimana ini tidak mungkin dilakukan secara algoritmik dalam...
Saya berjuang untuk memahami hubungan antara NP-Intermediate dan NP-Complete. Saya tahu bahwa jika P! = NP berdasarkan Teorema Ladner ada kelas bahasa dalam NP tetapi tidak dalam P atau NP-Lengkap. Setiap masalah dalam NP dapat direduksi menjadi masalah NP-Complete, namun saya belum melihat contoh...
Saya pikir array asosiatif (yaitu peta, atau kamus) dan tabel hashing adalah konsep yang sama, sampai saya melihat di Wikipedia itu Untuk kamus dengan jumlah binding yang sangat kecil, mungkin masuk akal untuk mengimplementasikan kamus menggunakan daftar asosiasi, daftar binding yang terhubung....
Apa perbedaan antara penglihatan komputer dan pemrosesan gambar? Misalnya, dalam pengenalan objek, apa peran visi komputer dan pemrosesan
Apakah ada teknik umum untuk membuktikan masalah BUKAN NP-Lengkap? Saya mendapat pertanyaan ini pada ujian yang meminta saya untuk menunjukkan apakah beberapa masalah (lihat di bawah) adalah NP-Complete. Saya tidak bisa memikirkan solusi yang nyata, dan hanya membuktikannya dalam P. Jelas ini...
Apakah ada mesin Turing yang menghentikan semua input tetapi properti itu tidak dapat dibuktikan karena alasan tertentu? Saya bertanya-tanya apakah pertanyaan ini telah dipelajari. Catatan, "tidak dapat dibuktikan" dapat berarti sistem bukti "terbatas" (yang dalam arti lemah berpikir jawabannya...
Adakah yang pernah benar-benar menulis sebuah sistem (perangkat lunak atau penjelasan terperinci di atas kertas dengan contoh sederhana) yang menghasilkan program komputer? Saya memasukkan dan ia menciptakan sebuah program yang mencantumkan bilangan prima kurang dari 10. secara sederhana...
Saya telah mempelajari buku "C ++ Demystified" . Sekarang saya sudah mulai membaca "Pemrograman Berorientasi Objek dalam Turbo C ++ edisi pertama (edisi 1)" oleh Robert Lafore. Saya tidak memiliki pengetahuan pemrograman yang melampaui buku-buku ini. Buku ini mungkin sudah usang karena sudah...