xíng shì huà

形式化

formalization; formalized

Frequency 2.6