完全相容稳定模糊谓词转换器  

Complete Consistent Stable Fuzzy Predicate Transformers

作　　者：马艳芳[1,2] 陈仪香[1,2] 

机构地区：[1]华东师范大学软件学院计算理论研究所,上海200062 [2]上海市高可信计算重点实验室,上海200062

出　　处：《模糊系统与数学》2009年第6期113-125,共13页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(90718013);科技部高技术研究发展计划资助项目(2007AA01Z189);上海市重点学科基金资助项目(B412)

摘　　要：谓词转换器语义是用程序验证技术来定义程序语言的一种方式。为描述程序的语义,在稳定模糊谓词的基础上建立完全相容稳定模糊谓词转换器,讨论完全相容稳定模糊谓词转换器的拓扑语义。同时给出它与状态转换器之间的一个保序关系,说明完全相容稳定模糊谓词转换器一定是状态转换器。Predicate transformer semantics uses verification technology to specify programming languages. In order to discuss the semantics of programming, the authors present the notion of complete consistent stable fuzzy predicate transformers on the base of stable fuzzy predicate, and discuss the topology semantic of complete consistent stable fuzzy predicate transformers. At the same time, the authors show a relation between the complete consistent stable fuzzy predicate transformers and the state transformers, which means that complete consistent stable fuzzy predicate transformers is a state transformers.

关 键 词：DOMAIN理论 半拓扑 稳定模糊谓词 完全相容稳定模糊谓词转换器 

分 类 号：O159[理学—数学] TP301[理学—基础数学]