机是否接受或拒绝某一格局时，并不需要检查当前格局可以到达的所有格局。具体来说，对于存在格局，如果某一将来格局被接受即可标记为接受。对全称格局，如果某一将来格局被拒绝，则可被标记为拒绝。对于运行时间，规定一台ATM在formula_44时间内判定一个形式语言，如果对于任意长度为formula_34的输入，通过formula_44步检查（必要的）格局即可接受或拒绝初始格局。对于运行空间，规定一台ATM在formula_47空间内判定一个形式语言，如果至多修改图灵机带上从左端起formula_47位即可完成对