情态动词种类 1、can could 2、will would 3、may might 4、must have to 5、shall should ought to be supposed to do 6、need dare 表能力 can you can speak English. could（can的过去式） you could speak English. （表达过去能说英语）

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

情态动词 今天我们将学习 情态动词（Modal Verbs）。情态动词是一种助动词，用来表示不同的情境。 让我们来了解各个情态动词的用法。 1、"can" 用于表示能力或可能性。例如： I can swim but I cannot dive very well.（我会游泳但不太会潜水） 2、’"could"是"can"的过去时，例如： My brother could spe