Запитання з тегом «unary-languages»

Яка найпростіша обчислювальна модель, для якої проблема порожнечі не вирішена? Проблема порожнечі для обчислювальної моделі (наприклад, автомат з кінцевим станом, змінний автоматичний віджимання, квантовий автомат з обмеженою помилкою з лічильником, детермінований LBA тощо) полягає у визначенні, чи для даної такої машини мова, визнана / визначена цією машиною пусто. Тут опис …

12 computability  decidability  undecidability  unary-languages 

Автомати, що чергуються з одночасним чергуванням (1APDA), можуть розпізнати будь-яку мову в (чергування Chandra, Kozen та Stockmeyer, 1981) . Замінивши накопичувач 1APDA на лічильник, ми можемо отримати односторонній змінний автомат з одноразовим лічильником (1ACA). Моє запитання щодо 1ACA на одинарних мовах.DTIME(2O(n))DTIME(2O(n)) DTIME(2^{O(n)}) Чи можуть 1ACA розпізнавати деякі нерівномірні нестандартні мови? …

11 automata-theory  counter-automata  unary-languages