3rd week, Feb

[JLGGG]

Crafting Interpreters - 로버트 나이스트롬의 인터프리터 in Java, C

6장 표현식 파싱

Logs start

[JLGGG]

표현식 파싱:

파싱: 스캐너로부터 생성된 일련의 토큰을 구문 트리중 하나로 변환하는 과정.
모호함: 파서가 사용자의 코드를 잘못 이해하는 것. 우선 순위와 결합 법칙에 따라 구문 트리가 다르게 생성됨. 록스 언어에서는 C언어 규칙을 사용함.

재귀 하향 파싱: expressions부터 시작해 구문 트리 리프에 닿을 때까지 점점 중첩된 서브식 속으로 아래로 내려가며 파싱하는 top-down parser이다.

• 문자 대신 토큰을 리스트로 보관. current로 현재 토큰을 가리킴.

구문 에러:

• 파서가 에러를 발견하면 즉시 패닉 모드로 진입.
• 에러 발생 시 동기화 기법을 사용하여 계단식 에러를 일으키는 토큰을 버리고 다음 문장부터 다시 파싱을 진행하게 됨.

[yongdol503]

파싱

• 일련의 토큰을 문법의 터미널에 연결하여, 해당 문자열이 어떤 규칙으로 생성되었는지 찾는 과정
• 이를 통해 올바른 토큰 시퀸스인지 판단하고 구문트리를 만들거나 에러를 처리
• 해당 문자열을 만들 수 있는 규칙이 여러개인 경우, 파싱하기 모호해짐
  • 우선순위나 결합법칙을 이용해 모호성을 줄일 수 있음
• 재귀 하향파싱
  • 우선순위가 낮은 규칙(높은 곳)부터 우선순위가 높은 규칙(낮은 곳)순으로 토큰을 파싱하는 방법

구문에러

• 에러를 감지하여 인터프리터에 잘못된 구문트리를 전달하지 않도록 해야함
• 패닉 모드
  • 에러 감지시 패닉 모드로 진입하여, 파싱 가능한 부분이 나올때까지 토큰을 버리고 파싱을 이어나감
  • 이렇게 하면 사용자에게 최대한 많은 에러를 한번에 알려줄 수 있고, 고스트 에러를 줄일 수 있음

[mhlee0627]

6. 표현식 파싱

파서는 일련의 토큰이 주어지면 해당 토큰을 문법의 터미널에 매핑하여 어떤 규칙으로 그런 문자열이 생성됐을지 알아내는 과정이다.

파서가 하는 일

• 올바른 토큰 시퀀스가 주어지면, 그에 상응하는 구문 트리를 생성한다.
• 잘못된 토큰 시퀀스가 주어지면, 에러를 감지해 사용자에게 실수를 알린다.

jlox → 재귀하향(recursive descent) 파싱 선택, 문법 규칙을 명령형 코드로 직역한 것

패닉모드 에러복구

패닉모드 에러복구

파서가 에러를 발견하면 즉시 패닉 모드로 진입. 다시 파싱으로 복귀하기 전, 파서는 그다음 토큰이 파싱 규칙에 매치되도록 자신의 상태와 그다음 토큰을 정렬해야 한다. 이 과정을 동기화라고 한다.