Парсер для логики высказываний - PullRequest
Новая
       26

Парсер для логики высказываний

0 голосов
/ 28 ноября 2011

Когда я запускаю 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()
}

1 Ответ

1 голос
/ 29 ноября 2011

Сгенерированный код на моей платформе вряд ли будет работать для вас.Тем не менее, я нашел эту ссылку , которая описывает аналогичные проблемы, которые были у других людей в Vista с бизоном и m4.Возможно, предложенное исправление подойдет и вам?Кажется, для этого нужно скопировать двоичный файл m4 в локальный каталог.

РЕДАКТИРОВАТЬ: и на случай, если он не заработает, я загрузил для вас два сгенерированных файла: prop.tab.cc prop.tab.hh .Не уверен, что они вообще будут работать, но, возможно, это поможет.

...