Pertanyaan yang diberi tag «turing-machines»

Saya mulai membaca buku tentang Kompleksitas Komputasi dan Mesin Turing. Berikut ini kutipannya: Algoritma (yaitu, mesin) dapat direpresentasikan sebagai string bit setelah kami memutuskan beberapa pengkodean kanonik. Pernyataan ini diberikan sebagai fakta sederhana, tetapi saya tidak bisa memahaminya. Misalnya, jika saya memiliki algoritma yang mengambil sebagai input dan menghitung atau:( …

17 algorithms  turing-machines  computability  computation-models 

Ada banyak (dan maksud saya banyak) bahasa yang dapat dihitung yang dapat didekati oleh Turing. Bisakah bahasa yang tak terhitung dapat menjadi pilihan Turing?

17 formal-languages  turing-machines  regular-languages  church-turing-thesis 

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 

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 

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 

Biarkan menjadi fungsi tetap yang dapat dibangun-waktu.fff Hasil simulasi universal klasik untuk TMs (Hennie dan Stearns, 1966) menyatakan bahwa ada dua-tape TM sedemikian rupa sehingga diberikanUUU deskripsi dari TM , dan⟨M⟩⟨M⟩\langle M \rangle string input ,xxx dijalankan untuk langkah dan mengembalikan jawaban M pada x . Dan g dapat dianggap …

16 complexity-theory  reference-request  turing-machines  machine-models  simulation 

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 

Ada ruangwaktu relativistik (mis. Ruangwaktu MH; lihat Hogarth 1994) di mana garis dunia durasi tak terbatas dapat dimuat di masa lalu dari pengamat terbatas. Ini berarti bahwa pengamat normal dapat memiliki akses ke langkah perhitungan jumlah yang tak terbatas. Dengan asumsi itu mungkin bagi komputer untuk berfungsi dengan sempurna untuk …

15 turing-machines  halting-problem  church-turing-thesis  hypercomputation 

Seseorang dalam sebuah diskusi mengemukakan bahwa (dia menganggap) setidaknya ada sejumlah kontinum strategi untuk mendekati masalah tertentu. Masalah spesifiknya adalah strategi perdagangan (bukan algoritma tetapi strategi) tapi saya pikir itulah inti pertanyaan saya. Ini membuat saya berpikir tentang kardinalitas himpunan algoritma. Saya telah mencari-cari sedikit tetapi tidak menemukan apa-apa. Saya …

15 algorithms  turing-machines  combinatorics 

Algoritma catur saat ini berjalan sekitar 1 atau mungkin 2 level di pohon jalur yang mungkin tergantung pada gerakan pemain dan gerakan lawan. Katakanlah kita memiliki kekuatan komputasi untuk mengembangkan algoritma yang memprediksi semua kemungkinan pergerakan lawan dalam permainan catur. Algoritma yang memiliki semua jalur yang memungkinkan yang dapat diambil …

15 algorithms  turing-machines 

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 

Saya tahu bahwa gerbang NAND dapat digunakan untuk membuat sirkuit yang menerapkan setiap tabel kebenaran, dan komputer modern dibangun dari gerbang NAND. Apa hubungan teoritis antara gerbang NAND dan kelengkapan Turing? Sepertinya saya bahwa sirkuit gerbang NAND lebih dekat ke automata terbatas daripada mesin Turing. Intuisi saya adalah saya dapat …

14 turing-machines  turing-completeness  digital-circuits 

Saya memiliki pertanyaan-pertanyaan ini dari ujian lama yang saya coba selesaikan. Untuk setiap masalah, input adalah encoding dari beberapa Turing mesin .MMM Untuk bilangan bulat , dan tiga masalah berikut:c>1c>1c>1 Benarkah bahwa untuk setiap input , M tidak lulus posisi saat dijalankan pada ?xxx|x|+c|x|+c|x|+cxxx Benarkah bahwa untuk setiap input , …

14 computability  turing-machines  undecidability 

Banyak masalah "terkenal" tidak dapat diputuskan setidaknya dapat diputuskan, dengan komplemen mereka tidak dapat diputuskan. Salah satu contoh di atas semua bisa menjadi masalah penghentian dan pelengkapnya. Namun, adakah yang bisa memberi saya contoh di mana masalah dan komplemennya tidak dapat ditentukan dan tidak dapat ditentukan? Saya berpikir tentang bahasa …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

Saya mencoba memahami keberadaan bahasa yang tidak dikenali. Untuk mendapatkan ini, saya perlu tahu mengapa mesin Turing hanya mengenali satu bahasa, bukan beberapa. Kenapa ini?

13 turing-machines  computation-models