들소 - 결과는 무엇입니까?

Question

나는 바이슨을 사용하여 파서 LALR을 얻는다는 것을 알고 있지만,이 파서는 결정 론적 유한 오토 마트 (stackistic deterministic finite automata)라고 말하는 것은 사실입니까?

Answer 1

아니요, 들소의 결과는 deterministic pushdown automaton, 이 아니며 유한 오토 마톤입니다. 이것은 완전히 다른 클래스의 자동화입니다.

물론 물리적 인 컴퓨터에서 실행되기 때문에 무한한 스택 공간을 허용하지 않는 유한 한 제한이 있지만 이론적 인 구성으로서 유한 오토마타와는 완전히 다릅니다. DPDA를 어느 정도 DFA와 무한 스택에 '그냥'묘사 할 수는 있지만 그 점을 정말로 놓치고 있습니다.