脱式计算的格式是什么样的