中文拼音： xing2 shi4 hua4

中文繁体： 形式化

英文翻译： formalization/formalized