语法演算的英文翻译
中文:语法演算
英文翻译:【计】 syntactic calculus