关于语言

通过在 Globibo 了解有关语言的有趣事物,获得更多乐趣并成为一个知识渊博的人。关于具有完整描述的语言,您需要了解的有趣的事情是:

完整性

任何具有完整描述的语言都称为可判定语言。

完备

性 如果一种语言有一套完整的公理,并且该语言中的每个句子都有唯一且完整的证明,那么它就是完备的。

图灵

如果有一台图灵机可以接受所有且仅接受该语言的句子,则该语言是图灵完备的。

Boolos

如果有 Boolos 证明该语言的每个句子都是正确的,则该语言是 Boolos 完备的。

概率

如果可以在概率论中证明该语言中的每个句子都是正确的,那么该语言就是概率的。

注意:如果您不知道概率是什么,以下定义适合您。

概率是对一个命题为真的可能性的度量。概率是介于 0 和 1 之间的实数。数字越接近 1,这个命题就越有可能为真。

概率论是概率的数学理论。

Boolos

如果可以在概率论中证明该语言的每个句子都是真实的,则该语言是 Boolos 完备的。

概率如此有用的主要原因之一是因为它是唯一可以证明每个句子都是正确的概率理论。

悖论

如果可以在概率论中证明该语言中的某些句子为真而某些句子为假,则该语言是悖论的。

注意:悖论是一个同时为真和假的句子。

P-

完全如果有概率证明该语言中的每个句子都是正确的,则该语言是 P-完全的。

Church

如果可以用 Church 算术表明该语言中的每个句子都是正确的,那么该语言就是 Church 完备的。

图灵

如果有一台图灵机可以接受所有且仅接受该语言的句子,则该语言是图灵完备的。

Coq

如果有 Coq 证明该语言中的每个句子都是正确的,则该语言是 Coq 完备的。

概率

如果可以在概率论中证明该语言中的每个句子都是正确的,那么该语言就是概率的。

注意:如果您不知道概率是什么,以下定义适合您。

概率是对一个命题为真的可能性的度量。

Boolos 被称为完整的主要原因之一就是因为这个。

解析

如果有一个解析器接受所有且仅接受该语言的句子,则该语言是可解析的。

解析器是接受句子作为输入并生成解析树作为输出的程序。

解析树

解析树是句子句法结构的表示。它是一棵树,其中每个节点都是一个句子,每个边都是一个语法规则。

语法

语法是一组描述语言工作方式的规则。

语法

语法是一组描述语言工作方式的规则。

句子

句子是一串单词和/或符号。

发表评论

您的电子邮箱地址不会被公开。