-------------------------------------------------------
| 定義部
| オプションやincludeや変数宣言、マクロなどを記述します。
| includeや変数宣言は%{...%}で囲って書きます。
| yaccと組み合わせて使う場合、生成されるCソースを
| インクルードすることがあるので、ここに記載します。
| オプションは%ではじめます。
| %noyywrap
| これは入力が1ファイルであることを示していて、よく使われます。
| マクロは、「マクロ名  正規表現」で書きます。
 -------------------------------------------------------
%%
 -------------------------------------------------------
| ルール部
| 「正規表現  対応するCコード」という記述方法でルールを書きます。
| +や*などは正規表現の特殊文字なので、文字として使いたい場合は
| \でエスケープしたり、""で囲んで明示的に文字列として書きます。
| 定義部で宣言したマクロは{}で囲うことで使えます。
 -------------------------------------------------------
%%
 -------------------------------------------------------
| ユーザーサブルーチン部
| C言語のmain関数などを書きます。
| yaccと組み合わせて使う場合は、main関数はyacc側に書くため
| この部分はあまり書かないかもしれません。
 -------------------------------------------------------

// lexの場合
$ lex sample.l
// flexの場合
$ flex sample.l

 -------------------------------------------------------
| 定義部
| includeや%union, %token, %typeなどを定義します。
| includeはlexと同様に%{...%}で記述します。
| %unionは、型定義に使います。
| %tokenは、単にトークンを定義します。
| %typeは、ルール部で使用する変数名を定義します。
| <>で囲んでuniconの変数名を参照して記述することもできます。
 -------------------------------------------------------
%%
 -------------------------------------------------------
| ルール部
| ルール定義のブロックは以下のよな構成になります。
| 変換結果: 構成要素1 構成要素2 ...
|         | (他の構成内容)
|         { (マッチした際に実行されるCコード) }
|         ;
| ;は省略可能で、{}は構成内容につきそれぞれ定義できます。
 -------------------------------------------------------
%%
 -------------------------------------------------------
| ユーザーサブルーチン部
| C言語のmain関数などを書きます。
| 実際に入力を解析したりするのに使います。
| 構文解析関数はyyparseです。
| yyparse関数を使う際、yacc単体で利用するときは
| 字句解析器としてyylex関数の実装が必要になります。
 -------------------------------------------------------

// yaccの場合
$ yacc -d sample.y
// bisonの場合
$ bison -d sample.y

%{#include <stdio.h>#include <stdlib.h>#include "sample.tab.h"%}%%[0-9]+\.[0-9]*{yylval.double_value=atof(yytext);returnDOUBLE;}"+"  {returnADD;}%%

%{#include <stdio.h>#include <stdlib.h>%}%union{doubledouble_value;}%token<double_value>DOUBLE%type<double_value>factorexpr%leftADD%%input:|inputlineline:CR|exprCR{printf(">> %f\n",$1);}expr:factor{$$=$1;}|exprADDexpr{$$=$1+$3;}factor:DOUBLE%%intyyerror(charconst*str){fprintf(stderr,"%s\n",str);return0;}intmain(void){yyparse();return0;}

%optionnoyywrap%{#include <stdio.h>#include <stdlib.h>#include "cal.tab.h"%}%%[0-9][0-9]*{yylval.value=atof(yytext);returnVALUE;}[0-9]+\.[0-9]*{yylval.value=atof(yytext);returnVALUE;}"+"{returnADD;}"-"{returnSUB;}"*"{returnMUL;}"/"{returnDIV;}"%"{returnREM;}"^"{returnPOW;}"\n"{returnCR;}"("{returnLP;}")"{returnRP;}%%

%{#include <stdio.h>#include <stdlib.h>#include <math.h>%}%union{doublevalue;}%token<value>VALUE%tokenADDSUBMULDIVREMPOWCRLPRP%type<value>factorexpr%leftADDSUB%leftMULDIVREM%leftNEGPOS%rightPOW%%input:|inputlineline:CR|exprCR{printf(">> %f\n",$1);}|errorCR{yyerrok;yyclearin;}expr:factor|ADDexpr%precPOS{$$=$2;}|SUBexpr%precNEG{$$=-$2;}|exprADDexpr{$$=$1+$3;}|exprSUBexpr{$$=$1-$3;}|exprMULexpr{$$=$1*$3;}|exprDIVexpr{$$=$1/$3;}|exprREMexpr{$$=fmod($1,$3);}|exprPOWexpr{$$=pow($1,$3);}|LPexprRP{$$=$2;}factor:VALUE%%intyyerror(charconst*str){externchar*yytext;fprintf(stderr,"%s\n--> %s\n",str,yytext);return0;}intmain(void){yyparse();}

$ flex cal.l$ bison -d cal.y$ gcc cal.tab.c lex.yy.c -lm -o cal$ ./cal
2+4*4>> 18.000000(2+4)*4>> 24.000000
60/5*2>> 24.000000(9-2*3)^3>> 27.000000