[컴파일러] - LR Parsing
CS/컴파일러구성론
2024. 1. 25. 20:47
CFG → DFA $S::= aABe$ $A::= Abc|b$ $B::=d$ DFA Rescanning을 피하는 법 LR Parse는 Action 테이블과 Goto 테이블로 나뉜다. Action Table 각 행은 파서의 상태를 나타냄 각 열은 입력 기호를 나타냄 각 셀은 해당 상태에서 특정 입력 기호를 만났을 때 수행할 동작을 나타냄 Shift → 스택에 다음 입력 기호를 푸시하고 상태를 변경 Reduce → 스택에서 규칙에 해당하는 기호들을 팝하고 새로운 기호로 교체 Accept → 입력이 정확히 일치해 문장이 파싱되었음을 나타냄 Error → 문법 오류 Goto Table 각 행은 파서의 현재 상태를 나타냄 각 열은 규칙의 왼쪽 항목(non-terminal)을 나타냄 각 셀은 해당 상태에서 특정 규..