基本介紹
- 中文名:等價語句
- 外文名:equivalence statement
- 類型:說明語句
- 定義:同個程式的更多變數共用一個單元
- 系統:計算機
- 套用學科:計算機原理
等價語句(equivalence語句)是說明語句,它必須出現在程式單元的可執行語句之前。它的作用是讓同一個程式單元中的兩個或更多的變數共用同一個存儲單元。因此,主程式...
初等等價(elementarily equivalent)模型論術語.指兩個模型間的一種關係.設old, ,是了的兩個模型.如果對丫中每一語句a都有=}l } a,若且唯若屠片a.則稱哪...
歸約冪語句(reduced power sentence)一種霍恩語句.指在歸約冪下保持的語句.筍為歸約冪語句,若且唯若只在獷等價於若干霍恩語句的析取. ...
用縮進取代傳統Pascal中的begin和end語句來表示程式的塊結構可以大大提高代碼的...(多數分程式結構的語言中都有與此等價的語言構造,具體的語法與Pascal中的可能有...
有限直積語句(finite direct product sentence一種全稱霍恩語句.指在有限直積下保持的語句.設筍是一個全稱語句,則筍是一個(有限)直積語句,若且唯若筍等價於一...
歸約積語句(reduced product sentence)一種霍恩語句.指在歸約積下保持的語句件筍是歸約積語句,若且唯若獷等價於一個霍恩語句. ...
C語言運算符是說明特定操作的符號,它是構造C語言表達式的工具。C語言的運算異常豐富,除了控制語句和輸入輸出以外的幾乎所有的基本操作都為運算符處理。除了常見的...
(Label)代替地址,再由彙編程式將彙編語言書寫的程式翻譯成與之等價的機器語言,...而 Yigo 自動化軟體工程實現了高質量算法、規範的語句結構和健壯的容錯能力設計,...
逆命題和否命題為等價命題,如果逆命題成立,否命題成立 [1] 。...可以判斷真假的語句叫做命題,如果兩個命題中一個命題的條件和結論分別是另一個...
一種方法是解釋模組直接生成源程式語句等價的機器語言代碼;通常一個語句生成多條機器指令的代碼段。運行模組負責控制這段代碼的執行並處理中間結果(保存或輸出)。另...
來指明達是一個FORMAC語句。它也沒有獨立的編譯程式,只是對FORMAC語句中的一些...MATCH:比較兩個表達式等價性或恆等性產生邏輯值。 [3] 參考資料 1. 甘超,...