Tek sayaçlı tek yönlü alternatif otomatalar, bazı normal olmayan dilleri tanıyabilir mi?

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(2^{O(n)})$

1ACA'lar bazı normal olmayan dilleri tanıyabilir mi?

Tek yönlü belirsiz olmayan otomatik aşağı itme otomatalarının yalnızca normal olmayan dilleri tanıyabileceğini unutmayın.

$L = \{ a^n \mid n = 2^s, s \geq 0 \}$$L$$m$$2 m$$m$$L$$1$

$n = k_1^{s_1} \ldots k_r^{s_r}$$k_1, \ldots, k_r$$s_1, \ldots, s_r$