Pertanyaan yang diberi tag «turing-machines»

Biarkan string input diberikan sebagai . Kemudian jika NFA saat ini dalam keadaan r (dan telah membaca input hingga alfabet w i ) maka sebelum membaca simbol input berikutnya NFA terbagi menjadi dua NFA, satu berada di keadaan r dan yang lainnya di s , jika ada transisi dari tipe …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

Saya ingat dari kelas sarjana bahwa untuk Mesin Turing dengan kaset berhingga akan selalu ada Finite State Automata yang sesuai, tetapi saya tidak dapat menemukan ini dikonfirmasi di mana pun di internet. Apakah ini yang sebenarnya terjadi atau saya salah mengingat?

9 turing-machines  finite-automata 

Fungsi Boolean adalah fungsi .f: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\} Boolean basis dikenal sebagai Turing selesai karena memungkinkan urutan s ∈ { 0 , 1 } dibalik atau dibiarkan tidak berubah. Hal yang sama dapat dikatakan untuk gerbang X O R.( ∨ , ∧ )(∨,∧)(\vee,\wedge)s …

9 turing-machines  turing-completeness  boolean-algebra 

Dalam pertanyaan sebelumnya Apa sebenarnya algoritma itu? , Saya bertanya apakah memiliki "algoritma" yang mengembalikan nilai fungsi berdasarkan array nilai yang dihitung adalah algoritma. Salah satu jawaban yang menarik perhatian saya adalah yang ini: Contoh faktorial masuk ke model perhitungan yang berbeda, yang disebut perhitungan tidak seragam. Mesin Turing adalah …

9 turing-machines  computation-models 

Di perguruan tinggi kami telah belajar tentang teori komputasi secara umum dan mesin Turing lebih khusus. Salah satu hasil teoretis yang hebat adalah bahwa dengan mengorbankan alfabet (simbol) yang berpotensi besar, Anda dapat mengurangi jumlah status menjadi hanya 2. Saya mencari contoh Mesin Turing yang berbeda dan contoh umum yang …

9 turing-machines  context-free  parsers 

Membaca pertanyaan ini, " Masalah RE yang tidak dapat dipastikan tetapi tidak menyelesaikan Turing ", bahasa berikut muncul di benak saya: Jika adalah fungsi berang-berang yang sibuk (skor maksimum yang dapat dicapai di antara semua penghentian 2-simbol n-state mesin Turing dari tipe yang dijelaskan di atas, ketika dimulai pada pita …

9 computability  turing-machines 

Mengapa angka yang dapat dihitung (dalam arti Turing) dapat dihitung? Pasti sangat jelas, tetapi saya saat ini tidak melihatnya.

9 computability  turing-machines  enumeration 

Apakah Mesin Turing yang diizinkan untuk membaca dan menulis simbol dari alfabet tak terbatas lebih kuat daripada TM biasa (itulah satu-satunya perbedaan, mesin masih memiliki sejumlah negara terbatas)? Intuisi tidak memberi tahu saya, karena Anda memerlukan jumlah negara tak terbatas untuk membedakan setiap simbol. Jadi saya pikir beberapa simbol atau …

9 computability  turing-machines  reductions  simulation 

Saya ingin menggunakan bantuan Anda dengan masalah berikut: L = { ⟨ M⟩ ∣ L ( M) bebas konteks }L={⟨M⟩∣L(M) is context-free}L=\{⟨M⟩ ∣ L(M) \mbox{ is context-free} \} . Tunjukkan bahwa .L ∉ R E∪ Co R EL∉RE∪CoREL \notin RE \cup CoRE Saya tahu bahwa untuk membuktikan , cukup untuk …

9 formal-languages  computability  context-free  turing-machines 

Pada 1950-an sejumlah metode untuk meminimalkan sirkuit untuk fungsi Boolean telah ditemukan. Apakah ada perluasan dari metode tersebut atau yang serupa untuk mengoptimalkan kompleksitas waktu atau ruang dari algoritma? Misalnya implementasi bubble sort sebagai input untuk algoritma seperti itu akan menghasilkan implementasi algoritma sorting dengan kompleksitas waktu yang lebih dekat …

9 algorithms  turing-machines  time-complexity  optimization  space-complexity 

Pertama-tama, saya minta maaf jika ini ditanyakan, tetapi saya benar-benar tidak menemukan apa pun. Saya menemukan artikel ini . Dikatakan bahwa ada masalah yang hanya bisa diselesaikan oleh Komputer Quantum. Dalam pemahaman saya, ini harus berarti, secara intuitif, bahwa masalah ini "dapat dihitung secara efektif", karena kita memiliki metode yang …

8 turing-machines  quantum-computing  church-turing-thesis 

Selama beberapa tahun terakhir, saya membangun sebuah komputer mekanik yang ditenagai oleh kelereng dan membuat game darinya. Ini mirip dengan Digi-Comp II yang lama, kecuali untuk dua perbedaan utama: Bagian dapat diposisikan di papan tulis. Anda dapat menghubungkan banyak 'bit' secara bersamaan menggunakan roda gigi. Ketika salah satu dari bit-bit …

8 complexity-theory  turing-machines  computer-architecture  computation-models 

Kami baru saja selesai kami "Waktu Konstruksi gedung" pelajaran di kelas minggu lalu, dan kami, demi contoh ini, menunjukkan bahwa sepenuhnya waktu constructible, yaitu terdapat (multi-tape deterministik) mesin Turing bahwa untuk diberikan, berhenti setelah tepat langkah, dan hanya bertanya apakah kita sekarang bisa membuktikan bahwasepenuhnya dapat dibangun (dan dipindahkan).nk,2nnk,2nn^k, 2^nnnnf(n)f(n)f(n)n!n!n! …

8 complexity-theory  turing-machines  time-complexity 

Saya ingin menentukan apakah masalah keputusan ini dapat diputuskan. Saya telah mencoba membuat reduksi dari Halt dan "Terima string kosong", tetapi saya belum menemukan solusi. Adakah yang bisa membantu saya?

8 computability  turing-machines  undecidability 

Sebagai contoh, kita dapat mengatakan bahwa kita memiliki program abstrak yang, diberi string biner terbatas sebagai input, menghapus semua nol (yaitu 0010001101011 dievaluasi menjadi 111111), yang jelas merupakan fungsi yang dapat dihitung oleh Turing. Bagaimana sistem tag siklik menghitung ini (yang dapat, menurut definisi itu menjadi Turing-lengkap) ketika hanya berhenti …

8 computability  turing-machines