數學表達式編譯器

『壹』 數學公式編輯器有哪些

推薦使用mathtype吧，MathType是Word中公式編輯器的升級版本，在功能上不僅延續了Word原有的功能，還增添了大小屬性頁工具欄，可以重輸入更多的模板公式。MathType是一款專業、功能強大的數學公式編輯工具，同時支持Windows和Macintosh操作系統，與文字處理軟體有很好的兼容性，可在各種文檔中加入復雜的數學公式和符號。

MathType公式編輯器軟體主要使用用戶為初中、高中以及大學的學生、老師， 理科專業工作者，可用於編輯數學試卷、書籍、報刊、論文、幻燈演示等方面，是編輯數學、物理公式資料的必備工具，也是一款必不可少的教育教學軟體。該軟體作為一款功能強大的數學公式編輯器，一直深受廣大用戶的喜愛，給很多的理科生和各位學者、教研機構等帶來巨大幫助。Mathtype使用人群主要集中在學生教師以及理科專業工作者，可應用於教育教學、科研機構、工程學、論文、寫作、期刊排版、編輯理科試卷等。

mathtype下載地址：網頁鏈接

『貳』 編譯器筆記34-中間代碼生成-布爾表達式的回填

基本思想：生成一個跳轉指令時，暫時不指定該跳轉指令的目標標號。這樣的指令都被放入由跳轉指令組成的列表中。同一個列表中的所有跳轉指令具有相同的目標標號。等到能夠確定正確的目標標號時，才去填充這些指令的目標標號。

B.truelist：指向一個包含跳轉指令的列表，這些指令最終獲得的目標標號就是當B為真時控制流應該轉向的指令的標號。

B.falselist：指向一個包含跳轉指令的列表，這些指令最終獲得的目標標號就是當B為假時控制流應該轉向的指令的標號。

為了處理跳轉指令的列表我們構造了三個函數

上述的布爾表達式將被翻譯成兩條跳轉指令。兩條跳轉指令的標號都不填寫因為這兩條跳轉指令的標號都在等待回填，因此我們要把它放到相應的列表中。

第一條跳轉指令的目標標號是B的真出口，因此我們把它放到B.truelist中。調用makelist函數生成一個只包含nextquad的列表，並把這個列表的指針賦值給truelist，這里的nextquad是指即將生成的下一條指令的標號，即gen('if' E1.addr relop E2.addr'goto_')這條指令的標號。

第二條跳轉指令的目標標號是B的假出口，因此把這條跳轉指令存放到B.falselist中。因此我們調用makelist函數生成一個只包含nextquad+1這樣一個標號的列表，nextquad+1標號就是gen('goto_')這條指令的標號。

這樣的話我們就將這兩條指令分別放入到B.truelist和B.falselist中。

問：list中存的是對應跳轉指令的標號？

當B定義為true時，此時可以確定布爾表達式的值為真，生成一條跳轉到B的真出口的一條指令。由於此真出口的標號不能確定有待回填，我們把它放入到B.truelist中。

當B定義為false時，此時可以確定布爾表達式的值為假，生成一條跳轉到B的假出口的一條指令。由於此真出口的標號不能確定有待回填，我們把它放入到B.falselist中。

對B的翻譯與其對應的子表達式B1的翻譯是相同的，因此B的屬性值等於B1的屬性值。

B的值與B1的值正好相反，因此將兩個非終結符的屬性進行對調。

B1.truelist中的這些指令都要跳轉到B1的真出口，當B1為真的時候整個表達式的值就是為真的，因此B1的真出口就是B的真出口。要跳轉到B1的真出口就是跳轉到B的真出口，因此B1.truelist中的指令都要放到B.truelist中。

B2.truelist的指令都要跳轉到真出口，當B2為真時整個表達式的值也為真，因此B2的真出口就是B的真出口。要跳轉到B2的真出口就是要跳轉到B的真出口，因此B2.truelist中的指令都要放到B.truelist中。

B1.falselist中的指令它們都是要跳轉到B1的假出口，當B1的值為假的時候我們要進一步判斷B2的值，因此B1的假出口就是B2的第一條指令，因此B1.falselist中的指令都要跳轉到B2的第一條指令。

B2.falselist中的指令都要跳轉到B2的假出口，當B2的值為假的時候那麼整個布爾表達式的值也是假的。因此B2的假出口就是B的假出口，要跳轉到B2的假出口也就是要跳轉到B的假出口。B2.falselist中的指令都要放置到B.falselist中。

根據此示意圖可以看出，在分析B2之前，要用B2的第一條指令的標號來回填B1.falselist中的各條指令。當然我們可以記錄下B2的第一條指令的標號在歸約時完成此回填動作。為了記下B2第一條指令的標號我們在非終結符B2之前插入一個標記非終結符M。與M關聯的語義動作它的任務就是記錄下B2的第一條語義動作的標號。我們給M設置一個綜合屬性quad,M.quad等於下一條指令的標號。因為我們把M放在B2之前，因此M.quad記錄的是第二條指令的標號。根據翻譯方案示意圖，我們要用M.quad來回填B1.falselist中的各條指令，因此調用backpatch用M.quad回填B1.falselist中的各條屬性。B.truelist是由B1.truelist和B2.truelist合並而成的，因此我們調用merge函數將B1.truelist和B2.truelist進行合並，將合並後的指針賦值給B.truelist。

註：因為這里我們定義的都是綜合屬性，從左向右掃描輸入串。makelist函數生成一個只包含下一條指令的列表，並把指針賦值給B.trulist。我們假設下一條指令從100開始。gen(『if 』 E 1 .addr relop E 2 .addr 『goto _』)中E1.address等於a，relop就是小於號，E2.address等於b，引號中的字元串按字面值傳遞。下劃線表示待回填的目標標號。

註：將棧頂中的空串歸約成一個標記非終結符M

註：有四條指令是等待回填的，在B的truelist中有兩條指令100和104，當B的真出口確定以後我們將用B的真出口的標號這兩條指令。同理當B的假出口確定以後將會用B的假出口的標號回填此兩條指令。

『叄』 C語言 什麼是表達式

C語言表達式的定義是：用C語言運算符將運算對象連接起來的式子，就叫表達式。

C語言在表達式方面較其它程序語言更為簡潔，如自加、自減、逗號運算和三目運算使表達式更為簡單，但初學者往往會覺的這種表達式難讀，關鍵原因就是對運算符和運算順序理解不透不全。

當多種不同運算組成一個運算表達式，即一個運算式中出現多種運算符時，運算的優先順序和結合規則就會顯得十分重要。

基本構成：

數據類型：C的數據類型包括：整型、字元型、實型或浮點型（單精度和雙精度）、枚舉類型、數組類型、結構體類型、共用體類型、指針類型和空類型。

常量與變數：常量其值不可改變，符號常量名通常用大寫。

變數是以某標識符為名字，其值可以改變的量。標識符是以字母或下劃線開頭的一串由字母、數字或下劃線構成的序列，請注意第一個字元必須為字母或下劃線，否則為不合法的變數名。變數在編譯時為其分配相應存儲單元。

數組：如果一個變數名後面跟著一個有數字的中括弧，這個聲明就是數組聲明。字元串也是一種數組。它們以ASCII的NULL作為數組的結束。要特別注意的是，中括弧內的索引值是從0算起的。

指針：如果一個變數聲明時在前面使用 * 號，表明這是個指針型變數。換句話說，該變數存儲一個地址，而 *（此處特指單目運算符 * ，下同。C語言中另有 雙目運算符 *） 則是取內容操作符，意思是取這個內存地址里存儲的內容。指針是 C 語言區別於其他同時代高級語言的主要特徵之一。

指針不僅可以是變數的地址，還可以是數組、數組元素、函數的地址。通過指針作為形式參數可以在函數的調用過程得到一個以上的返回值，不同於return（z）這樣的僅能得到一個返回值。

字元串：C語言的字元串其實就是以''字元結尾的char型數組，使用字元型並不需要引用庫，但是使用字元串就需要C標准庫裡面的一些用於對字元串進行操作的函數。它們不同於字元數組。使用這些函數需要引用頭文件<string.h>。

文件輸入/輸出：在C語言中，輸入和輸出是經由標准庫中的一組函數來實現的。在ANSI C中，這些函數被定義在頭文件<stdio.h>；中。

(3)數學表達式編譯器擴展閱讀：

C語言表達式中運算符號：

比較特別的是，比特右移（>>）運算符可以是算術（左端補最高有效位）或是邏輯（左端補 0）位移。例如，將 11100011 右移 3 比特，算術右移後成為 11111100，邏輯右移則為 00011100。因算術比特右移較適於處理帶負號整數，所以幾乎所有的編譯器都是算術比特右移。

運算符的優先順序從高到低大致是：單目運算符、算術運算符、關系運算符、邏輯運算符、條件運算符、賦值運算符（=）和逗號運算符。

參考資料：網路-C語言