基础

参考链接: 【编译原理】用Yacc做语法分析 yacc / lex 在linux 下 使用指南

下载

sudo apt-get install bison

要求

给定下列文法,实现语法分析器
bison实现语法分析器 - 图1

实现

注意当yacc使用自定义lex文件时,需要在lex开始include自定义yacc生成的头文件

lex

  1. %{
  2. //include自定义yacc生成的头文件
  3. #include "bool.tab.h"
  4. #include <stdio.h>
  5. #include <stdlib.h>
  6. %}
  8. %%
  10. true {yylval=1; return TRUE;}
  11. false {yylval=0; return FALSE;}
  12. .|\n {return yytext[0];}
  14. %%

yacc文件

  1. %{
  2. #include <stdio.h>
  3. #include <string.h>
  5. void yyerror(){
  6.     printf("over, place run again\n");
  7. }
  8. %}
  10. // declaration section
  11. %{
  12. #ifndef YYSTYPE
  13. #define YYSTYPE int 
  14. #endif
  15. %}
  17. %token TRUE
  18. %token FALSE
  20. %%
  21. // translation section
  22. line : bexpr '\n'         { if ($1==1){printf("true");}else{printf("false");}}
  23.     | '\n'
  24.     ;
  25. bexpr : bexpr '&' bterm   { if(($1==1)&&($3==1)){$$=1;}else{$$=0;} }
  26.     | bterm
  27.     ;
  28. bterm : bterm '|' bfactor   {if(($1==0)&&($3==0)){$$=0;}else{$$=1;}}
  29.     | bfactor           
  30.     ;
  31. bfactor :'~' bfactor     {if($2==1){$$=0;}else{$$=1;}}
  32.     | '('bexpr')'   {$$=$2;}
  33.     |  TRUE         
  34.     |  FALSE
  35.     ;
  36. %%
  37. int main(void){
  38.     return yyparse();
  39. }

编译

  • flex lex.l 生成lex.yy.c文件
  • bison -v bool.y 生成bool.tab.c文件,改后缀为.h(-v可生成out文件,记录规约表)
  • gcc lex.yy.c bool.tab.h -o exe -ll 生成exe可执行文件

image.png