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

中文解释

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