«unary-languages» etiketlenmiş sorular

Boşluk sorununun kararlaştırılamadığı en basit hesaplama modeli nedir? Hesaplamalı bir model için boşaltma problemi (örn. Sonlu durum otomatiği, alternatif aşağı itmeli otomat, sayıcılı sınırlı hata kuantum otomatı, deterministik LBA, vb.) boş. Burada makinenin açıklaması sonlu olmalıdır! "En basit" kelimesinin biraz belirsiz olduğunu biliyorum. Bazı benzersiz hesaplama modelleri için birden fazla …

12 computability  decidability  undecidability  unary-languages 

Tek yönlü alternatif basmalı otomata (1APDA), deki herhangi bir dili tanıyabilir (Chandra, Kozen ve Stockmeyer, 1981 ile dönüşüm) . Bir 1APDA'nın aşağı açılan depolamasını bir sayaçla değiştirerek, tek sayaçlı (1ACA) tek yönlü alternatif bir otomat elde edebiliriz. Benim sorum tek dilde 1ACA hakkında.DTIME(2O(n))DTIME(2O(n)) DTIME(2^{O(n)}) 1ACA'lar bazı normal olmayan dilleri tanıyabilir …

11 automata-theory  counter-automata  unary-languages