在计算机编码学上,我们说一个函数通常是定义成返回一个稍带验证信息的值并且由若干机器码组成的一个具有特定功能的集合。
我们可以用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的子集。