【摘要】 本文进一步讨论了J.Backus所定义的线性泛函型.为了无二义性地定义谓词转换子的语义,提出用最小谓词转换子定义单形线性泛函型.研究了最小谓词转换子所具有的一些性质,如唯一性,单调性等.根据单形线性泛函型的定义,对S限制泛函型作了补充和修改.更多还原

【Abstract】 The linear functional form defined by J. Backus is further discussed. In order to unambiguously define the semantics of predicate rransformer, the concept of least predicate transformer is proposed. Some properties of least predicate transformer, such as uniqueness, monotonicity are studied. Some comments on S-restricted functional form are made.更多还原