Pertanyaan yang diberi tag «computability»

Melihat bahwa dalam Chomsky Hierarchy Type 3 bahasa dapat dikenali oleh mesin negara tanpa memori eksternal (yaitu, otomat terbatas), Tipe 2 oleh mesin negara dengan tumpukan tunggal (yaitu otomat push-down) dan Tipe 0 oleh mesin negara dengan dua tumpukan (atau, ekuivalen, sebuah kaset, seperti halnya untuk Mesin Turing), bagaimana bahasa …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

Saya berencana untuk mengajar kursus musim dingin tentang berbagai topik, salah satunya akan menjadi penyusun. Sekarang, saya menemukan masalah ini sambil memikirkan tugas untuk diberikan sepanjang kuartal, tapi itu membuat saya bingung sehingga saya dapat menggunakannya sebagai contoh. public class DeadCode { public static void main(String[] args) { return; System.out.println("This …

32 computability  proof-techniques  compilers 

Program 579-bit dalam Binary Lambda Calculus ini memiliki status penghentian yang tidak diketahui: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100 00101011000000000010111011100101011111000000111001011111101101011010000000100000 10000001011100000000001110010101010101010111100000011100101010110000000001110000 00000111100000000011110000000001100001010101100000001110000000110000000100000001 00000000010010111110111100000010101111110000001100000011100111110000101101101110 00110000101100010111001011111011110000001110010111111000011110011110011110101000 0010110101000011010 Artinya, tidak diketahui apakah program ini berakhir atau tidak. Untuk menentukannya, Anda harus menyelesaikan dugaan Collatz - atau, setidaknya, untuk semua angka hingga 2 ^ 256. Pada repositori ini …

32 algorithms  computability  kolmogorov-complexity 

Apakah ada kalkulasi lambda yang diketik lengkap dari Turing? Jika demikian, apa beberapa contohnya?

31 computability  lambda-calculus  type-theory 

Saya bertanya-tanya apakah ada contoh yang baik untuk masalah NP-Hard yang mudah dipahami yang bukan NP-Lengkap dan tidak diputuskan? Misalnya, masalah penghentian adalah NP-Hard, bukan NP-Complete, tetapi tidak dapat dipastikan. Saya percaya bahwa ini berarti bahwa ini merupakan masalah yang dapat diverifikasi solusinya tetapi tidak dalam waktu polinomial. (Tolong, perbaiki …

31 complexity-theory  computability  np-hard 

Teorema Rice memberi tahu kita bahwa satu-satunya sifat semantik dari Mesin Turing (yaitu sifat fungsi yang dihitung oleh mesin) yang dapat kita putuskan adalah dua sifat sepele (yaitu selalu benar dan selalu salah). Tetapi ada sifat-sifat lain dari Mesin Turing yang tidak dapat memutuskan. Misalnya, properti yang ada keadaan tidak …

30 computability  undecidability 

Saya telah melalui diskusi tentang pertanyaan Bagaimana cara mendefinisikan mesin Turing kuantum? dan saya merasa bahwa TM kuantum dan TM nondetermistic adalah satu dan sama. Jawaban untuk pertanyaan lain tidak menyentuh itu. Apakah kedua model ini satu dan sama? Jika tidak, Apa perbedaan antara kuantum TM dan NDTM? Apakah ada …

30 computability  turing-machines  quantum-computing  nondeterminism 

Saya memahami bukti ketidaktentuan masalah penghentian (diberikan misalnya dalam buku teks Papadimitriou), berdasarkan diagonalisasi. Sementara buktinya meyakinkan (saya mengerti setiap langkahnya), itu tidak intuitif bagi saya dalam arti bahwa saya tidak melihat bagaimana seseorang akan mendapatkannya, mulai dari masalahnya sendiri. Dalam buku ini, buktinya seperti ini: "misalkan memecahkan masalah penghentian …

30 computability  proof-techniques  undecidability  halting-problem  intuition 

Tesis Gereja-Turing menyatakan bahwa segala sesuatu yang secara fisik dapat dihitung, dapat dihitung pada Mesin Turing. Makalah "Komputasi analog melalui jaringan saraf" (Siegelmannn dan Sontag, Theoretical Computer Science , 131: 331-360, 1994; PDF ) mengklaim bahwa jaring saraf dari bentuk tertentu (pengaturannya disajikan dalam makalah) lebih kuat. Para penulis mengatakan …

29 computability  turing-machines  church-turing-thesis 

Saya menemukan pernyataan di bawah ini oleh Alan M. Turing di sini : "Pandangan bahwa mesin tidak dapat menimbulkan kejutan adalah karena, saya percaya, pada kekeliruan yang menjadi fokus para filsuf dan matematikawan. Ini adalah asumsi bahwa segera setelah sebuah fakta disajikan di benak semua konsekuensi dari fakta tersebut muncul …

29 turing-machines  computability  computation-models 

Saat ini saya sedang membaca buku tentang algoritma dan kompleksitas. Saat ini saya sedang membaca tentang fungsi yang dapat dikomputasi dan yang tidak dapat dikomputasi, dan buku saya menyatakan bahwa ada lebih banyak fungsi yang tidak dapat dikomputasi daripada yang dapat dikomputasi, bahkan mayoritasnya tidak dapat dikomputasi. Dalam beberapa hal …

29 computability  turing-machines  combinatorics 

Kami belajar tentang konsep enumerasi fungsi. Dalam praktiknya, mereka berhubungan dengan bahasa pemrograman. Dalam komentar yang lewat, profesor menyebutkan bahwa kelas semua fungsi total (yaitu fungsi yang selalu berakhir untuk setiap input) tidak dapat dihitung. Itu berarti bahwa kita tidak dapat merancang bahasa pemrograman yang memungkinkan kita untuk menulis semua …

29 computability  semi-decidability  enumeration 

Wikipedia serta sumber lain yang saya temukan daftar voidtipe C sebagai tipe unit sebagai lawan dari tipe kosong. Saya menemukan ini membingungkan karena menurut saya voidlebih cocok dengan definisi tipe kosong / bawah. Tidak ada nilai yang dihuni void, sejauh yang saya tahu. Suatu fungsi dengan tipe kembali dari kekosongan …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Apakah ada program yang dapat 'menerjemahkan' kode sumber antara dua bahasa (dengan asumsi penerjemah memiliki akses ke perpustakaan yang diperlukan)? Jika ada, bagaimana cara kerjanya (teknik yang digunakan, pengetahuan yang dibutuhkan, dll)? Bagaimana mereka layak dibangun? Jika tidak, pembatasan apa yang mencegah perkembangan mereka? Apakah ini masalah lengkap AI (terjemahan …

28 computability  programming-languages  compilers 

Setiap masalah yang tidak dapat dipastikan yang saya ketahui termasuk dalam salah satu kategori berikut: Masalah yang tidak dapat dipastikan karena diagonalisasi (referensi diri tidak langsung). Masalah-masalah ini, seperti masalah penghentian, tidak dapat diputuskan karena Anda dapat menggunakan penentu yang konon untuk bahasa untuk membangun TM yang perilakunya mengarah pada …

28 computability  proof-techniques  undecidability