送交者: 008 于 2016-03-19, 03:38:23:

回答: 就好像图灵机、递归函数、lambda演算、组合子逻辑形式不同，用于计算效果等价。 由 zhangqq 于 2016-03-19, 03:11:19:

加跟贴