状态转移语言的英文翻译

中文：状态转移语言