语法演算的英文翻译

中文:语法演算

英文翻译:【计】 syntactic calculus