正規運算(normal operation) GB系統中的一種運算.正規運算U是指，存在一個本原命題函詞滬，能使
成立的運算.例如，因為:
所以，類的補運算一、交運算門、定義域D等都是正規運算.此外，應注意上述式子中右邊出現m為正規概念，故可化歸為本原命題函詞.
正規運算
相關詞條
- 正規運算
正規運算(normal operation) GB系統中的一種運算.正規運算U是指,存在一個本原命題函詞滬,能使 成立的運算.例如,因為: 所以,類的補運算一、交運算門、定義域D...
- 正規式
正規式是一種表示正規集的工具,正規式是描述程式語言單詞的表達式,對於字母表∑。... 在正規式的書寫中,連線運算符“·”可省略。運算符的優先權從高到低順序...
- 正規表達式
正規表達式由一個或多個字元型文字和/或元字元組成。在最簡單的格式下,正規表達式僅由字元文字組成,如正規表達式 cat。它被讀作字母 c,接著是字母 a 和 t,...
- 正規命題函詞
正規命題函詞(normal propositional function)是GB系統中的一個基本概念,指僅含有正規概念、正規運算及正規約束變元的命題函詞φ(X1,X2,…,Xn),亦即正規命題函詞...
- 正規語言
正規語言又稱正則語言,是形式語言與自動機理論中討論的最基本的語言系。通過它可以架起有窮自動機和正則表達式之間的一座橋樑。...
- 平方根倒數速算法
可見標準化矢量時需要用到對矢量分量的平方根倒數計算,所以對平方根倒數計算算法的最佳化對計算正規化矢量也大有裨益。為了加速圖像處理單元計算,《雷神之錘III競技場》...
