C-mini 程序設計語言的設計與實現(xiàn)

626788149

最近一直在學習編譯原理的內(nèi)容，深知如果不自己動手實現(xiàn)一個編譯器，那么這就是在談一場不以結(jié)婚為目的的戀愛，這就是耍流氓。
所以從現(xiàn)在開始我要自己實現(xiàn)一個類似于c語言的編譯器，把設計的方案與細節(jié)總結(jié)在這里。

因為本人是邊學習邊實現(xiàn)，可能速度上會有一點點慢。

非常希望這里的大神們能給我提提寶貴的意見，讓我在以后的學習中更加順利

先放上源碼Github:github.com/Zhang626/C-Mini

我還有一個csdn的博客跟這里是同步的，但是鏈接發(fā)不出來 醉了

626788149

介紹
　　這個語言與c語言非常相似，也與現(xiàn)有的很多程序設計語言有很多共同點。但也有很多地方與c語言不同，比如c-mini包含了foreach循環(huán)語句，在函數(shù)體中變量的聲明順序也與c語言不同。不同元素的類型使用不同的字體來表示：




關(guān)鍵字: for,while,foreach
記號TOKEN: ID,NUMLITERAL,STRLITERAL
非終結(jié)符:Nonterminals

TOKEN 的定義
letter = a | . . . | z | A | . . . | Z
digit = 0 | . . . | 9
NUMLITERAL = [+ | -] digit+
ID = letter (letter | digit)∗
STRLITERAL= "任何除了" 以外的字符"
BOOLITERAL = true | false
Comments = /* ......anything but except * /......  */
Whitespace =制表符，空格，換行
Keywords  = for | while | foreach | int | bool | char | void | if | else | return | break | true | false | def | in

typedef enum {
                ENDFILE , ERROR,
                /*multicharacter symbols*/
                ID, NUM , STRING,
                /*reserved word*/
                FOREACH , WHILE , INT , BOOL , CHAR , VOID , IF ,
                ELSE , RETURN , BREAK , TRUE , FALSE, DEF,
                /*SPECIAL SYMBOLS*/
                SEMI,ASSIGN,EQ,LT,BT,LQ,BQ,PLUS,MINUS,TIMES,
                OVER,LEFTPAREN,RIGHTPAREN,COMMA,CURLYBRACESL,
                CURLYBRACESR,PLUSPLUS,MINUSMINUS,SQUAREBRACKL,SQUAREBRACKR,
                /*whitespace*/
                BLANK,TABLE,NEWLINE               
} TokenType;

目標
我打算先寫解釋器，解釋器完成以后再寫代碼生成器生成字節(jié)碼

626788149

文法

此文法經(jīng)過修改，使用遞歸下降解析只需要一個向前看符號就可以實現(xiàn)


1. program → declarationList
2.  declarationList → declarationList declaration | declaration
3. declaration → varDeclaration | funcDeclaration
4. varDeclaration → typeSpecifier varDeclList ;
6. varDeclList → varDeclList , varDeclInitialize | varDeclInitialize
7. varDeclInitialize → varDeclId | varDeclId =simpleExpression
8. varDeclId → ID | ID [ NUMCONST ]
10. typeSpecifier → int | bool | char| void
11. funcDeclaration → def  ID ( params ) typeSpecifier statement
12.  params → paramList | ε
13. paramList → paramList , paramTypeList | paramTypeList
14. paramTypeList → typeSpecifier paramId
16. paramId → ID | ID [ ]
17.  statement → expressionStmt | compoundStmt | ifStmt | whileStmt | foreachStmt | returnStmt | breakStmt
18. compoundStmt→ { localDeclarations statementList }
19. localDeclarations → localDeclarations VarDeclaration | ε
20. statementList → statementList statement | ε
21. expressionStmt → expression ; | ;
22. ifStmt → if ( simpleExpression ) statement [ else statement ]
23. whileStmt → while ( simpleExpression ) statement  
24. foreachStmt → foreach ( mutable in simpleExpression ) statement
24. returnStmt → return ; | return expression ;
25. breakStmt → break ;
26. expression → mutable = expression | mutable += expression | mutable −= expression| mutable ∗= expression | mutable /= expression | mutable ++ | mutable −− | simpleExpression
27. simpleExpression → simpleExpression | andExpression | andExpression
28. andExpression → andExpression & unaryRelExpression | unaryRelExpression
29. unaryRelExpression → ! unaryRelExpression | relExpression
30. relExpression → sumExpression relop sumExpression | sumExpression
31. relop → <= | < | > | >= | == | ! =
32. sumExpression → sumExpression sumop term | term
33. sumop → + | −
34. term → term mulop unaryExpression | unaryExpression
35. mulop → ∗ | / | %
36. unaryExpression → unaryop unaryExpression | factor
37. unaryop → −
38. factor → immutable | mutable
39. mutable → ID | ID [ expression ]
40. immutable → ( expression ) | call | constant
41. call → ID ( args )
42. args → argList | ε
43. argList → argList , expression | expression
44. constant → NUMCONST | CHARCONST | STRINGCONST | true | false

mordorwww

頂一個，樓主繼續(xù)

patagonia2

我沒有實際做過。
頂一個，樓主繼續(xù)

Jeremy_W

頂，繼續(xù)更新啊 樓主

lxy572535121

頂一個，樓主繼續(xù)

goingstudy

大牛，綁定。