명제 논리 구문 분석기

Question

bison -d myfile.y을 실행하면 다음 오류가 발생합니다. bison : m4 : 잘못된 인수. 문제는 운영자 우선 순위라고 생각하지만 여전히 문제를 해결할 수는 없습니다. Make * 함수는 명제 논리 표현식을 만듭니다.

은 yacc 파일 : 내 플랫폼에서

%{ 
#include "global.h" 
#include "PLResolution.h" 
%} 

%token END 
%token LEFT_PAREN RIGHT_PAREN 
%token BICOND 
%token FORWARD_IMPLIC BACKWARD_IMPLIC 
%token OR 
%token AND 
%token NOT 
%token identifier 

%left BICOND 
%left BACKWARD_IMPLIC 
%left FORWARD_IMPLIC 
%left OR 
%left AND 
%left NOT 

%start Input 
%% 
Input: 
/* Empty */ 
| Input Line 
; 
Line: 
END 
| Sentence END 
; 
Sentence: 
AtomicSentence 
| ComplexSentence 
; 
AtomicSentence: 
identifier {$$=MakeAtomicSentence($1);} 
; 
ComplexSentence: 
LEFT_PAREN Sentence RIGHT_PAREN 
| NOT Sentence {$$=MakeNotSentence($1);} 
| Sentence AND Sentence {$$=MakeAndSentence($1, $2);} 
| Sentence OR Sentence {$$=MakeOrSentence($1, $2);} 
| Sentence FORWARD_IMPLIC Sentence {$$=MakeForwardIMPLIC($1, $2);} 
| Sentence BACKWARD_IMPLIC Sentence {$$=MakeBackwardIMPLIC($1, $2);} 
| Sentence BICOND Sentence {$$=MakeBICOND($1, $2);} 
; 
%% 
int yyerror(char *s) { 
    printf("%s\n",s); 
} 
int main(void) { 
    yyparse() 
} 

Answer 1

생성 된 코드는 당신을 위해 작동하지 않을 것입니다. 그러나, 다른 사람들이 비손과 m4와 함께 Vista에서 겪었던 유사한 문제를 설명하는 this link을 발견했습니다. 아마도 제안 된 해결 방법이 당신에게도 도움이 될 것입니까? m4 바이너리를 로컬 디렉토리에 복사하는 것 같습니다.

EDIT : 제대로 작동하지 않는 경우를 대비하여 생성 된 두 파일 (prop.tab.ccprop.tab.hh)을 업로드했습니다. 그들이 전혀 작동하는지 모르지만 어쩌면 도움이 될 것입니다.