Ilmu Komputer

Saat melakukan tugas saat ini untuk bahasa formal dan kursus automata saya, saya agak terjebak pada latihan yang melibatkan bahasa unary (saya harap itu istilah yang tepat), yaitu, bahasa yang dibangun di atas satu huruf. Saya tidak ingin bertanya tentang latihan spesifik, tetapi tentang dugaan yang jauh lebih umum yang …

13 formal-languages  regular-languages 

Besok adalah presentasi saya dan saya ingin menghapus konsep saya ... Saya pernah membaca bahwa di DFA, "Untuk setiap negara, transisi pada semua simbol yang mungkin (alfabet) harus ditentukan." Apakah untuk setiap negara bagian, mendefinisikan transisi pada semua simbol yang mungkin wajib di DFA? Jika tidak, tolong beri contoh?

13 automata  finite-automata  nondeterminism 

Tampaknya saya telah menemukan cara umum untuk mengubah prosedur rekursif apa pun menjadi rekursi ekor: Tentukan sub-prosedur pembantu dengan parameter "hasil" tambahan. Terapkan apa yang akan diterapkan pada nilai pengembalian prosedur ke parameter itu. Hubungi prosedur bantuan ini untuk memulai. Nilai awal untuk parameter "hasil" adalah nilai untuk titik keluar …

13 algorithms  logic  recursion  lisp 

Saya sedang memikirkan bukti dan berlari ke pengamatan yang menarik. Jadi bukti setara dengan program melalui Curry-Howard Isomorphism, dan bukti melingkar sesuai dengan rekursi tak terbatas. Tapi kita tahu dari masalah penghentian bahwa dalam pengujian umum apakah program sewenang-wenang berulang selamanya tidak dapat diputuskan. Oleh Curry-Howard, apakah itu berarti tidak …

13 logic  curry-howard 

Saya terus mendengar tentang bagaimana seseorang harus belajar teori kategori untuk benar-benar memahami teori bahasa pemrograman. Sejauh ini, saya telah belajar banyak PL tanpa pernah melangkah ke bidang kategori. Namun, saya pikir sudah waktunya untuk melakukan lompatan untuk melihat apa yang telah saya lewatkan. Sayangnya, tidak ada sumber yang bisa …

13 reference-request  programming-languages  type-theory  category-theory 

Ekspresi kombinator (misalkan dalam basis SK) dapat dianggap sebagai fungsi yang memetakan ekspresi kalkulus kombinator ke ekspresi kalkulus kombinator. Artinya, seseorang dapat menganggap ekspresi XXX sebagai fungsi , di mana adalah himpunan semua ekspresi kombinator yang valid secara sintaksis dalam basis SK. Pemetaan ini dilakukan dengan menerapkan input ke ekspresi, …

13 lambda-calculus  combinatory-logic 

Jika P tidak sama dengan NP, apakah masih mungkin melakukan desain cryptosystem di mana algoritma cryptanalysis optimal membutuhkan, katakanlah, kuadrat waktu yang dihabiskan oleh algoritma enkripsi dan dekripsi yang sah? Apakah sudah ada algoritma seperti itu?

13 cryptography  encryption 

Dosen saya membuat pernyataan Masalah yang terbatas tidak dapat NP-Lengkap Dia berbicara tentang Sudoku pada saat itu mengatakan sesuatu di sepanjang garis bahwa untuk 8x8 Sudoku ada satu set solusi yang terbatas tetapi saya tidak ingat persis apa yang dia katakan. Saya menulis catatan yang saya kutip tetapi masih tidak …

13 np-complete  np 

Saya memiliki definisi algoritma in-situ dari profesor, tetapi saya tidak memahaminya. Algoritma in-situ merujuk pada algoritma yang beroperasi dengan Θ (1) memori. Apa artinya?

13 algorithms  terminology  landau-notation 

Kapan kita mengatakan bahwa jaringan saraf tiruan adalah Perceptron berlapis - lapis ? Dan kapan kita mengatakan bahwa jaringan saraf tiruan adalah multilayer ? Apakah istilah perceptron terkait dengan aturan belajar untuk memperbarui bobot? Atau ini terkait dengan unit neuron?

13 neural-networks  perceptron 

Saya baru saja menemukan kalimat ini di halaman 6 dari Garey and Johnson's "Computers and Intractability". Algoritma apa pun yang fungsi kompleksitas waktunya tidak dapat dibatasi disebut algoritma waktu eksponensial (walaupun harus dicatat bahwa definisi ini mencakup fungsi kompleksitas waktu non-polinomial tertentu, seperti , yang biasanya tidak dianggap sebagai fungsi …

13 algorithms  terminology  polynomial-time 

Banyak masalah "terkenal" tidak dapat diputuskan setidaknya dapat diputuskan, dengan komplemen mereka tidak dapat diputuskan. Salah satu contoh di atas semua bisa menjadi masalah penghentian dan pelengkapnya. Namun, adakah yang bisa memberi saya contoh di mana masalah dan komplemennya tidak dapat ditentukan dan tidak dapat ditentukan? Saya berpikir tentang bahasa …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

Saya melihat dari posting ini di stackoverflow bahwa ada beberapa algoritma yang relatif cepat untuk menyaring suatu interval angka untuk melihat apakah ada prima dalam interval itu. Namun, apakah ini berarti bahwa masalah keputusan keseluruhan: (Apakah ada prima dalam suatu interval?) Ada di P. (Ada banyak jawaban untuk posting yang …

13 complexity-theory  np  polynomial-time  primes 

The Fungsi utama-menghitung , diturunkan , didefinisikan sebagai jumlah bilangan prima kurang dari atau sama dengan .π(x)π(x)\pi(x)xxx Kita dapat mendefinisikan masalah keputusan dari sebagai berikut:π(x)π(x)\pi(x) Diberi dua angka dan , ditulis dalam biner, putuskan jika .xxxnnnπ(x)=nπ(x)=n\pi(x) = n Seorang teman dan saya berbicara tentang masalah ini sebelumnya hari ini. Ada …

13 complexity-theory  primes 

Saya bertanya-tanya apakah memutuskan masalah decidability adalah masalah decidable. Saya kira tidak, tetapi setelah pencarian awal saya tidak dapat menemukan literatur tentang masalah ini.

13 computability  undecidability  decision-problem