迭代函数及其可计算性

带迭代算子的函数式程序设计语言是一种有坚实理论基础、高效的、实际有用的高级程度设计语言，该语言既可描述递归，又可描述迭代，本文证明了仅用迭代算子由已知迭代函数定义的部分迭代函数变可计算部分递归函数，这就等于证明任何图灵可计算的部分函数，都可用有坚实数学基础的部分迭代函数高效地进行计算，文中定义了复合算子、原始迭代和最小化迭代子及部分迭代函数；证明了部分递归函数是部分迭代函数可计算的。     

状态逻辑语言迭代程序的可计算性*

状态逻辑型程序设计语言是一种有坚实理论基础，既可描述递归又可描述迭代的高效、实用、新型的纯逻辑式程序设计语言．递归无疑地确保了其计算能力本文证明了仅用状态逻辑的迭代程序就可计算部分递归函数．这就等于证明了，任何图灵可计算的对象都可用纯逻辑迭代地定义和高效地计算．     

带迭代算子的函数式程序设计*

本文提出了程序设计语言的一种新的计算模型，带迭代算子的函数式模型．文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定性证明．该类语言以表达式的复合描述顺序，以迭代表达式描述循环，以条件表达式描述分支，使得程序以数学语义为基础，易于理解、证明及构造高技的执行系统．褶信该类语言是一种有坚实理论基础、高教的、实际有用的，高级确定性程序设计语言．     

带迭代算子的函数式程序设计

本文提出了程序设计语言的一种新的计算模型，带迭代处子的函数式模型，文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定怀证明，该类语言以表达式的复合描述顺序，以迭代表达式描述循环，以条件表达式描述分支，使得程序以数学语义为基础，易于理解，证明及构造高效的执行系统，相信该类语言是一咱有坚实理论基础、高效的、实际有用的高级确定性程序设计语言。     

状态逻辑语言迭代程序的可计算性

状态逻辑型程序设计语言是一种有坚实理论基础，既可描述递归又可描述迭代的高效，实用、新型的纯逻辑式程序设计语言，递归无疑地确保了其计算能力，本文证明了仅用状态逻辑的迭工程序冰可计算部分递旭函数，这就等于证明了，任何图灵可计算的对象都可用纯逻辑代地定义和高效地计算。     

算子式语言到过程语言的变换语义*

算子式程序设计语言是一种有坚实理论基础、高效的、实际有用的、高级的新型程序设计语言．如何编绎该类语言是一个应该研究的重要问题．过程式语言到机器代码的编绎问题已被解决，因此编绎的关键是由算子程序向过程的转换．本文用模式匹配法，给出了算子式语言到while程序的变换语义．给出了基本变换规则集，证明了该变换规则集的完备性和一致性，为该类语言到过程语言的翻译提供了理论和技术基础．     

算子式语言到过程语言的变换语义

算子式程序设计语言是一个有坚实理论基础、高效的、实际有用的、高级的新型程序设计语言，如何编该类语言是一个应该研究的重要问题，过程式语言到机器代码的编绎问题已被解决，因此编绎的关键是由算子程度向过程的转换，本文用模式匹配法，给出了算子式语言到ｗｈｉｌｅ程序的变换语义，给出了基本变换规则集，证明了该变换规则集的完备性和一致性，为该类语言到过程语言的翻译提供了理论和技术基础。     

状态逻辑型程序设计语言

本文提出了一种新的纯逻辑式子句型程序设计语言．文中给出了语言的语法，非形式语义，子句的过程解释和基于约束归结的推理系统．对该语言来说，程序包含三类变量：输入变量，输出变量和用于控制机器资源的程序变量；被程序定义的函数符号可用于构造项或子项，并且还可用作为谓词符号；不需要低效的最广合一．由于这些因素，一个子句集本身隐含了顺序，分支，迭代和递归多种控制结构使得容易构造高效的定理证明系统．这种语言将是一种有坚实理论基础的，高效的，实际有用的高级确定性语言．     

一种最优规划程序设计语言OPPLFC*

提出了一种基于流演算的最优规划程序设计语言OPPLFC(optimal planning programming language based on fluent calculus)。通过定义动作表达式来描述顺序、并发、非确定选择等复杂动作,利用最优规划算子实现最优规划。OPPLFC的最优规划算子是通过引入强化学习报酬函数的多次离线执行。当与前一次离线执行所得的报酬相比较,值小则所得的动作序列为当前最优规划。给出了OPPLFC语言的组成、程序语义及其实现。最后,通过实例验证了OPPLFC语言的可行性。     

迭代算子及其在可重用软件研究中的应用

迭代算子在循环控制机制抽象和可重用软件研究中有十分重要的作用，已有１０多年研究历史，然而，至今对什么是迭代算子尚无确切和统一的定义，严重影响了对这一概念的理解，也阻碍了它的广泛应用，本文在分析研究现有各种迭代算子概念局限性的基础上，将迭代算子定义为包含于组合数据类型内部的抽象数据类型，得到了一种通用迭代算子模式，并给出了分立迭代算子和集成迭代算子的概念和模式，最后以实例说明了它们在可重用软件开发中的作用和使用方法.