C mini 程式語言的設計與實現

最近一直在學習編譯原理的內容，深知如果不自己動手實現乙個編譯器，那麼這就是在談一場不以結婚為目的的戀愛，這就是耍流氓。所以從現在開始我要自己實現乙個類似於c語言的編譯器，把設計的方案與細節總結在這裡。也希望大家多給我提一些寶貴的意見。

這個語言與c語言非常相似，也與現有的很多程式語言有很多共同點。但也有很多地方與c語言不同，比如c-mini包含了foreach迴圈語句，在函式體中變數的宣告順序也與c語言不同。

不同元素的型別使用不同的字型來表示：

2.1　token 的定義program → declarationlist

declarationlist → declarationlist

declaration | declaration

declaration → vardeclaration | funcdeclaration

vardeclaration → typespecifier

vardecllist ;

vardecllist → vardecllist , vardeclinitialize | vardeclinitialize

vardeclinitialize → vardeclid | vardeclid =******expression

vardeclid →id|id[ numconst ]

typespecifier →int|bool|char|voidfuncdeclaration →defid(params)typespecifierparams → paramlist |ε

paramlist → paramlist,paramtypelist | paramtypelist

paramtypelist → typespecifier paramid

compoundstmt→localdeclarations → localdeclarations vardeclaration |ε

statementlist → statementlist statement |ε

expressionstmt → expression;|;

ifstmt →if(******expression)statement[elsestatement]whilestmt →while( ******expression ) statement

foreachstmt →foreach(mutablein******expression)statement

returnstmt →return;|returnexpression;

breakstmt →break;

******expression → ******expression|andexpression | andexpression

andexpression → andexpression&unaryrelexpression | unaryrelexpression

unaryrelexpression →!unaryrelexpression | relexpression

relexpression → sumexpression relop sumexpression | sumexpression

relop →<=|<|>|>=|==|! =sumexpression → sumexpression sumop term | term

sumop →+|−term → term mulop unaryexpression | unaryexpression

mulop → ∗ | / | %

unaryexpression → unaryop unaryexpression | factor

unaryop →−factor → immutable | mutable

mutable →id|id[expression]immutable →(expression)| call | constant

call →id(args)args → arglist |ε

arglist → arglist , expression | expression

constant → numconst | charconst | stringconst |true|false