Research And Verification On The Operational Semantics Model Of DFL Programming Language

Up to now, there has been ten years for the research of dynamic fuzzy logic (DFL) and a series of achievements have been made. In order to further expand the applications of DFL, this thesis followed Dijkstra's guarded commands and put forward an operational semantics model of DFL programming language which can solve dynamic fuzzy problems. The main work included: The classical lambda calculus was modified to describe the character of dynamic fuzzy; The abstract syntax of DFL programming language was described through BNF notation; An operational semantics model of DFL programming language was proposed with a ternary array and then some basic data types and several mechanisms of constructing new data types were defined; The frame of DFL progaramming language was provided; It was described how to solve some problems applying the operational semantics model; The correctness and reliability of the operational semantics model were proved by Hoare logic and denotational semantics.From the work above, this thesis has defined a DFL programming language in a fire-new view which had the superiority in solving dynamic fuzzy problems. The character of the thesis was the following:(1) Giving the modification of Lambda calculus in order to describe the character of dynamic fuzzy;(2) Giving an operational semantics model of DFL programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it;(3) Giving the frame of DFL programming language.