성대아싸의 멍충한 프로그래밍

복잡프로그래밍2010. 12. 16. 18:03

sl2p 프로그램

sl2p.exe

strong LL(1) 의 형태의 문법으로 작성하면

이를 순환 프로시져로 자동 작성해 주는 프로그램 이다.

context free 문법과 같이 문법을 작성하기 위해서는

NONTERMINAL -> TERMINAL or NONTERMINAL;

하나의 NONTERMINAL에 여러개의 생성규칙을 달고 싶으면 정규식과 비슷하게

union mark '|' 을 붙여서 구분해준다. 그리고 하나의 생성규칙이 끝나면 end mark ';' 를 붙여줘야 한다.

예제는 다음과 같다.

위 와 같이 입력하고 gramfile.txt 라는 이름으로 저장해야 한다. 같은 폴더내 들어있으면 된다.

라인단위 주석도 붙일 수 있다. 생성규칙은 항상 Nonterminal 로 시작하며 영문자 대소문자 + 언더바, 이면 된다.

'->' 이후 몸통이 온다. 몸통 안에는 terminal 또는 nonterminal이 올 수 있는데

terminal의 경우 ' 문자로 둘러싸주고 안에는 영문자 대소문자 + 언더바 만 가능하다.

예제를 잘 보면 여러개의 생성규칙을 가질 경우 ('|' 으로 구분되는 놈)

몸통의 제일 앞대가리는 항상 TERMINAL 이다.

왜냐하면 한개의 심볼을 미리 읽었을 때 이것이 어떤 생성규칙을 선택할지 꼭 결정해야 하기 때문이다.

(중복체크는 하지 않으니 문법을 잘 잘성해야 함)

strong LL(1) grammar 형식으로 작성되기만 하면 된다.

출력 파일은 sl2pout.c 파일로 만들어지며 위 예제의 출력 결과는 다음과 같다.

// !!usr!! 
#define SCANFUNC pg_lex()
// !!usr!!

/**********************************/
/*   generated by sl2p, def part  */

//default define
#ifndef __STDIO_H__
	#include <stdio.h>
#endif
#ifndef __STDLIB_H__
	#include <stdlib.h>
#endif
#ifndef __STRING_H__
	#include <string.h>
#endif
//

// terminal symbols
enum{
	PLUS=1,
	MINUS,
	MUL,
	LP,
	RP,
	NUM
}symbol;

symbol lookahead;

// rule func list
void expr();
void term();
void expr_();
void fact();
void term_();
//
void match(symbol);

// !! using this function !!//
void parse();
//

/*   generated by sl2p , def part  */
/**********************************/

/**********************************/
/*   generated by sl2p, rules     */

/* rule: <expr>
	->	<term>	<expr_>	
;
*/
void expr(){
	term();
	expr_();
}
//

/* rule: <term>
	->	<fact>	<term_>	
;
*/
void term(){
	fact();
	term_();
}
//

/* rule: <expr_>
	->	'PLUS'	<term>	<expr_>	
	|	'MINUS'	<term>	<expr_>	
	|	
;
*/
void expr_(){
	while(1){
		if(lookahead==PLUS){
			match(PLUS);
			term();
			continue;
		}
		else
		if(lookahead==MINUS){
			match(MINUS);
			term();
			continue;
		}
		break;
	}
}
//

/* rule: <fact>
	->	'LP'	<expr>	'RP'	
	|	'NUM'	
;
*/
void fact(){
	if(lookahead==LP){
		match(LP);
		expr();
		match(RP);
	}
	else
	if(lookahead==NUM){
		match(NUM);
	}
	else{
		puts("parse error");exit(1);
	}
}
//

/* rule: <term_>
	->	'MUL'	<fact>	<term_>	
	|	'MINUS'	<fact>	<term_>	
	|	
;
*/
void term_(){
	while(1){
		if(lookahead==MUL){
			match(MUL);
			fact();
			continue;
		}
		else
		if(lookahead==MINUS){
			match(MINUS);
			fact();
			continue;
		}
		break;
	}
}
//

// matching func
void match(symbol target){
	if(target!=lookahead){
		printf("syntax error!");exit(1);
	}
	lookahead = SCANFUNC;
}
//

// !! using this func !!
void parse(){
	lookahead = SCANFUNC;
	expr();
}
// !!using this func!! 
//

/*   generated by sl2p, rules     */
/**********************************/

저작자표시

'복잡프로그래밍' 카테고리의 다른 글

pglexer 코드 (0)	2011.09.02
sl2p 프로그램 소스 (0)	2010.12.16
sl2p 프로그램 (0)	2010.12.16
pg_lex 프로그램 (0)	2010.10.27
pglex 사용예제 (0)	2010.10.09
pglex 소스 (0)	2010.10.09

Posted by 멍충한아싸

Trackback 0 Comment 0

댓글을 달아 주세요

«이전 1 ··· 97 98 99 100 101 102 103 104 105 ··· 240 다음»

일	월	화	수	목	금	토
					1	2
3	4	5	6	7	8	9
10	11	12	13	14	15	16
17	18	19	20	21	22	23
24	25	26	27	28	29	30
31

성대아싸의 멍충한 프로그래밍

sl2p 프로그램

'복잡프로그래밍' 카테고리의 다른 글

TRACKBACK

댓글을 달아 주세요

카테고리

공지사항

태그목록

최근에 올라온 글

최근에 달린 댓글

최근에 받은 트랙백

글 보관함

달력

링크