Pertanyaan yang diberi tag «decidability»

Saya sedang mempersiapkan ceramah yang ditujukan untuk jurusan matematika sarjana, dan sebagai bagian dari itu, saya sedang mempertimbangkan untuk membahas konsep decidability. Saya ingin memberikan contoh masalah yang saat ini tidak kita ketahui tidak dapat ditentukan atau tidak dapat ditentukan. Ada banyak masalah seperti itu, tetapi sejauh ini tidak ada …

92 computability  decidability 

Jika seseorang membatasi Mesin Turing ke pita hingga (yaitu, untuk menggunakan ruang terbatas ), maka masalah penghentian dapat ditentukan, pada dasarnya karena setelah sejumlah langkah (yang dapat dihitung dari jumlah negara , dan , dan ukuran alfabet), konfigurasi harus diulang.SSSQQQSSS Apakah ada pembatasan Turing Machine alami lainnya yang membuat halting …

33 turing-machines  decidability 

Saya tahu bahwa itu tidak dapat diputuskan untuk menentukan apakah satu set ubin dapat ubin pesawat, hasil dari Berger menggunakan ubin Wang . Pertanyaan saya adalah apakah diketahui juga tidak dapat diputuskan untuk menentukan apakah ubin tunggal yang diberikan dapat ubin pesawat, ubin monohedral . Jika ini tetap tidak pasti, …

24 reference-request  co.combinatorics  decidability  undecidability 

Sudah diketahui bahwa masalah kesetaraan tidak dapat diputuskan untuk bahasa bebas konteks umum. Namun, semua bukti dari fakta ini yang saya sadari tampaknya melibatkan beberapa tata bahasa bebas konteks yang ambigu. Untuk alasan ini, saya ingin bertanya apakah diketahui apakah masalahnya tetap tidak dapat diputuskan saat membatasi diri ke bahasa …

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

Saya tertarik pada masalah berikut: diberikan matriks bilangan bulat memutuskan apakah setiap produk tak terbatas dari matriks ini akhirnya sama dengan nol matriks.A1,A2,…,AkA1,A2,…,AkA_1,A_2, \ldots, A_k Ini berarti persis seperti yang Anda pikirkan: kami akan mengatakan serangkaian matriks memiliki properti yang semua produknya akhirnya sama dengan nol jika tidak ada urutan …

19 linear-algebra  decidability 

Ini adalah hasil yang terkenal dari pertanyaan itu Apakah tata bahasa bebas konteks menghasilkan bahasa reguler? tidak dapat ditentukan. Namun, itu menjadi decidable pada alfabet unary, hanya karena dalam kasus ini, kelas bahasa bebas konteks dan reguler bertepatan. Pertanyaan saya adalah untuk mengetahui apa yang terjadi pada bahasa yang peka …

18 fl.formal-languages  decidability 

Saya mencoba untuk memecahkan masalah tertentu, dan saya pikir saya mungkin bisa menyelesaikannya dengan menggunakan teori automata. Saya bertanya-tanya, model automata apa yang memiliki penahanan yang dapat ditentukan dalam waktu polinomial? yaitu jika Anda memiliki mesin Anda dapat menguji apakah efisien.M1,M2M1,M2M_1, M_2L ( M1) ⊆ L ( M2)L(M.1)⊆L(M.2)L(M_1) \subseteq L(M_2) …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

Saya tahu itu tidak mungkin untuk memutuskan equivalence untuk kalkulus lambda yang tidak diketik. Mengutip Barendregt, HP The Lambda Calculus: Sintaks dan Semantiknya. Holland Utara, Amsterdam (1984). :ββ\beta Jika A dan B terpisah, seperangkat istilah lambda yang ditutup berdasarkan kesetaraan, maka A dan B tidak dapat dipisahkan secara rekursif. Oleh …

18 lo.logic  computability  lambda-calculus  normalization  decidability 

Apa model komputasi paling sederhana yang masalah kekosongan tidak dapat diputuskan? Masalah kekosongan untuk model komputasi (misalnya otomat keadaan terbatas, otomat pushdown bergantian, otomat kuantum kesalahan-terikat dengan penghitung, LBA deterministik, dll.) Adalah untuk menentukan apakah, untuk mesin seperti itu, bahasa yang dikenali / ditentukan oleh mesin ini kosong. Di sini …

12 computability  decidability  undecidability  unary-languages 

Apa batas yang diketahui dari kesesuaian perbandingan tingkat pertumbuhan fungsi dari ? Saya di sini memikirkan kepantasan pertanyaan seperti "Apakah x x ∼ 2 ⌊ x lg ( x + 2 ) ⌋ ?" atau "Apakah 2 lg ∗ x ∈ O ( lg lg x ) ?".N→NN→N\mathbb{N} \to \mathbb{N}xx∼2⌊xlg(x+2)⌋xx∼2⌊xlg⁡(x+2)⌋x^x …

12 decidability  asymptotics 

Sistem Penambahan Vektor (VAS) adalah seperangkat tindakan terbatas . adalah himpunan tanda . Sebuah menjalankan adalah kata non-kosong tanda st . Jika ada kata seperti itu, kami katakan bahwa dapat dijangkau dari .N dA⊂ZdA⊂ZdA \subset \mathbb{Z}^dNdNd\mathbb{N}^d ∀ i ∈ { 0 , … , n - 1 } , m …

11 fl.formal-languages  decidability 

Jawab: tidak dikenal Terima kasih banyak untuk semua yang membantu memperbaiki pertanyaan ini dan definisi yang terkait dengannya. Definisi wiki ini memberikan titik awal untuk wiki TCS yang lebih baru " Apakah P berisi bahasa yang keberadaannya tidak bergantung pada PA atau ZFC? (Wiki komunitas TCS) ". Wiki yang lebih …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

The Robertson-Seymour teorema mengatakan bahwa setiap keluarga kecil-tertutup grafik dapat dicirikan oleh finitely banyak anak di bawah umur dilarang.GG\mathcal G Apakah ada algoritma yang untuk input GG\mathcal G menghasilkan anak di bawah umur terlarang atau apakah ini tidak dapat diputuskan? Jelas, jawabannya mungkin tergantung pada bagaimana GG\mathcal G dijelaskan dalam …

9 graph-theory  decidability  graph-minor 

Pertimbangkan tata bahasa bebas konteks sembarang atas alfabet { 0 , 1 , ¯ 0 , ¯ 1 } . Untuk produksi tata bahasa ini, tambahkan dua produksi tetap non-konteks-bebas P : ¯ 0 0 → ϵ dan ¯ 1 1 → ϵ . Panggil dihasilkan tata bahasa G P …

9 context-free  decidability 

Ada masalah yang dapat diputuskan, ada beberapa yang tidak dapat diputuskan, ada yang dapat diputuskan, dll. Dalam hal ini saya bertanya-tanya apakah masalah dapat menjadi meta-diputuskan. Ini berarti (setidaknya di kepala saya) kita tidak bisa mengatakan apakah itu dapat ditentukan atau tidak. Mungkin diketahui bahwa decidability tidak dapat ditentukan (semuanya …

9 computability  decidability  undecidability