Pertanyaan yang diberi tag «computability»

Dalam buku Andrew W. Appel, Implementasi Kompiler Modern dalam ML , ia mengatakan di bawah bab 17 bahwa teori Komputasi menunjukkan bahwa akan selalu mungkin untuk menciptakan transformasi optimisasi baru dan hasil untuk membuktikan bahwa kompiler yang mengoptimalkan sepenuhnya akan menyelesaikan masalah yang terhenti: Sebuah program Q yang tidak menghasilkan …

20 computability  compilers  program-optimization 

Saya tahu komputasi dalam arti yang kabur (itu yang dilakukan komputer), tapi saya ingin definisi yang lebih ketat. Dictionary.comDefinisi komputasi, komputasi, menghitung, dan menghitung bersifat melingkar, sehingga tidak membantu. Wikipediamendefinisikan komputasi sebagai "segala jenis perhitungan yang mengikuti model yang terdefinisi dengan baik." Ini mendefinisikan perhitungan sebagai "proses yang disengaja yang …

20 terminology  computability 

Pertimbangkan masalah keputusan yang dinyatakan dalam beberapa bahasa formal yang "masuk akal". Katakanlah rumus dalam aritmetika Peano tingkat tinggi dengan satu variabel bebas sebagai kerangka acuan, tapi saya sama-sama tertarik pada model perhitungan lain: persamaan Diophantine, masalah kata dari aturan penulisan ulang menggunakan mesin Turing, dll. Jawaban dinyatakan dalam setiap …

20 computability  undecidability 

Ada banyak cara untuk mendefinisikan Kolmogorov-Complexity , dan biasanya, semua definisi ini setara dengan konstanta aditif. Itu adalah jika dan adalah fungsi kompleksitas kolmogorov (didefinisikan melalui berbagai bahasa atau model), maka terdapat konstanta sedemikian rupa sehingga untuk setiap string , . Saya percaya ini karena untuk setiap fungsi kompleksitas Kolmogorov …

20 computability  kolmogorov-complexity 

Apakah diperlukan bahwa masalah NP-hard harus dapat dihitung? Saya kira tidak, tapi saya tidak yakin.

19 complexity-theory  computability  np-hard 

Saya telah membaca halaman wikipedia untuk aturan 110 dalam automata seluler, dan saya kurang lebih tahu cara kerjanya (seperangkat aturan menentukan di mana menggambar 1 atau 0 berikutnya). Saya baru saja membaca bahwa Turing sudah lengkap, tetapi saya bahkan tidak bisa mengerti bagaimana Anda 'memprogram' dalam 'aturan 110'?

19 computability  automata  turing-completeness  cellular-automata 

Mari F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F = \{⟨M⟩:\text{M is a TM which stops for every input in at most 50 steps}\} . Saya perlu memutuskan apakah F dapat …

19 computability  undecidability 

Saya seorang mahasiswa pascasarjana yang mengambil kursus teori komputasi dan saya memiliki masalah serius dalam memproduksi konten begitu saya diminta. Saya dapat mengikuti buku teks (Pengantar Teori Komputasi oleh Michael Sipser) dan kuliah; namun ketika diminta untuk membuktikan sesuatu atau memberikan deskripsi formal tentang TM tertentu, saya hanya tersedak. Apa …

19 computability  education  intuition 

Masalah penghentian tidak dapat diselesaikan dalam kasus umum. Dimungkinkan untuk membuat aturan yang ditetapkan yang membatasi input yang diizinkan dan dapatkah masalah penghentian diselesaikan untuk kasus khusus itu? Misalnya, sepertinya bahasa yang tidak memungkinkan loop misalnya, akan sangat mudah untuk mengetahui apakah program akan berhenti atau tidak. Masalah yang saya …

18 computability  undecidability  software-engineering  formal-methods 

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 ) &lt; Xt∈N:0≤f(t)&lt;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 real yang tidak dapat dihitung. Satu-satunya …

18 computability 

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 ide?

18 formal-languages  turing-machines  computability  automata 

Pengaturan: ekspresi reguler dengan referensi kembali bahasa unary (alfabet 1 simbol) Apakah masalah berikut ini dapat ditentukan dalam pengaturan ini: Diberi ekspresi reguler dengan referensi, apakah itu mendefinisikan bahasa biasa? Misalnya, (aa+)\1mendefinisikan bahasa reguler, sementara (aa+)\1+tidak. Bisakah kita memutuskan yang mana masalahnya? Untuk konkret, "ekspresi reguler dengan referensi-kembali" di sini …

18 formal-languages  computability  regular-languages  undecidability  regular-expressions 

Memori digunakan untuk banyak hal, seperti yang saya mengerti. Ini berfungsi sebagai disk-cache, dan berisi instruksi program, dan tumpukan &amp; tumpukannya. Inilah eksperimen pemikiran. Jika seseorang tidak peduli dengan kecepatan atau waktu yang dibutuhkan komputer untuk melakukan pengerasan, berapa jumlah memori minimum yang dapat dimiliki seseorang, dengan asumsi seseorang memiliki …

18 computability  memory-management  memory-hardware 

Set Mandelbrot adalah makhluk yang indah dalam Matematika. Ada banyak gambar indah dari himpunan ini yang dibuat dengan presisi tinggi, jadi jelas himpunan ini "dapat dihitung" dalam beberapa hal. Namun, yang membuat saya khawatir adalah kenyataan bahwa itu bahkan tidak terhitung secara berulang - hanya karena set tidak terhitung. Ini …

18 computability 

Saya mulai membaca buku tentang Kompleksitas Komputasi dan Mesin Turing. Berikut ini kutipannya: Algoritma (yaitu, mesin) dapat direpresentasikan sebagai string bit setelah kami memutuskan beberapa pengkodean kanonik. Pernyataan ini diberikan sebagai fakta sederhana, tetapi saya tidak bisa memahaminya. Misalnya, jika saya memiliki algoritma yang mengambil sebagai input dan menghitung atau:( …

17 algorithms  turing-machines  computability  computation-models