파서를 코딩하는 쉬운 방법을 원하거나 공간이 부족한 경우 재귀 하강 파서를 직접 코딩해야합니다. 이들은 본질적으로 LL (1) 파서입니다. 이것은 Basic처럼 "단순"한 언어에 특히 효과적입니다. (나는 70 년대에이 중 몇 가지를했다!). 좋은 소식은 라이브러리 코드가 포함되어 있지 않다는 것입니다. 당신이 쓰는 그대로.
이미 문법이 있다면 코딩하기가 매우 쉽습니다. 먼저 왼쪽 재귀 규칙을 제거해야합니다 (예 : X = XY). 이것은 일반적으로 매우 쉽기 때문에 연습으로 남겨 둡니다. (목록 형성 규칙에 대해이 작업을 수행 할 필요는 없습니다. 아래 설명 참조).
다음 형식의 BNF 규칙이있는 경우 :
X = A B C ;
"해당 구문 구조를 보았다"라는 부울을 반환하는 규칙 (X, A, B, C)의 각 항목에 대한 서브 루틴을 만듭니다. X의 경우 코드 :
subroutine X()
if ~(A()) return false;
if ~(B()) { error(); return false; }
if ~(C()) { error(); return false; }
// insert semantic action here: generate code, do the work, ....
return true;
end X;
A, B, C도 마찬가지입니다.
토큰이 터미널 인 경우 터미널을 구성하는 문자열의 입력 스트림을 확인하는 코드를 작성하십시오. 예를 들어 숫자의 경우 입력 스트림에 숫자가 포함되어 있는지 확인하고 입력 스트림 커서를 숫자를지나 앞으로 이동합니다. 버퍼 스캔 포인터를 전진 시키거나 전진시키지 않음으로써 버퍼에서 파싱하는 경우 특히 쉽습니다 (BASIC의 경우 한 번에 한 줄씩 가져 오는 경향이 있음). 이 코드는 본질적으로 파서의 렉서 부분입니다.
BNF 규칙이 재귀 적이라면 ... 걱정하지 마십시오. 재귀 호출을 코딩하십시오. 이것은 다음과 같은 문법 규칙을 처리합니다.
T = '(' T ')' ;
다음과 같이 코딩 할 수 있습니다.
subroutine T()
if ~(left_paren()) return false;
if ~(T()) { error(); return false; }
if ~(right_paren()) { error(); return false; }
// insert semantic action here: generate code, do the work, ....
return true;
end T;
대안이있는 BNF 규칙이있는 경우 :
P = Q | R ;
그런 다음 대체 선택 사항으로 P를 코딩합니다.
subroutine P()
if ~(Q())
{if ~(R()) return false;
return true;
}
return true;
end P;
때로는 목록 형성 규칙을 접하게됩니다. 이들은 재귀 적으로 남겨지는 경향이 있으며이 경우는 쉽게 처리됩니다. 기본 아이디어는 재귀보다는 반복을 사용하는 것이며, 이는 "명백한"방식으로이 작업을 수행하는 무한 재귀를 피하는 것입니다. 예:
L = A | L A ;
반복을 사용하여 다음과 같이 코딩 할 수 있습니다.
subroutine L()
if ~(A()) then return false;
while (A()) do { /* loop */ }
return true;
end L;
이런 식으로 하루나 이틀 만에 수백 개의 문법 규칙을 코딩 할 수 있습니다. 채워야 할 세부 사항이 더 있지만 여기의 기본 사항은 충분합니다.
공간 이 정말 부족한 경우 이러한 아이디어를 구현하는 가상 머신을 구축 할 수 있습니다. 그것이 제가 70 년대에 8K 16 비트 단어가 당신이 얻을 수 있었던 일이었을 때 한 일입니다.
이것을 수동으로 코딩하고 싶지 않다면 본질적으로 동일한 것을 생성하는 메타 컴파일러 ( Meta II )로 자동화 할 수 있습니다 . 이것들은 엄청난 기술적 재미이며 큰 문법의 경우에도 실제로 모든 작업을 수행합니다.
2014 년 8 월 :
"파서로 AST를 빌드하는 방법"에 대한 많은 요청을받습니다. 본질적 으로이 답변을 자세히 설명하는 이에 대한 자세한 내용은 다른 SO 답변 https://stackoverflow.com/a/25106688/120163을 참조하십시오.
2015 년 7 월 :
간단한 표현 평가기를 작성하려는 사람들이 많이 있습니다. 위의 "AST 빌더"링크가 제안하는 것과 동일한 종류의 작업을 수행하여이를 수행 할 수 있습니다. 트리 노드를 구축하는 대신 산술을 수행하십시오. 다음은 이런 식으로 수행 된 표현식 평가 기 입니다.