Pertanyaan yang diberi tag «turing-machines»

Untuk merayakan ulang tahun Alan Turing, Google menerbitkan doodle yang menunjukkan mesin. Mesin seperti apa doodle itu? Bisakah itu mengekspresikan bahasa Lengkap Turing? Ada perbedaan yang jelas dengan mesin turing klasik: pita terbatas, kendala dalam bagaimana negara dapat dihubungkan, ... Orat-oret masih tersedia di sini (Tampilan di kanan atas menunjukkan …

10 cc.complexity-theory  turing-machines 

Saya seorang mahasiswa master yang berfokus pada sistem terdistribusi tetapi juga tertarik pada ilmu komputer teoretis. Saya bertanya-tanya apakah ada representasi formal dari sistem terdistribusi di atas mesin turing? Artinya, apakah mungkin untuk memperluas (membuat varian) konsep mesin turing untuk mengambil keuntungan dari komputasi terdistribusi? Satu ide, adalah membuat rekaman …

10 turing-machines  dc.distributed-comp 

Saya bermain dengan pertanyaan yang sangat menarik dan masih terbuka " Alfabet mesin Turing single-tape " (oleh Emanuele Viola) dan muncul dengan bahasa berikut: L={x∈{0,1}n s.t. |x|=n=2m and count1(x)=k∗m;n,m,k≥1}L={x∈{0,1}n s.t. |x|=n=2m and count1(x)=k∗m;n,m,k≥1}L = \{ x \in \{0,1\}^n \text{ s.t. } |x| = n = 2^m \text{ and } count1(x) …

10 cc.complexity-theory  turing-machines  time-complexity 

Sebagian besar literatur tampaknya berkaitan dengan mesin dengan nubuat tunggal untuk masalah tertentu, namun tampaknya ada beberapa makalah yang menganggap mesin dengan banyak nubuat. Apakah ada makalah atau tesis yang bagus yang memberikan gambaran umum tentang apa yang diketahui tentang mesin seperti itu? Secara khusus saya tertarik pada P dengan …

10 oracles  turing-machines 

Untuk sementara saya ingin tahu tentang Mesin Turing dengan tepat satu pita dan tepat 3 status (yaitu status awal , status terima , dan status tolak ). Perhatikan bahwa saya membolehkan abjad pita yang terbatas (terbatas) (yaitu, alfabet pita tidak terbatas sama dengan alfabet masukan).q a c c e p …

9 automata-theory  turing-machines  cellular-automata 

Apakah automata linear terikat kunjungan terbatas terikat hanya mengenali bahasa biasa? Dengan otomaton linear terikat nondeterministik (nLBA) yang saya maksud adalah mesin Turing nondeterministik single-tape di mana input datang "empuk" dengan endmarker di kedua ujungnya yang tidak pernah dapat ditimpa, dan agar kepala tidak pernah bisa keluar dari daerah input, …

9 automata-theory  turing-machines  regular-language  space-bounded 

Saya punya pertanyaan naif: apakah ada mesin Turing yang pemutusannya benar tetapi tidak dapat dibuktikan oleh teori yang alami, konsisten, dan tidak aksiomatis? Saya meminta bukti keberadaan belaka daripada contoh khusus. Ini mungkin memiliki beberapa hubungan dengan analisis ordinal . Memang, untuk mesin Turing , kita dapat mendefinisikan sebagai teori …

9 turing-machines  proof-theory  halting-problem 

Saya mencari untuk menulis survei tentang metode yang mewakili dinamika perhitungan berbasis negara dalam kerangka kerja coalgebras. Sejauh ini saya sudah berhasil menemukan makalah tentang representasi coalgebra DFA, NFA, mesin Mealy, mesin Moore, tata bahasa bebas konteks, dan bahkan sistem kuantum sederhana. Saya belum menemukan sumber yang bagus untuk merepresentasikan …

9 automata-theory  turing-machines  algebra  automated-theorem-proving 

Apakah ada generalisasi game GO yang dikenal sebagai Turing lengkap? Jika tidak, apakah Anda memiliki beberapa saran tentang aturan (generalisasi) yang masuk akal yang dapat digunakan untuk mencoba membuktikan bahwa itu Turing lengkap? Yang jelas adalah bahwa permainan harus dimainkan di papan infinite (kuadran positif). Tapi bagaimana dengan bermain di …

8 computability  turing-machines