语义例行程序的英文翻译

中文：语义例行程序