在单CPU环境下可以实现“多道程序系统”。

磁带是可直接存取的设备。

判断题磁带是可直接存取的设备。

序中的表达式语句在语义翻译时不需要回填技术。

判断题序中的表达式语句在语义翻译时不需要回填技术。

归约和规范推导是互逆的两个过程。

判断题归约和规范推导是互逆的两个过程。