从归纳到余归纳 顺序交互的数学模型 在计算表达力上从算法到顺序交互的延伸在数学 上表现为一系列的延伸 在集合表达力上：从良基集到非良基集的延伸 非良基集作为无限流的顺序行为的形式模型 -在数学对象定义的表达力上：从归纳到余归纳的 延伸 例如，表达了从字符串到无限字符流的转变 这是算法到交互转变的基础 在代数表达力上：从代数到余代数的延伸 余代数为无限流的演算提供工具• 顺序交互的数学模型 在计算表达力上从算法到顺序交互的延伸在数学 上表现为一系列的延伸 – 在集合表达力上：从良基集到非良基集的延伸 非良基集作为无限流的顺序行为的形式模型 – 在数学对象定义的表达力上：从归纳到余归纳的 延伸 例如，表达了从字符串到无限字符流的转变， 这是算法到交互转变的基础 – 在代数表达力上：从代数到余代数的延伸 余代数为无限流的演算提供工具 从归纳到余归纳 19