形式化

형식화【形式化】

формализация

形式化하다 формализовать