없이 DPDAs 있습니까

결정 론적 푸시 다운 오토마타에 대한 공식적인 설명에서 이동 을 허용하는데 , 여기서 기계는 입력에서 심볼을 읽지 않고도 스택에 심볼을 팝하거나 푸시 할 수 있습니다. 이러한 이동이 허용되지 않고 각 기호를 읽은 후 스택을 한 번만 수정할 수있는 경우 결과 자동 마타는 DPDA의 전력과 동일합니까? $\epsilon$ $\epsilon$

내가의 파워 셋 사용에 관하여 실종 사소한 뭔가가있을 수 있습니다 새로 "압축"당신을 허용, 당신은 압축 할 수있는 방법과 유사한 그들없이 동등한 기계적으로 이동, DFA에의 이동. 이러한 전환이 DFA만큼 사소한 것 같지는 않으며 가능한지 확실하지 않습니다. $\Gamma$ $\Gamma$ $\epsilon$ $\epsilon$

두 권력이 동일합니까? DPDA가 움직임을 가지고 있다고 가정하고 더 복잡한 모델처럼 보이기 때문에 그 가정이 왜 존재하는지 궁금합니다. $\epsilon$

automata-theory context-free

— 필리 다
소스

괜찮아. 그렇다면 우리가

움직임을 가진 사람만을 연구하는 이유가 있습니까?

ϵ

$\epsilon$

— Phylliida

방금

을 실제로 인식 할 수 있다는 것을 깨달았습니다 . 수락 상태에서 시작한 다음 첫 번째

를 읽을 때 스택으로 &를 밀고 두 번째

를 읽을 때 스택에 #을 넣습니다. 그 후, 당신은 쓰기 다른 모든의 스택을 로 시작, 당신이 읽을 당신은 스택에 #을 누른 후 읽어 보시기 바랍니다.

L = {a^{2 n} b^{n}}

$L=\{a^{2n}b^n\}$

a

$a$

a

$a$

a

$a$

a

$a$

a

$a$

— Phylliida

그런 다음 홀수의

를 읽는 것을 알고있는 동안

를 읽으면 (정지 된 상태로 앉아 있음) 그렇지 않으면 다른 상태로 이동 하여 스택 에서

밉니다 . 당신은 모든이를 반복

읽기. 파싱하면서 결국 경우

, #은 대신의 스택의 상단에 , 온 상태를 받아 입력합니다. 그런 다음 더 많은 기호를 읽으면 거부 상태로 들어갑니다. 위에서 설명한 것과 다른 경우 거부 상태로 들어갑니다. 작동합니까?

b

$b$

a

$a$

a

$a$

b

$b$

b

$b$

a

$a$

— Phylliida

나에게 좋은 소리.

— 클라우스 드라 거

내가 틀렸다면 정정하되 동의합니다. 또한 입력 테이프에서 항상 오른쪽으로 이동하는 DPDA로

을 인식 할 수 있다고 생각합니다 (중지되지 않음). 유일한 까다로운 부분은 최종 상태에서 마무리하는 것입니다. DPDA에 대한 수용은 까다로울 수 있습니다.

{a^{2 n} b^{n}}

$\{ a^{2n}b^{n} \}$

— Michael Wehar

아마도 다음과 같은 관련 정보를 찾았습니다.

Jean-Michel Autebert, Jean Berstel, Luc Boasson; 문맥없는 언어 및 푸시 다운 오토마타; 공식 언어 핸드북; 1997, pp 111-174

없이 DPDAs -transitions가로 알려져 있습니다 실시간 결정 푸시 다운 오토마타 . $\epsilon$

예를 들어 DPDA보다 강력하지 않습니다.

$L = \{ a^n b^p c a^n \mid p,n > 0\} \cup \{ a^nb^pdb^p\mid p,n > 0 \}$

is deterministic and can be recognized by a DPDA, but cannot be recognized by any realtime DPDA.

What you can do is eliminate increasing $\epsilon$ -transitions:

Proposition 5.4: For any DPDA it is possible to construct a DPDA recognizing the same language such that any $\epsilon$ -rule is decreasing.

— Marzio De Biasi
소스

정말 고마워요! 그래서 이것은 내 질문의 첫 번째 부분에 답합니다. 두 번째 부분은-우리는 왜 이것을 연구하지 않습니까? 모두 비 실시간에 초점을 맞추고있는 것 같습니다.

— Phylliida

@DanielleEnsign : 인터넷 검색을 통해 RDPDA에 대한 일부 결과를 찾을 수 있습니다. 예를 들어 동등성 문제는 결정 가능 합니다. 그러나 나는 당신에게 동의합니다, 그들은 많은 관심을 끌지 않았습니다.

— Marzio De Biasi