计算

(1)为特定应用对相应的变量值所执行的一种运算操作，包括所有的算术运算。(2)机器的组态构成的序列，除第一个组态外，其余每一个组态都是由序列中前一个组态转换得来的。一个由初态出发，并且不在非终态终止的计算称为完整计算(full computation)。完整计算分为3类：①永不终止的计算称为发散计算(divergent computation)；②终态是可接受状态的计算称为接受计算(accepting computation)；③其他情形称为拒绝计算(rejecting computation)。