«counter-automata» etiketlenmiş sorular

2dca'lar (iki yönlü deterministik tek sayaç otomata) (Petersen, 1994) aşağıdaki tek dili tanıyabilir: POWER={02n∣n≥0}.POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} 2dca's tarafından tanınan başka önemsiz tek dil var mı? 2dca'ların tanıyıp tanımadığı hala bilinmemektedir ?SQUARE={0n2∣n≥0}SQUARE={0n2∣n≥0} \mathtt{SQUARE} = \lbrace 0^{n^2} \mid n \geq 0 \rbrace TANIM: 2dca, …

17 fl.formal-languages  automata-theory  counter-automata 

Standart iki sayaç ( ) aşağıdaki talimatları uygulayabilir:c1, c2c1,c2c_1,c_2 1) ADD 1 to c_i, GOTO label_j 2) IF c_i = 0 GOTO label_j, OTHERWISE SUB 1 to c_i and GOTO label_k 3) GOTO label_j 4) HALT and ACCEPT|REJECT aşağıdaki dile karar verin: L = { n2∣ n ≥ 1 }L={n2∣n≥1}L …

14 fl.formal-languages  counter-automata 

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