Pertimbangkan mesin keadaan terbatas seperti biasa, tetapi setiap transisi, ia juga dapat memperbarui penghitung bilangan bulat dengan menambahkan atau mengurangi angka. Katakanlah, fungsi transisi dari bentuk pindah ke keadaan baru p , dan tambahkan k ke penghitung, di mana k ∈ Z (jadi k dapat...
Saya menggambarkan pendekatan pada grafik isomorfisme yang mungkin memiliki positif palsu, dan saya ingin tahu apakah ada literatur yang menunjukkan bahwa itu tidak berhasil. Diberikan dua matriks kedekatan , metode yang diakui naif untuk memeriksa isomorfisma adalah untuk memeriksa apakah untuk...
Berasal dari latar belakang C ++ saya tidak mengerti mengapa seseorang membutuhkan tipe / tipe ekspresi sebagai warga negara kelas satu? Satu-satunya bahasa yang saya tahu yang mendukung fitur ini adalah Aldor. Adakah yang punya literatur tentang tipe sebagai warga negara kelas satu atau tahu...
Inilah masalahnya: Ada grafik yang terhubung dengan node yang mewakili sejumlah orang. Setiap node / orang memiliki pendapat tentang topik misalnya trump vs clinton, buku kertas vs kindle, dll Tujuannya adalah membuat setiap node dalam grafik berbagi pendapat yang sama, dengan memilih subset node...
Defungsionalisasi adalah transformasi yang pertama kali dijelaskan pada tahun 1972 oleh John C. Reynolds untuk menghilangkan fungsi tingkat tinggi. Apakah ada transformasi alternatif (lebih efisien?) Untuk menghilangkan fungsi tingkat
Saya relatif baru mengetik teori dan pemrograman dependen. Saya telah mempelajari kalkulus konstruksi (CoC) dan sistem tipe murni lainnya. Saya sangat tertarik menggunakannya sebagai representasi perantara untuk sistem kompiler. Saya mengerti bahwa (co-) tipe rekursif dapat diwakili , secara...
Secara kasar, grafik tidak terarah sangat mirip dengan grafik terarah di mana untuk setiap sisi (v, w), selalu ada sisi (w, v). Itu menunjukkan bahwa mungkin dapat diterima untuk melihat grafik yang tidak diarahkan sebagai bagian dari grafik yang diarahkan (mungkin dengan batasan tambahan bahwa...
Kami memiliki sekelompok nnn orang. Kami diberi daftar siapa yang harus membeli hadiah untuk siapa di dalam grup. Setiap orang mungkin perlu membeli / menerima sejumlah hadiah, atau mungkin tidak sama sekali. Dalam perjalanan berbelanja, sekelompok orang bepergian bersama ke toko yang sama, dan...
Pertimbangkan pernyataan masalah berikut: Diberi nomor awal, Anda dan teman Anda bergantian mengurangi kuadrat sempurna darinya. Yang pertama mencapai nol menang. Sebagai contoh: Status awal: 37 Pemain1 mengurangi 16. Negara: 21 Player2 kurangi 8. Status: 13 Pemain1 mengurangi 4....
Jika prosesor hanya dapat menjalankan satu hal pada satu waktu, bagaimana mungkin saya dapat memutar musik terus menerus dan masih dapat menjalankan tugas lain? Saya mengerti sistem interupsi, tetapi bukankah perlu bahwa CPU terus-menerus memproses audio agar tidak terdengar gelisah /...
Apakah "teorema Padi untuk real yang dapat dihitung" - yaitu, tidak ada properti nontrivial dari angka yang diwakili oleh real komputer yang diberikan yang dapat ditentukan - benar? Apakah ini sesuai dengan beberapa cara langsung dengan keterhubungan
Dua model komputasi dapat ditunjukkan saling melengkapi jika masing-masing dapat menyandikan simulator universal untuk yang lain. Dua logika dapat ditunjukkan untuk melengkapi jika suatu pengkodean aturan inferensi (dan mungkin aksioma jika ada) dari masing-masing ditunjukkan sebagai teorema dari...
Sebenarnya saya menemukan bahwa himpunan Bahasa konteks-sensitif, CSLCSL\mathbf{CSL} ( bahasa yang diterima) tidak begitu banyak dibahas sebagai (bahasa reguler) atau (bahasa bebas konteks). Dan juga masalah terbuka tidak begitu terkenal sebagai masalah "analog": " ".R E G C F L D S P A C E ( O ( n...
Saya membaca makalah "Mesin komputer dan kecerdasan" Turing ( https://www.csee.umbc.edu/courses/471/papers/turing.pdf ) dan menemukan sebuah fragmen di mana ia berkata: Saya telah mengatur di komputer Manchester sebuah program kecil yang hanya menggunakan 1.000 unit penyimpanan, di mana mesin...
Perhatian utama saya adalah apakah pemrograman genetika adalah bidang penelitian aktif, dengan beberapa aplikasi yang menjanjikan dalam praktiknya. Sepertinya di bidang pembelajaran mesin, jaringan saraf adalah kata kunci utama, dengan menyebutkan dalam berita arus utama hari ini, tetapi saya belum...
Anda diberi larik panjang . Setiap elemen array milik salah satu kelas K. Anda seharusnya mengatur ulang array menggunakan jumlah minimum operasi swap sehingga semua elemen dari kelas yang sama selalu dikelompokkan bersama, yaitu mereka membentuk subarray yang berdekatan. Sebagai...
Situasi saya Saya menulis makalah yang menyajikan modul perangkat lunak yang saya kembangkan dan saya ingin membandingkan runtime-nya dengan modul lain untuk tugas yang sama. Saya mengetahui kelemahan dari eksperimen runtime , tetapi harap anggap telah diberikan bahwa tidak ada jalan lain dalam...
Saya telah menemukan istilah ini berkali-kali, dalam berbagai materi pendidikan CS: L2 CS162 (UC Berkeley): I / O yang dipetakan dengan memori L4 CS162 (UC Berkeley): Memori memetakan file L24 CS61 (UC Berkeley): "Memori yang dipetakan I / O": Kontrol perangkat / register data...
Dalam pemrograman dependen-mengetik, ada dua cara utama untuk mendekomposisi data dan melakukan rekursi: Pencocokan pola dependen : definisi fungsi diberikan sebagai beberapa klausa. Unifikasi memastikan bahwa semua kasus yang dihilangkan tidak mungkin, dan pemecah eksternal memastikan bahwa...
Saya tidak tahu harus bertanya ke mana lagi, saya harap ini tempat yang bagus. Saya hanya ingin tahu apakah mungkin membuat generator kalkulus lambda; pada dasarnya, loop yang akan, diberikan waktu yang tak terbatas, menghasilkan setiap fungsi kalkulus lambda yang mungkin. (seperti dalam bentuk...