스택으로 단어를 푸시 할 수있는 눈에 띄게 푸시 다운 오토마타 변형이 있습니까?

나는 눈에 띄게 푸시 다운 오토마타를 다루는 논문이나 연구가 있지만 단일 문자가 아닌 단어를 스택에 푸시 할 수 있는지 궁금합니다.

대안 적으로, 심볼이 전환에 푸시 될 수있게하는 구성 은 동일한 목표를 달성 할 수있다. $\epsilon$

분명히 그러한 변형이 형성 될 수는 있지만 VPA를 흥미롭게 만드는 폐쇄 및 결정 가능성 속성을 망칠 지 궁금합니다.

스택을 카운터로 사용하여 초기 심볼 읽기를 기반으로 상수로 증가시킨 다음 다른 심볼 읽기를 기준으로 카운트 다운하는 구성을 찾고 있습니다.

모르는 사람에게는 눈에 띄게 푸시 다운 오토마타는 알파벳을 푸시 기호, 팝 기호 및 스택에 전혀 영향을 미치지 않는 기호로 나눌 수있는 것입니다. 푸시와 팝핑의 선택은 현재 읽고있는 현재 심볼에 의해 결정됩니다. 교차로, 조합, 연결, 별표 및 보완으로 폐쇄되어 풍부한 결정 가능한 속성을 제공합니다. 자세한 내용은 이 백서 를 참조하십시오 .

— jmite
소스

명백한 질문은 그러한 오토마타가 "단어"를 일련의 상태로 변환 한 표준 푸시 다운 오토마타와 같은지 아닌가? 아팍 그렇지 않은 경우, 실패한 경우의 실례가 도움이 될 것입니다.

— vzn

@vzn 이들은 동일 할 수 없습니다. 이 PDA는 눈에 띄게 약한 것 같습니다. 내가 마지막으로 확인했을 때 CFL은 교차로에서 닫히지 않았습니다.

— Kai

R E G

$REG$

D C F L

$DCFL$

이 논문 dx.doi.org/10.1145/1516512.1516518 은 VPDA 의 문법 특성과 문법과 VPDA 간 변환을위한 구성을 제공합니다. 아마도 문법을 사용하여 전체 단어를 푸는 것을 시뮬레이션 할 수 있습니까?

— Evgenij Thorstensen

기호에서 단어를 밀어내는 것이 eps 전환을 누를 수있는 것과 같은 이유는 무엇입니까?

— domotorp

엡실론 푸시

엡실론 전환을 추진하는 버전의 경우 푸시 다운 오토마타의 보편성에 대한 결정 불가능한 증거를이 새로운 설정에 적용 할 수 있으므로 보완 중 폐쇄, 결정 성, 보편성의 결정 가능성 및 포함과 같은 특성을 최소한 잃게됩니다.

$M$ $A$

$A$

# C_{0} & C_{0} $ (\bar{C_{0}})^{R} # C_{1} & C_{1} $ (\bar{C_{1}})^{R} # C_{2} & C_{2} $ (\bar{C_{2}})^{R} \dots # C_{n} & C_{n} $ (\bar{C_{n}})^{R}

$\#C_0\&C_0\$(\overline{C_0})^R\#C_1\&C_1\$(\overline{C_1})^R\#C_2\&C_2\$(\overline{C_2})^R\dots\#C_n\&C_n\$(\overline{C_n})^R$

$C_i$ $M$
$C_0$ $C_n$
$u^R$ $u$
$\overline{u}$ $u$
$\#,\&,\$$ $M$
$C_i\to C_{i+1}$ $M$

$A$ $C_i^R$ $A$ $C_i$ $C_i$ $(\overline{C_i})^R$ $C_i\to C_{i+1}$ $C_i$ $C_{i+1}$ $(\overline{C_{i+1}})^R$ $C_j$ $(\overline{C_j})^R$

단어 밀기

$(S,R,u)$ $u\in A^*$ $a$ $(S,R,va)$ $(S',R',v)$ $S'$ $R'$

— 데니스
소스