线性时间语义学

linear time semantics