約束變量檢視原始碼討論檢視歷史

來自 搜狐網 的圖片

約束變量是全國科學技術名詞審定委員會審定、公布的科技術語。

隨着社會制度的不斷發展與進步，中國的漢字也在不斷演化着，從最初的甲骨文漸漸發展到了小篆，後來文化進一步發展後，才出現了」漢字」這種說法。

名詞解釋

量化一個合式公式中的某個變量所得到的表達式也是合式公式。如果一個合式公式中某個變量是經過量化的，就把這個變量叫做約束變量，否則就叫它為自由變量。在合式公式中，感興趣的主要是所有變量都是受約束的。

形式解釋

變量約束機制出現在數學、邏輯和計算機科學中的不同情況中，但是在所有情形下它們是其中的表達式和變量的純粹語法性質。本節中我們用葉子節點是變量、函數常量或謂詞常量，而節點是邏輯運算符的樹，識別表達式來總結語法。變量約束的運算符是幾乎出現在所有形式語言中的邏輯運算符。沒有它們的語言實際上要麼是非常缺乏表達能力，要麼非常難於使用。約束的運算符 Q 接受兩個參數：變量v和表達式P，把 Q 應用於它的參數時就會生成新表達式 Q(v,P) 。約束運算符的意義由這個語言的語義提供而不是我們現在關心的。

變量約束有關於三個事情：變量v，這個變量在表達式中的位置a，和形成 Q(v,P) 的節點n。注意: 我們定義在表達式中位置為在這個語法樹中的葉子節點。變量約束在這個位置在節點n之下的時候發生。