在計算機科學和數學中，更確切地說，在自動機理論、模型理論和形式語言中，正則數字謂詞是一種關于整數的關系。正則數字謂詞也可以被認為是一個子集.這類謂詞的主要興趣之一是，它可以用大量不同的方式定義，使用不同的邏輯形式。此外，大多數定義只使用基本概念，因此可以將計算機科學基礎的各個領域的基礎聯系起來，如自動機理論、句法半群、模型理論和半群理論。

正則數字謂詞類承認有很多等價的定義。現在我們給出這些定義。在所有這些定義中，我們固定

xxx個定義將謂詞編碼為一種形式語言。如果形式語言是有規律的，則稱一個謂詞是有規律的。{displaystyle{P}是字母表A上的規則語言。.這就是使用正則這個詞來描述這種數字謂詞的原因。讀取單數的自動機這第二個定義與前一個定義相似。謂詞以不同的方式被編碼到語言中，當且僅當語言是有規律的，謂詞才被說成是有規律的。在解釋如何對一個數的矢量進行編碼之前，我們先解釋一下如何對一個單數進行編碼。