指称语义:语句序列与循环