计算与交互 交互的机器模型 图灵机TM或冯·诺依曼计算机体系结构不适合作 为交互的机器模型 l.顺序交互机SM(sequential interactive machine) SIM:M=(S,I,f) S:可枚举的状态集，：可枚举的输入串集 f:SxI→SxO的TM可计算函数，即(s,)-→(s',o 从S-1到S的状态转移：原子的/O序对(，O -} 输入的不确定性：动态输入i,不可预测（依赖于01） 输出的确定性：0由，确定（很容易扩展到0不确定） SIM的行为由IVO流(1,01)，(2,02)，(G3,03),…刻画计算与交互 • 交互的机器模型 图灵机TM或冯·诺依曼计算机体系结构不适合作 为交互的机器模型 1. 顺序交互机SIM(sequential interactive machine) – SIM: M = (S, I, f ) S: 可枚举的状态集，I: 可枚举的输入串集 f : SI → SO的TM可计算函数，即(s, i)→ (s , o) – 从sk-1到sk的状态转移：原子的I/O序对(ik , ok ) – 输入的不确定性: 动态输入ik不可预测(依赖于ok-1 ) – 输出的确定性: ok由ik确定(很容易扩展到ok不确定) – SIM的行为由I/O流(i1 , o1 ), (i2 , o2 ), (i3 , o3 ), …刻画17