Pertanyaan yang diberi tag «computability»

Diberi bahasa , tentukan panjang himpunan L sebagai himpunan panjang kata dalam L : L S ( L ) = { | kamu | ∣ u ∈ L }L.LLL.LLL.LLL S (L)={ | kamu | ∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Set bilangan bulat mana yang dapat menjadi set …

15 formal-languages  computability  regular-languages  finite-automata 

Bahasa seperti adalah bawah banyak-satu reduksi. Sangat sepele untuk melihat bahwa memiliki masalah. S. Schmitz [1] mempertimbangkan beberapa kelas antara dan . Mereka menghadirkan masalah lengkap untuk kelas-kelas ini di bawah pengurangan yang dibuat khusus.HALTTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} Apakah ada masalah lengkap untuk (alias ) relatif terhadap pengurangan yang lebih lemah? Pengurangan Turing …

14 computability  reductions  turing-completeness  recursion-theory 

Saya ingin tahu apakah masalah berikut ini dapat ditentukan: Instance: NFA A dengan n state Pertanyaan: Apakah ada beberapa bilangan prima p sehingga A menerima beberapa untaian panjang p. Keyakinan saya adalah bahwa masalah ini tidak dapat diputuskan, tetapi saya tidak dapat membuktikannya. Penentu dapat dengan mudah memiliki algoritma untuk …

14 computability  finite-automata 

Jika sebenarnya sama dengan , bagaimana hal ini akan meningkatkan algoritma kami menjadi faktor integer lebih cepat. Dengan kata lain, wawasan seperti apa yang akan diberikan fakta ini dalam memahami faktorisasi bilangan bulat lebih baik?PP{\sf P}N PNP{\sf NP}

14 complexity-theory  computability  np-complete  p-vs-np  factoring 

Aku bertanya-tanya bagaimana datang bahwa bahasa berikut ini di .RR\mathrm R LM1={⟨M2⟩∣∣M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}LM1={⟨M2⟩|M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and } L(M_1)=L(M_2), \text{ and } |\langle M_1\rangle| > | \langle M_2 \rangle| \Bigr\} (Saya tahu itu …

14 computability  undecidability 

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 

Saya sedang mencari masalah terbuka yang mudah dan menarik untuk dinyatakan dalam komputabilitas (dapat dimengerti oleh mahasiswa sarjana yang mengambil kursus pertama mereka dalam komputabilitas) untuk memberikan contoh masalah terbuka (dan jelas saya ingin para siswa dapat memahami masalah tanpa perlu terlalu banyak hal baru definisi dan juga menarik bagi …

14 computability 

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 bertanya-tanya apakah memutuskan masalah decidability adalah masalah decidable. Saya kira tidak, tetapi setelah pencarian awal saya tidak dapat menemukan literatur tentang masalah ini.

13 computability  undecidability  decision-problem 

Meminta saran Raphael tentang titik-temu dua NPDA : Biarkan dan A 2 masing-masing untuk bahasa bebas konteks L 1 dan L 2 . Dengan asumsi kita tahu bahwa L = L 1 ∩ L 2 bebas konteks, dapatkah kita (secara efektif) membuat NPDA A untuk L ?SEBUAH1SEBUAH1A_1SEBUAH2SEBUAH2A_2L1L1L_1L2L2L_2L = L1∩ L2L=L1∩L2L …

13 computability  automata  pushdown-automata 

Fungsi sibuk berang-berang max bergeser, S(n)S(n)S(n) , memiliki nilai yang diketahui untuk . Adakah alasan mendasar dan struktural mengapa kita tidak dapat menemukan untuk ? Apa perbedaan dari dari ? Atau ? Di suatu tempat di sepanjang jalan harus ada beberapa perbedaan mendasar, jika akan, pada prinsipnya, dihitung untuk semua …

13 computability  busy-beaver 

Saya agak baru, tetapi sangat tertarik pada bidang teori komputasi dan kompleksitas, dan saya ingin memperjelas pemahaman saya tentang bagaimana masalah kelas, dan seberapa kuat masalah terkait dengan mesin yang digunakan untuk menyelesaikannya. Pemahaman saya Standard Turing Machine - Mesin Turing yang memiliki alfabet terbatas, jumlah negara terbatas dan satu …

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

Saya membaca tentang nomor berang-berang yang sibuk dan bagaimana mereka tumbuh secara asimptotik lebih besar daripada fungsi yang dapat dihitung. Kenapa begitu? Apakah ini karena ketidaksesuaian fungsi berang-berang yang sibuk? Jika demikian, apakah semua fungsi yang tidak dapat dikomputasi tumbuh secara asimptotik lebih besar dari yang dapat dikomputasi? Edit: Jawaban …

13 computability  asymptotics 

The Pasang Correspondence Masalah (PCP) adalah diputuskan. The Versi dibatasi dari PCP adalah -Lengkap dan versi ditandai PCP (kata-kata salah satu dari dua daftar yang diperlukan untuk berbeda dalam huruf pertama) adalah di [1].N PNP\mathrm{NP}P S P A C EPSPSEBUAHCE\mathrm{PSPACE} Apakah versi terbatas ini digunakan untuk membuktikan beberapa kompleksitas hasil …

13 complexity-theory  computability  reference-request 

Jika kita memiliki program komputer sewenang-wenang yang dapat memodifikasi instruksinya, apakah mungkin untuk mensimulasikan program itu dengan program yang tidak dapat memodifikasi instruksinya? Edit: Saya baru mengenal stackexchange jadi tidak yakin apakah saya diperbolehkan mengajukan pertanyaan BARU di sini, tapi begini: Ok jadi buktinya mungkin sebenarnya sebenarnya sangat sederhana seperti …

12 computability  computation-models  turing-completeness  church-turing-thesis