The Expressive Power of Programming Languages

关于编程语言的文献包含了大量的 对编程的相对表达能力的非正式要求 语言的可表达性或不可表达性 关于编程语言的编程构造。 尽管在各个子学科取得了巨大的进步，编程 语言理论还没有发展出一个正式的框架， 并核实这些声明。 因此，也不可能 从这些主张中得出任何可靠的结论，或将其用于 对编程语言的客观比较。 对程序设计语言的表达能力的研究 最近发起的。 基于第一个形式化的 可表达性，通用编程语言， 现在可以正式区分设置和一些非正式的 文献中的说法可以得到证实。 更多的例子在 将探讨目前的框架，以扩大我们的 perspective. 从这些示例中，可以看到更多关于 将形成一个正式的框架。

The literature on programming languages contains an abundance of informal claims on the relative expressive power of programming languages and on the expressibility or non-expressibility of programming constructs with respect to programming languages. Despite tremendous progress in various subdisciplines, programming language theory has not developed a formal framework for specifying and verifying such statements. Consequently, it is also impossible to draw any solid conclusions from such claims or to use them for an objective comparison of programming languages. An investigation of the expressiveness of programming languages has recently been initiated. Based on a first formalization of expressibility, universal programming languages in a restricted setting can now formally be distinguished and some of the informal claims in the literature can be confirmed. More examples within the current framework will be explored in order to broaden our perspective. From these examples, more meta-properties about the formal framework will be deduced.