我们还没有提供表示输入输出的机制。我们利用简单的约定，对状态中的输入输出进行编码。特别地，输入放在开始状态中指定的输入变量中；一个进程可以有多个开始状态，这一事实在这里很重要，这样就能适应不同的可能输入。事实上，我们通常假定有多个开始状态的唯一原因在于输入变量中有可能存在不同的输入值。输出则出现在指定的输出变量中；每个输出变量只记录所执行的第一个写操作的结果（也就是说，它是一次写入变量）。然而，输出变量可被读任意多次。
