푸시다운 오토마타
스택(stack)을 사용하여 문맥 자유 문법을 파싱하는 추상 기계입니다. LLM 추론 엔진에서 현재 생성 중인 토큰이 문법에 맞는지 실시간으로 검증하는 데 활용됩니다.