Pertanyaan yang diberi tag «computability»

Apakah ada mesin Turing yang menghentikan semua input tetapi properti itu tidak dapat dibuktikan karena alasan tertentu? Saya bertanya-tanya apakah pertanyaan ini telah dipelajari. Catatan, "tidak dapat dibuktikan" dapat berarti sistem bukti "terbatas" (yang dalam arti lemah berpikir jawabannya pasti ya). Saya tentu saja tertarik pada jawaban terkuat yang mungkin, …

17 computability  reference-request  turing-machines  halting-problem 

Bagaimana Anda memeriksa jika dua algoritma (katakanlah, Urutkan gabungan dan Urutkan naif) mengembalikan hasil yang sama untuk input apa pun, ketika set semua input tidak terbatas? Pembaruan: Terima kasih, Ben, karena telah menjelaskan bagaimana ini tidak mungkin dilakukan secara algoritmik dalam kasus umum. Jawaban Dave adalah ringkasan yang bagus dari …

17 computability  formal-methods  software-engineering  software-verification 

Operasi apa yang perlu dilakukan untuk melakukan perhitungan analog sewenang-wenang ? Apakah penambahan, pengurangan, penggandaan, dan pembagian cukup? Juga, apakah ada yang tahu persis masalah apa yang dapat ditelusuri menggunakan perhitungan analog, tetapi tidak dengan digital?

17 computability  computation-models  turing-completeness 

Aku pernah mendengar motto interaksi lebih kuat daripada algoritma dari Peter Wegner . Dasar dari ide ini adalah bahwa (klasik) Turing Machine tidak dapat menangani interaksi, yaitu, komunikasi (input / output) dengan dunia luar / lingkungan. Bagaimana ini bisa begitu? Bagaimana bisa sesuatu yang lebih kuat daripada Turing Machine? Apa …

17 computability  computation-models 

Aku ingin tahu apakah masalah berikut adalah decidable dan bagaimana untuk mencari tahu. Setiap masalah yang saya lihat saya dapat mengatakan "ya" atau "tidak" untuk itu, jadi apakah sebagian besar masalah dan algoritma dapat dipilih kecuali beberapa (yang disediakan di sini )? Input: Grafik berarah dan berhingga , dengan dan …

17 algorithms  computability  graph-theory  undecidability 

Diberikan bahasa dan , katakanlah bahwa gabungan tidak ambigu jika untuk semua kata , ada tepat satu dekomposisi dengan dan , dan ambigu sebaliknya. (Saya tidak tahu apakah ada istilah yang mapan untuk properti ini — hal yang sulit untuk dicari!) Sebagai contoh sepele, gabungan dari dengan dirinya sendiri adalah …

16 algorithms  formal-languages  computability  regular-languages  ambiguity 

Tidak ada solusi analitik umum untuk masalah n-body yang dapat menghasilkan fungsi analitik yang dapat digunakan untuk memberikan status sistem n-body pada waktu acak t dengan presisi yang tepat. Namun, ada beberapa kasus khusus dari sistem n-body yang fungsi analitiknya diketahui. Dalam banyak cara yang sama, tidak ada algoritma umum …

16 computability  turing-machines  undecidability  computation-models 

Masalah apakah dua automat pushdown mengenali bahasa yang sama tidak dapat diputuskan. Masalah apakah automat pushdown mengenali bahasa kosong dapat diputuskan, maka itu juga dapat memutuskan apakah ia mengenali bahasa yang terbatas. Tidak dapat diputuskan apakah bahasa yang diterima oleh otomat pushdown adalah biasa. Tapi ... ... apakah dapat diputuskan …

16 computability  undecidability  pushdown-automata 

Dalam pertanyaan ini kami hanya mempertimbangkan mesin Turing yang berhenti pada semua input. Jika k∈Nk∈Nk \in \mathbb{N} maka oleh kita menunjukkan mesin Turing yang kodenya adalah . kTkTkT_kkkk Pertimbangkan fungsi berikut s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y)=min{k∣|L(Tk)∩{x,y}|=1}s(x,y) = \min\{k \mid |L(T_k) \cap \{x,y\}| = 1\} Dengan kata lain, adalah kode dari mesin Turing terkecil yang …

16 computability  turing-machines 

Perhatikan bahwa ini adalah pertanyaan yang terkait dengan belajar di kursus CS di universitas, BUKAN pekerjaan rumah dan dapat ditemukan di sini di bawah ujian Musim Gugur 20112. Inilah dua pertanyaan yang saya lihat dari ujian sebelumnya. Mereka tampaknya terkait, yang pertama: Membiarkan F Aku N I TEC FG={<G> ∣ …

16 formal-languages  computability  context-free  regular-languages  turing-machines 

Mesin penghitung dengan dua atau lebih penghitung biasanya ditunjukkan setara dengan mesin Turing dalam kursus tentang teori perhitungan. Namun, saya belum melihat analisis formal yang bahasa dapat dikenali oleh mesin satu-counter. Apakah bahasa-bahasa ini setara dengan bahasa bebas konteks (mungkin oleh konstruksi cerdas yang mengaitkannya dengan PDA), atau apakah mereka …

15 computability  automata 

Dalam sebuah ceramah seorang profesor menyebutkan bahwa komputer modern tidak memiliki kekuatan komputasi sebanyak mesin Turing karena mereka tidak memiliki memori tak terbatas, dan karena tidak ada komputer yang dapat memiliki memori tak terbatas, mesin Turing karenanya tidak dapat dicapai dan hanya mewakili batas atas komputasi. Adakah ukuran, atau definisi …

15 computability 

Saya menggunakan komputer digital untuk menulis pesan ini. Mesin semacam itu memiliki properti yang, jika Anda pikirkan, sebenarnya sangat luar biasa: Ini adalah mesin yang, jika diprogram dengan tepat, dapat melakukan perhitungan yang memungkinkan . Tentu saja, mesin hitung dari satu jenis atau lainnya kembali ke jaman dahulu. Orang-orang telah …

15 computability  turing-machines  history 

Apakah ada properti yang tidak dapat ditentukan dari automata terbatas linier (menghindari trik bahasa set kosong)? Bagaimana dengan robot terbatas deterministik? (kesampingkan keras kepala). Saya ingin mendapatkan contoh (jika mungkin) dari masalah yang tidak dapat ditentukan yang didefinisikan tanpa menggunakan mesin Turing secara eksplisit. Apakah Turing kelengkapan model diperlukan untuk …

15 computability  automata  undecidability 

Suatu himpunan dapat dihitung jika ia memiliki bilangan bijih dengan bilangan asli, dan dapat dihitung (ce) jika ada algoritma yang menyebutkan anggotanya. Setiap himpunan enumerable komputabel yang tidak terbatas harus dihitung karena kita dapat membangun suatu penghitungan dari enumerasi. Adakah contoh himpunan yang dapat dihitung yang tidak dapat dihitung secara …

15 computability  semi-decidability