| 动态模糊逻辑程序设计语言的指称语义 |
| |
| 引用本文： | 韩小芬 李凡长. 动态模糊逻辑程序设计语言的指称语义[J]. 计算机科学, 2009, 36(1): 153-157 |
| |
| 作者姓名： | 韩小芬 李凡长 |
| |
| 作者单位： | 苏州大学计算机科学与技术学院,苏州,215006;苏州大学计算机科学与技术学院,苏州,215006 |
| |
| 基金项目： | 国家自然科学基金，江苏省自然科学基金 |
| |
| 摘 要： | 文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构.在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计语言的语义域、语义函数及其指称语义.最后给出了一个动态模糊程序设计语言的例子以观察程序的运行过程.
|
| 关 键 词： | 动态模糊逻辑 动态模糊逻辑程序设计语言 指称语义 |
| 收稿时间： | 2008-04-30 |
Denotational Semantics of Dynamic Fuzzy Logic Programming Language |
| |
| HAN Xiao-fen,LI Fan-zhang. Denotational Semantics of Dynamic Fuzzy Logic Programming Language[J]. Computer Science, 2009, 36(1): 153-157 |
| |
| Authors: | HAN Xiao-fen LI Fan-zhang |
| |
| Affiliation: | School of Computer Science & Technology;Soochow University;Suzhou 215006;China |
| |
| Abstract: | Reference[8] proposed the basic frame work of dynamic fuzzy logic programming language according to the guarded commands program structure proposed by Dijkstra.Based on it,this paper extended and completed the frame of dynamic fuzzy logic programming language,and then according to the principle and method of denotational semantics,defined its denotational semantics by structural induction,which includes the semantics domains and semantics functions of dynamic fuzzy logic programming language and its denotat... |
| |
| Keywords: | Dynamic fuzzy logic Dynamic fuzzy logic programming language Denotational semantics |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
