C 语言和 Lisp 是同样强大的,那么可以说 C 语言可以做的事情 Lisp 也可以做吗?Turing Machine 和 Lambda Calculus 是等价的,这样基于 Turing Machine 实现的 C 语言和基于 Lambda Calculus 实现的 Lisp 就是具有同

来源:学生作业学帮网 编辑:学帮网 时间:2024/06/01 05:34:48

C 语言和 Lisp 是同样强大的,那么可以说 C 语言可以做的事情 Lisp 也可以做吗?
Turing Machine 和 Lambda Calculus 是等价的,这样基于 Turing Machine 实现的 C 语言和基于 Lambda Calculus 实现的 Lisp 就是具有同样的计算能力,那么可以说 C 语言可以做的事情 Lisp 也可以做吗?

我想这个问题的答案应该是否定的,但是该如何理解计算能力这件事儿呢?

可以做和适合做是两码事,C和LISP代表着编程语言的两个极端,一方面我们需要的是计算,另一方面我们需要的是抽象.