Q1. 你上面说到：λ演算和图灵机是两种不同的计算模型。λ演算是一种函数定义、函数应用和函数等价性的理论，而图灵机是一种抽象的计算设备，用于模拟任何可能的计算过程。那么，请问，在全知系统的程序详细设计中 总结了三种程序语言模型：函数式、声明式和命令式。如果非要将 这两种计算模型（λ演算和图灵机） 对应到三种程序语言模型中，应该λ演算 可以视为 函数式，那推图灵机呢？以及还有一个计算模型应该是什么？