正则数字谓词

在计算机科学和数学中，更确切地说，在自动机理论、模型理论和形式语言中，正则数字谓词是一种关于整数的关系。正则数字谓词也可以被认为是一个子集.这类谓词的主要兴趣之一是，它可以用大量不同的方式定义，使用不同的逻辑形式。此外，大多数定义只使用基本概念，因此可以将计算机科学基础的各个领域的基础联系起来，如自动机理论、句法半群、模型理论和半群理论。

正则数字谓词类承认有很多等价的定义。现在我们给出这些定义。在所有这些定义中，我们固定

xxx个定义将谓词编码为一种形式语言。如果形式语言是有规律的，则称一个谓词是有规律的。{displaystyle{P}是字母表A上的规则语言。.这就是使用正则这个词来描述这种数字谓词的原因。读取单数的自动机这第二个定义与前一个定义相似。谓词以不同的方式被编码到语言中，当且仅当语言是有规律的，谓词才被说成是有规律的。在解释如何对一个数的矢量进行编码之前，我们先解释一下如何对一个单数进行编码。