{VDM-SL} 建议函数的定点解决方案

问题描述

为泛函提出一个定点解决方案 T1(F,x,y) == if x = 0 then 1 else y * F(x-1,y) 我还没有回答一个使用 x 和 y 等两个变量的问题,所以在解决这个问题时,我不知道我什么时候完成,或者我是否完全正确。

解决方法

暂无找到可以解决该程序问题的有效方法,小编努力寻找整理中!

如果你已经找到好的解决方法,欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@)