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

          形式化、半形式化和非形式化是三種類型的規範風格。<?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" /> 形式化規範就是用一套基於明肯定義的數學概念的符號來書寫，而且一般伴隨着支持性的解釋（非形式化）語句。這些數學概念被用來定義符號的句法和語義，以及支持邏輯推理的證實規則。支持形式化

>>阅读原文<<