Pertanyaan yang diberi tag «turing-machines»

Saya sedang melakukan presentasi tentang mesin Turing dan saya ingin memberikan latar belakang tentang FSM sebelum memperkenalkan Mesin Turing. Masalahnya adalah, saya benar-benar tidak tahu apa yang SANGAT berbeda satu sama lain. Inilah yang saya tahu berbeda: FSM memiliki status berurutan tergantung pada kondisi terkait yang dipenuhi sementara mesin Turing …

27 terminology  turing-machines  finite-automata  machine-models 

Baru-baru ini di kelas CS saya, saya diperkenalkan dengan Mesin Turing. Setelah kelas, saya menghabiskan lebih dari 2 jam mencoba mencari tahu apa hubungan antara kaset dan mesin. Saya sama sekali tidak menyadari keberadaan kaset komputer atau bagaimana kaset dan mesin berinteraksi sampai hari ini. Saya masih tidak dapat melihat …

27 turing-machines  computation-models 

Saya seorang insinyur listrik, dan hanya memiliki satu kursus CS di perguruan tinggi 26 tahun yang lalu. Namun, saya juga pengguna setia Mathematica. Saya merasa bahwa Mesin Turing sangat penting dalam ilmu komputer. Apakah kepentingannya hanya dalam teori ilmu komputer? Jika ada implikasi / aplikasi praktis, apa sajakah dari mereka?

27 turing-machines 

Dengan hanya mempertimbangkan alfabet , string yang dapat diberikan sebagai input ke mesin Turing berasal dari himpunan Σ ∗ . Tetapi apakah masuk akal untuk input menjadi string biner yang tak terbatas? Sebagai contoh jika mesin Turing menerima semua string dimulai dengan 0, apakah string biner nol tak terbatas juga …

26 turing-machines 

Saya mengalami kesulitan memahami bukti tentang keraguan atas Masalah yang Menghambat. Jika kembali apakah program yang perhentian pada input b , mengapa kita harus melewati kode P untuk kedua a dan b ?H(a,b)H(a,b)H(a,b)aaabbbPPPaaabbb Mengapa kita tidak bisa memberi makan dengan P dan beberapa input sewenang-wenang, katakanlah, x ?H()H()H()PPPxxx

25 computability  turing-machines 

Pertanyaan ini dimigrasikan dari Theoretical Computer Science Stack Exchange karena dapat dijawab di Computer Science Stack Exchange. Bermigrasi 6 tahun yang lalu . Saya telah menemukan banyak definisi bahasa recursive dan recumerif enumerable. Tapi saya tidak bisa mengerti apa itu. Bisakah seseorang tolong beri tahu saya apa kata-kata sederhana itu?

24 formal-languages  computability  turing-machines 

Logika konstruktivis adalah sistem yang menghilangkan Hukum Tengah yang Dikecualikan, serta Negasi Ganda, sebagai aksioma. Ini dijelaskan di Wikipedia di sini dan di sini . Secara khusus, sistem tidak memungkinkan pembuktian dengan kontradiksi. Saya bertanya-tanya, apakah ada yang akrab dengan bagaimana ini mempengaruhi hasil mengenai Mesin Turing dan bahasa formal? …

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

Di kelas minggu lalu, profesor saya berkomentar dan mengatakan bahwa mesin Turing digunakan sebagai ukuran / model standar dari apa yang dapat dihitung dan merupakan dasar diskusi yang bermanfaat untuk subjek itu. Dia juga mengatakan bahwa semua varian mesin Turing terbukti setara secara komputasi - baca, sama kuat - satu …

24 turing-machines  quantum-computing 

Mungkin pemahaman saya yang terbatas tentang subjek ini tidak benar, tetapi sejauh ini yang saya mengerti: Pemrograman fungsional didasarkan dari Lambda Calculus, yang dirumuskan oleh Gereja Alonzo. Pemrograman imperatif didasarkan pada model mesin Turing, yang dibuat oleh Alan Turing, siswa Gereja. Kalkulus Lambda sama kuat dan mampu dengan Mesin Turing, …

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness 

Mesin Turing yang kembali ke keadaan sebelumnya dengan kepala baca / tulis pada sel yang sama dari rekaman yang sama akan ditangkap dalam satu lingkaran. Mesin seperti itu tidak berhenti. Bisakah seseorang memberi contoh mesin yang tidak pernah berhenti yang tidak berputar?

22 computability  turing-machines  halting-problem 

Saya baru-baru ini mendengar analogi yang menarik yang menyatakan bahwa bukti Turing tentang ketidakpastian masalah penghentian sangat mirip dengan paradoks tukang cukur Russell. Jadi saya bertanya-tanya: matematikawan akhirnya berhasil membuat teori himpunan konsisten dengan beralih dari formulasi naif Cantor di lapangan ke sistem aksioma yang lebih kompleks (teori himpunan ZFC), …

21 computability  turing-machines  computation-models  halting-problem 

Saya mencari contoh masalah yang memiliki batas bawah ) untuk input .Ω(|x|2Ω(|x|2\Omega(|x|^2xxx Masalahnya perlu memiliki properti berikut: Ω(n2)Ω(n2)\Omega(n^2) bukti runtime untuk algoritma apa pun - prioritas pertama adalah memiliki sesederhana mungkin argumen batas bawah. O(n2)O(n2)O(n^2)Algoritma , jika memungkinkan, juga sederhana. Ukuran keluaran (atau lebih kecil). Jelas setiap masalah yang membutuhkan …

19 complexity-theory  turing-machines  time-complexity  lower-bounds 

Menurut artikel Wikipedia ini , tata bahasa tidak terbatas setara dengan mesin Turing. Artikel tersebut mencatat bahwa saya dapat mengubah mesin Turing apa pun menjadi tata bahasa yang tidak dibatasi, tetapi hanya menunjukkan cara mengubah tata bahasa menjadi mesin Turing. Bagaimana saya melakukan itu dan mengubah mesin Turing yang mengenali …

19 formal-grammars  turing-machines  simulation 

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 

Definisi utama Turing machine (TM), setidaknya dalam buku referensi saya sendiri (Hopcroft + Ullman 1979) adalah deterministik. Oleh karena itu pemahaman saya sendiri tentang masalah penghentian terutama untuk TM deterministik, meskipun saya sadar bahwa itu dapat dipertimbangkan untuk jenis automata lainnya. Saya juga memperhatikan bahwa determinisme sering kurang lebih tersirat …

18 turing-machines  automata  nondeterminism  halting-problem  linear-bounded-automata