formalisation

• 正规化（等于formalization）;