动态模糊逻辑程序设计语言的指称语义

文献[8]借鉴dijkstra的监督命令程序结构，给出了动态模糊逻辑程序设计语言的基本框架结构。在此基础上，进一步扩充和完善，并根据指称语义的原理和方法，用结构归纳法给出动态模糊逻辑程序设计语言的指称语义，主要包括：动态模糊程序设计语言的语义域、语义函数及其指称语义。最后给出了一个动态模糊程序设计语言的例子以观察程序的运行过程。