«counter-automata» 태그된 질문

2dca (양방향 결정적 1 카운터 오토마타) (Petersen, 1994) 는 다음 단항 언어를 인식 할 수 있습니다. POWER={02n∣n≥0}.POWER={02n∣n≥0}.\begin{equation} \mathtt{POWER} = \lbrace 0^{2^n} \mid n \geq 0 \rbrace. \end{equation} 2dca에 의해 인식되는 다른 사소한 단항 언어가 있습니까? 2dca가 인식 할 수 있는지 여부는 여전히 알 수 없습니다 .SQUARE={0n2∣n≥0}SQUARE={0n2∣n≥0} \mathtt{SQUARE} = \lbrace 0^{n^2} …

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

다음 지침에 따라 표준 2 카운터 ( )를 가공 할 수 있습니다.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의 푸시 다운 스토리지를 카운터로 교체하면 단방향 교대 자동 장치를 1 카운터 (1ACA)로 얻을 수 있습니다. 제 질문은 단항 언어의 1ACA에 관한 것입니다.D T나는미디엄이자형( 2O ( n ))디티나는미디엄이자형(2영형(엔)) DTIME(2^{O(n)}) 1ACA가 일부 단항 …

11 automata-theory  counter-automata  unary-languages