下面是表達(dá)式和賦值語(yǔ)句的文法，其中and的類(lèi)型是bool×bool→bool，+的類(lèi)型是int×int→int，=的類(lèi)型是int×int→bool，：=要求id和E的類(lèi)型都是int或者都是bool。為該文法寫(xiě)一個(gè)語(yǔ)法制導(dǎo)定義或翻譯方案，它完成類(lèi)型檢查。
您可能感興趣的試卷
你可能感興趣的試題
已知文法G[S]
消除文法左遞歸和提公共左因子。
最新試題
若在C語(yǔ)言程序中出現(xiàn)“aa 11 bb=123；”，且不出現(xiàn)在引號(hào)和注釋里，在編譯時(shí)會(huì)（）
FORTRAN這樣的語(yǔ)言，不允許過(guò)程遞歸，不含可變體積的數(shù)據(jù)對(duì)象或待定性質(zhì)的名稱(chēng)，能在編譯時(shí)完全確定其程序的每個(gè)數(shù)據(jù)對(duì)象在運(yùn)行時(shí)存儲(chǔ)空間的位置，可采用（）
編譯程序在其工作過(guò)程中使用最多的數(shù)據(jù)結(jié)構(gòu)是（）。它記錄著源程序中的各種信息，以便查詢(xún)或修改。
關(guān)于短語(yǔ)和句柄，正確的論述是（）
在循環(huán)內(nèi)可以實(shí)行的優(yōu)化有（）
關(guān)于嵌套層次表display表描述正確的是（）
文法識(shí)別符號(hào)經(jīng)過(guò)任意步推導(dǎo)得到的結(jié)果是（）
以下（）不是中間代碼的表示形式。
由“非終結(jié)符-->符號(hào)串”這種產(chǎn)生式構(gòu)成的文法是（）
分析樹(shù)上的每個(gè)分支結(jié)點(diǎn)都由（）標(biāo)記。