原则54：对自然语言辅助增强，而非替换
在试图减少歧义时，应当鼓励使用比自然语言更精准的符号，但会使规格说明变得更不好理解。
> 可以使用：
* 有限状态机、状态图等来减少歧义（原则53）
* 同时保留自然语言描述、形式化符号
Meyer, B., "On Formalism in Specifications", IEEE Software, 2, 1(Jan. 1985), pp. 6-26.
在试图减少歧义时，应当鼓励使用比自然语言更精准的符号，但会使规格说明变得更不好理解。
> 可以使用：
* 有限状态机、状态图等来减少歧义（原则53）
* 同时保留自然语言描述、形式化符号
Meyer, B., "On Formalism in Specifications", IEEE Software, 2, 1(Jan. 1985), pp. 6-26.