Practical experiments demonstrate that this method can improve readability and intelligibility.

• 实际应用表明，这种方法可以提高形式化规范的可读性与可理解性。