命令式模糊程序语言的语义

The Semantics of Imperative Fuzzy Programming Language

文中关注计算机语言的形式语义学,旨在建立一种命令式模糊程序语言的指称语义与最弱(线性)前置条件语义.首先,借助模糊逻辑中的三角模、三角余模、非、蕴含以及模糊关系的合成等成功地完成了这两种语义的建模.这种方法为形式语义学的研究提供了一个新的视角.其次,证明了该语言的一些重要性质并讨论了最弱前置条件语义与最弱线性前置条件语义之间的关系.最后,证明了指称语义与最弱(线性)前置条件语义之间的对偶,该对偶表明了这两种语义可以相互诱导.

This paper focuses on formal semantics of computer languages,and aims at setting up denotational semantics and the weakest（liberal） precondition one of an imperative fuzzy program language.First,in virtue of triangular-norm,triangular-conorm,negation and implication in a fuzzy logic and the composition of fuzzy relations,we succeed in establishing these two semantic models.This approach provides a new angle for researches of formal semantics.Then,we prove some important properties of this language and discuss the relation between the weakest precondition semantics and the weakest liberal one.Finally,we show the duality between denotational semantics and the weakest（liberal） precondition one,which says that they can be induced each other.