關於函數分解


      在計算機編碼學上,我們說一個函數通常是定義成返回一個稍帶驗證信息的值並且由若干機器碼組成的一個具有特定功能的集合。

我們可以用S表示這個集合,那么,我們用RUN表示一個函數的運行,返回值集我們表示為RET,參數集為REF,則這個函數表示為

RET=RUN(S(REF)).其中,如果兩個函數的函數體內沒有相關聯的代碼,我們便可稱這兩個函數"相互獨立"。一個沒有參數,沒有返回值,也沒有函數體的函數,我們稱為空函數。所以,任何一個函數總都可以分解為若干個相互獨立的函數的和。即:RET=RET1+RET2+...+RETn,S=S1+S2+...+Sn,而RETi(1<=i<=n)滿足RETi=RUN(Si(REFi)).並且

RET1~RETn相互交集為空,S1~Sn相互交集為空.REF1~REFn為REF的子集。


注意!

本站转载的文章为个人学习借鉴使用,本站对版权不负任何法律责任。如果侵犯了您的隐私权益,请联系我们删除。



 
粤ICP备14056181号  © 2014-2021 ITdaan.com