计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2009年
1期
153-157
,共5页
动态模糊逻辑%动态模糊逻辑程序设计语言%指称语义
動態模糊邏輯%動態模糊邏輯程序設計語言%指稱語義
동태모호라집%동태모호라집정서설계어언%지칭어의
文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构.在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计语言的语义域、语义函数及其指称语义.最后给出了一个动态模糊程序设计语言的例子以观察程序的运行过程.
文獻[8]藉鑒Dijkstra的鑑督命令程序結構,給齣瞭動態模糊邏輯程序設計語言的基本框架結構.在此基礎上,進一步擴充和完善,併根據指稱語義的原理和方法,用結構歸納法給齣動態模糊邏輯程序設計語言的指稱語義,主要包括:動態模糊程序設計語言的語義域、語義函數及其指稱語義.最後給齣瞭一箇動態模糊程序設計語言的例子以觀察程序的運行過程.
문헌[8]차감Dijkstra적감독명령정서결구,급출료동태모호라집정서설계어언적기본광가결구.재차기출상,진일보확충화완선,병근거지칭어의적원리화방법,용결구귀납법급출동태모호라집정서설계어언적지칭어의,주요포괄:동태모호정서설계어언적어의역、어의함수급기지칭어의.최후급출료일개동태모호정서설계어언적례자이관찰정서적운행과정.
