我有一个源文件,例如(不失一般性(仅用于图像可能的语法)):
function a()
return g // global variable without any internal structure exactly
end
function b(x, y)
local z = x * y
return z + 1
end
function c(z, t)
return b(z * z, a())
end
// ...etc
我想将任何函数 WRT 区分为某个变量。
我们可以将所有形式参数视为导出时内部结构未知的函数。
如果我进一步正确,那么以下是事实(因为依赖符号'
是符号的一部分,因为全局变量是替代时间阶段的运算符(def:g{g}
为一,但g{y}
为零)):
function a'()
return g';
end
function b'(x, y, x', y')
local z' = x' * y + x * y'
return z' + 0
end
但是最后一个函数怎么办?即,用实际参数代替函数b
?
是否有任何现成的通用算法实现来处理上述内容?如何处理高阶导数(特别有趣,如何处理形式参数)?还有其他可能不清楚的情况吗?