1、形式化
...程进行绑定、描述，[45]认为作为一种描述“学习单元”的EML，其符号系统必须满足如下11条要求：[46]（1）形式化（Formalisation）。必须以一种形式化的方式描述学习单元，从而使其有可能进行自动处理。
2、正规化
... forcing 强制 formalisation 正规化 forming stage 形成阶段 ...
3、形成
...enactment (法律的)制定颁布...celebration 典礼formalisation 形成（过程）...
formalisation of medical knowledge医学知识形式化
formalisation medical knowledge医学知识形式化
A Study in Formalisation副标题