Pertanyaan yang diberi tag «computability»

Pertanyaan yang terkait dengan teori komputabilitas, alias teori rekursi

2
Sebuah
Saya ingin menentukan, apa artinya memberikan aljabar sebagai input untuk suatu algoritma dan tidak menemukan banyak literatur tentangnya. Jadi pertama-tama saya ingin bertanya apakah Anda dapat merekomendasikan buku atau makalah yang membahas topik analisis kompleksitas aljabar di atas bidang dan dengan jelas mendefinisikan masalah keputusan . Setelah menggali, saya menemukan …
1
himpunan bagian dari set rekursif tak terbatas
Pertanyaan ujian baru-baru ini adalah sebagai berikut: adalah himpunan enumerable rekursif tak terbatas. Buktikan bahwa A memiliki subset rekursif tak terbatas.SEBUAHAASEBUAHAA Biarkan menjadi bagian rekursif tak terbatas A . Haruskah C memiliki subset yang tidak dapat dihitung berulang secara rekursif?CCCSEBUAHAACCC Saya sudah menjawab 1. Mengenai 2., saya menjawab dengan tegas …
1
Apakah fungsi mencari digit selanjutnya dari
Bagaimana bisa diputuskan apakah memiliki beberapa urutan digit? ππ\pimengilhami saya untuk bertanya apakah variasi yang tampak tidak bersalah berikut ini dapat dihitung: f(n)={10if n¯ occurs in the decimal representation of πotherwisef(n)={1if n¯ occurs in the decimal representation of π0otherwisef(n) = \begin{cases} 1 & \text{if \(\bar n\) occurs in the decimal …
4
Bisakah Anda menentukan bahasa pemrograman tanpa implementasi?
Apakah secara teori dimungkinkan untuk menentukan bahasa pemrograman yang tidak dapat diterapkan? Bahasa pemrograman adalah cara mendefinisikan fungsi. Implementasi berarti metode untuk menjalankan program yang diberikan dalam bahasa itu pada input yang diberikan ke output fungsi yang sesuai dengan program pada input tersebut. Apa persyaratan minimal dari bahasa seperti itu?
1
Apakah ada masalah yang ada yang tidak bisa dipecahkan dengan oracle yang terhenti?
Saya mengerti bahwa sebagian besar masalah sepele jika tersedia oracle yang berhenti (atau, saya pikir setara, hiper-komputasi). Namun, menerapkan argumen yang menunjukkan Masalah Henti tidak mungkin untuk mesin Turing juga menunjukkan bahwa tidak mungkin bagi oracle Turing + untuk memutuskan Masalah Henti untuk oracle Turing +. Apakah ada contoh aktual, …
2
Bisakah kita menunjukkan bahwa suatu bahasa tidak dapat dihitung secara komputasi dengan menunjukkan tidak ada verifikasinya?
Salah satu definisi himpunan enumerable komputabel (ce, setara dengan enumerable rekursif, setara dengan semidecidable) adalah sebagai berikut: V ⊆ Σ ∗ x ∈ Σ ∗A⊆Σ∗A⊆Σ∗A \subseteq \Sigma^* adalah ce iff ada bahasa yang dapat (disebut verifier) ​​st untuk semua ,V⊆Σ∗V⊆Σ∗V\subseteq \Sigma^*x∈Σ∗x∈Σ∗x\in \Sigma^* y ∈ Σ * ⟨ x , y …
2
Jika A memetakan dapat direduksi menjadi B maka komplemen dari A memetakan dapat direduksi menjadi komplemen B
Saya belajar untuk yang terakhir dalam teori komputasi, dan saya berjuang dengan cara yang tepat untuk menjawab apakah pernyataan ini benar atau salah. Dengan definisi dari kita dapat membangun pernyataan berikut,≤m≤m\leq_m w∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in B \rightarrow w \notin A \iff f(w) \notin B Di sinilah saya terjebak, …
1
Apakah ada konsep ganda untuk "Turing Lengkap" dalam logika?
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 yang lain. Dalam komputabilitas ini telah mengarah pada gagasan alami kelengkapan Turing …
1
Analisis Kompleksitas Algoritma pada implementasi bahasa pemrograman fungsional
Saya telah belajar hari ini bahwa analisis algoritma berbeda berdasarkan pada model komputasi. Itu adalah sesuatu yang tidak pernah saya pikirkan atau dengar. Contoh yang diberikan kepada saya, yang menggambarkannya lebih lanjut, oleh Pengguna @chi adalah: Misalnya, pertimbangkan tugas: diberikan kembalikan . Dalam RAM ini dapat diselesaikan dalam karena akses …
1
Apakah masalah penghentian dapat diputuskan untuk automata selular satu dimensi 3 simbol?
Saya sudah mencoba mencari tahu apakah masalah penghentian dapat dipilih untuk automata seluler satu dimensi 3-simbol. Definisi Biarkan menunjukkan konfigurasi sistem pada langkah waktu i . Secara lebih formal f : A ∗ × N → A ∗ , di mana A adalah alfabet.f(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA Definisi. Otomat seluler …
3
Perhitungan tak terbatas dalam waktu yang terbatas
Ini mungkin pemikiran yang konyol, tetapi misalkan kita memiliki komputer yang diprogram untuk melakukan urutan perhitungan yang tak terbatas dan anggaplah perhitungan membutuhkan detik untuk diselesaikan. Kemudian komputer ini dapat melakukan perhitungan dalam jumlah tak terbatas dalam waktu yang tidak terbatas.sayathsayathi^\text{th}1 / 2saya1/2saya1/2^i Mengapa ini tidak mungkin? Apakah ada batasan …
1
Bagaimana mesin Turing universal mensimulasikan yang "lebih besar"?
Saya mencoba menemukan jawaban dari dua pertanyaan tentang mesin Universal Turing. Bagaimana mesin Universal Turing dapat mensimulasikan mesin Turing jika mesin yang disimulasikan memiliki jumlah status yang lebih besar? Bagaimana mesin Universal Turing dapat mensimulasikan mesin Turing jika mesin yang disimulasikan memiliki jumlah karakter alfabet yang lebih besar? Adakah yang …
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.