计算机语言根据计算模型的不同，划分为命令式语言（）常用的C、Java等语言均为命令式和申诉式语言（）。
正则表达式（）函数式语言（ 如 LISP）和逻辑语言（ 如：Prolog）均为申诉式语言。
所谓申诉设语言，常见的定义形式有：
- 非命令式语言的任何其它语言均为申诉式语言
- 一种声明那些计算应该被执行，而不是应该如何去计算的语言
- 没有任何边界约束的所有语言
- 一种明确表达数学逻辑的语言
在计算机科学领域，申诉式编程语言是一种语言风格，它表达的是一个没有包含任何控制流描述的计算逻辑。申诉式语言试图通过描述什么计算被执行，而不是应该如何去完成计算来简化或者消除边界约束()。这点是与我们常用的C、Java等命令式语言完全不同的，命令式语言的描述重点是算法，命令式语言程序设计的模式
是我们熟悉的“算法+数据”模式。
申诉式语言中，程序是逻辑的理论和计算在逻辑空间的推理。如今，申诉式语言在并行计算等领域正在越来越受到人们的关注。
阅读(2735) | 评论(0) | 转发(0) |
