形式化、半形式化和非形式化

          形式化、半形式化和非形式化是三种类型的规范风格。<?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" /> 形式化规范就是用一套基于明肯定义的数学概念的符号来书写，而且一般伴随着支持性的解释（非形式化）语句。这些数学概念被用来定义符号的句法和语义，以及支持逻辑推理的证实规则。支持形式化

>>阅读原文<<