재귀 강하 파서

유형화된 열거하다 {식별하다, 번호, 모니터, rparen, 시대, 베다, 플러스,     마이너스, eql, 니크, lss, 레크, gtr, geq, 콜심, 시작, 세미콜론,     종말, 시스템, 동작하다, 된다, 시스템, 시스템, 컨시스, 콤마,     시스템, 시스템, 기간, 확률} 기호.;  기호. 심볼; 무효 다음 시스템(무효); 무효 에러(컨스턴트 차 메시지[]);  인트 받아들이다(기호. s) {     한다면 (심볼 == s) {         다음 시스템();         돌아가다 1;     }     돌아가다 0; }  인트 기대하다(기호. s) {     한다면 (받아들이다(s))         돌아가다 1;     에러("예상치 않은 기호: 예기치 않은 기호);     돌아가다 0; }  무효 인자(무효) {     한다면 (받아들이다(식별하다)) {         ;     } 또 다른 한다면 (받아들이다(번호)) {         ;     } 또 다른 한다면 (받아들이다(모니터)) {         표현();         기대하다(rparen);     } 또 다른 {         에러("요인: 구문 오류");         다음 시스템();     } }  무효 용어(무효) {     인자();     하는 동안에 (심볼 == 시대    심볼 == 베다) {         다음 시스템();         인자();     } }  무효 표현(무효) {     한다면 (심볼 == 플러스    심볼 == 마이너스)         다음 시스템();     용어();     하는 동안에 (심볼 == 플러스    심볼 == 마이너스) {         다음 시스템();         용어();     } }  무효 조건.(무효) {     한다면 (받아들이다(확률)) {         표현();     } 또 다른 {         표현();         한다면 (심볼 == eql    심볼 == 니크    심볼 == lss    심볼 == 레크    심볼 == gtr    심볼 == geq) {             다음 시스템();             표현();         } 또 다른 {             에러("조건: 잘못된 연산자");             다음 시스템();         }     } }  무효 진술(무효) {     한다면 (받아들이다(식별하다)) {         기대하다(된다);         표현();     } 또 다른 한다면 (받아들이다(콜심)) {         기대하다(식별하다);     } 또 다른 한다면 (받아들이다(시작)) {         하다 {             진술();         } 하는 동안에 (받아들이다(세미콜론));         기대하다(종말);     } 또 다른 한다면 (받아들이다(시스템)) {         조건.();         기대하다(시스템);         진술();     } 또 다른 한다면 (받아들이다(동작하다)) {         조건.();         기대하다(시스템);         진술();     } 또 다른 {         에러("문: 구문 오류");         다음 시스템();     } }  무효 블록(무효) {     한다면 (받아들이다(컨시스)) {         하다 {             기대하다(식별하다);             기대하다(eql);             기대하다(번호);         } 하는 동안에 (받아들이다(콤마));         기대하다(세미콜론);     }     한다면 (받아들이다(시스템)) {         하다 {             기대하다(식별하다);         } 하는 동안에 (받아들이다(콤마));         기대하다(세미콜론);     }     하는 동안에 (받아들이다(시스템)) {         기대하다(식별하다);         기대하다(세미콜론);         블록();         기대하다(세미콜론);     }     진술(); }  무효 프로그램.(무효) {     다음 시스템();     블록();     기대하다(기간); }