Research And Applications On The Algebra Semantics Models Of DFL Programming Language

This paper gives the basic data types and abstract grammatical structure of dynamic fuzzy logic(DFL) programming language.According to the principle and method of category and denotational semantics,this paper defines its categorical description of DFL programming language,and then dentines semantics domains,semantics functions and denotational semantics model of DFL programming language.At last,we give an example of the DFL programming language.The characteristic of this paper is as follows:(1) The categorical description of DFL programming language is given.(2) The algebra semantics model is defined which includes the limit algebra semantics, adjoint semantics,monad structure algebra semantics and addition category semantics of DFL programming language.(3) The extending semantics of the DFL programming language is given includeing its definition,basical principle,property and operations.In short,this article further enriched and developed the dynamic fuzzy logic programming language research which will bring us benefits much in the future.