Запитання з тегом «counter-automata»

2dca (двосторонні детерміновані одноконтрастні автомати) (Petersen, 1994) може розпізнати таку одинарну мову: П О Ш E R ={ 02н∣ n ≥ 0 } .ПОWЕR={02н∣н≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} Чи є інша нетривіальна одинарна мова, визнана 2dca? Зауважте, що досі невідомо, чи можуть 2dca розпізнати …

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

Чи може стандартна машина двох лічильників ( ) із наступними інструкціями: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 визначте наступну мову: L={n2∣n≥1}L={n2∣n≥1}L = \{ n^2 \mid n …

14 fl.formal-languages  counter-automata 

Автомати, що чергуються з одночасним чергуванням (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