Pertanyaan yang diberi tag «unary-languages»

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 

One-way alternating pushdown automata (1APDA) dapat mengenali bahasa apa pun di (Alternatif oleh Chandra, Kozen, dan Stockmeyer, 1981) . Dengan mengganti penyimpanan pushdown 1APDA dengan penghitung, kita bisa mendapatkan otomat bolak-balik satu arah dengan satu penghitung (1ACA). Pertanyaan saya adalah tentang 1ACA pada bahasa unary.D TsayaM.E( 2O ( n ))DTsayaM.E(2HAI(n)) …

11 automata-theory  counter-automata  unary-languages