确定型(deterministic)计算 下一个状态是唯一确定的 非确定型(nondeterministic)计算 下一个状态可以不唯一确定 移动, 多种选择(含0种选择)