形式化

    xíngshìhuà

    1. Nounformalization; formalized