「Essentials of Compilation筆記」修訂間的差異

跳至導覽 跳至搜尋
行 54: 行 54:
===1.2文法 grammar===
===1.2文法 grammar===
* 分成非終端符號(如下方 exp)和終端(terminal)符號如 int。
* 分成非終端符號(如下方 exp)和終端(terminal)符號如 int。
<code>exp ::= (Prim '+ (exp exp)) | (Prim '- (exp exp)) | (Prim '- (exp))| (Prim read_int ()) |
<pre>exp ::= (Prim '+ (exp exp)) | (Prim '- (exp exp)) | (Prim '- (exp))| (Prim read_int ()) |
               (Int int)</code>  
               (Int int)
 
L_int ::= (Program '() exp)
#對應L_int ::= (Program (info body))
</pre>  
* int 為在此區間的整數:[-2^62, 2^62-1],可以表示2^63個整數
* int 為在此區間的整數:[-2^62, 2^62-1],可以表示2^63個整數
* info 以後會用到,現在不用管


==第三章==
==第三章==

導覽選單