Pertanyaan yang diberi tag unary-languages

Apa model komputasi paling sederhana yang masalah kekosongan tidak dapat diputuskan?

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,...

Bisakah automata bolak-balik satu arah dengan satu penghitung mengenali beberapa bahasa non-reguler yang tidak umum?

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...