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

第 36卷 第 4期 计 算 机 学 报 Vo1．36 No．4 2013年 4月 CHINESEJOURNALOFCOMPUTERS Apr．2013 命令式模糊程序语言的语义 吴恒洋 (杭州电子科技大学信息工程学院 杭州 310018) (华东师范大学上海市高可信计算重点实验室 上海 200062) 摘 要 文 中关注计算机语言的形式语义学，旨在建立一种命令式模糊程序语言的指称语义与最弱 (线性)前置条 件语义．首先，借助模糊逻辑 中的三角模 、三角余模 、非、蕴含以及模糊关系的合成等成功地完成了这两种语义的建 模．这种方法为形式语义学的研究提供 了一个新的视角．其次 ，证明了该语言的一些重要性质并讨论 了最弱前置条 件语义与最弱线性前置条件语义之间的关系．最后 ，证 明了指称语义与最弱(线性)前置条件语义之间的对偶 ，该对 偶表 明了这两种语义可以相互诱导． 关键词 模糊程序语言；命令式语言；指称语义 ；最弱(线性)前置条件语义 ；模糊逻辑 中图法分类号 TP301 DOI号 10．3724／SP．J．1016．2013．00862 TheSemanticsofImperativeFuzzyProgrammingLanguage W U Heng—Yang (IndormationEngineerCollege，HangzhouDianziUniversity，Hangzhou 310018) (ShanghaiKeyLaboratoryofTrustworthyComputing，EastChinaNormalUniversity，Shanghai 200062) Abstract Thispaperfocusesonformalsemanticsofcomputerlanguages，andaimsatsettingup denotationalsemanticsandtheweakest(1ibera1)preconditiononeofanimperativefuzzyprogram language．First，in virtueoftriangular—norm ，triangular—conorm ，negation andimplication in a fuzzylogicandthecompositionoffuzzyrelations，wesucceedinestablishingthesetwosemantic models．Thisapproach providesanew angleforresearchesofformalsemantics．Then，weprove someimportantpropertiesofthislanguageanddiscusstherelationbetweentheweakestprecondi— tionsemanticsand theweakestliberalone．Finally，weshow thedualitybetween denotational semanticsandtheweakest(1ibera1)preconditionone，which saysthattheycanbeinducedeach other． Keywords fuzzyprogramminglanguage；imperativelanguage；denotationalsemantics；weakest (1ibera1)preconditionsemantics；fuzzylogic 意义，它主要包括公理语义、指称语义、操作语义以 1 引 目