計算規(guī)則
【計算規(guī)則】是什么意思
描述程式計算的一種知識類型或其計算過程。例如在執(zhí)行遞回程式時的展開規(guī)則，以計算n階遞回函數(shù)為例：
f(x)≡if x＜1 then f(x)＝1 Else f(x)＝x?f(x－1)
則因3＞1，f(3)≡3?f(2)≡3?(2f(1))≡3?2?1≡6
常見的展開規(guī)則如：每次只展開最左邊的函數(shù)、每次同時展開左邊所有的函數(shù)等。
描述程式計算的一種知識類型或其計算過程。例如在執(zhí)行遞回程式時的展開規(guī)則，以計算n階遞回函數(shù)為例：
f(x)≡if x＜1 then f(x)＝1 Else f(x)＝x?f(x－1)
則因3＞1，f(3)≡3?f(2)≡3?(2f(1))≡3?2?1≡6
常見的展開規(guī)則如：每次只展開最左邊的函數(shù)、每次同時展開左邊所有的函數(shù)等。