式の最初の、チェックデジット
デジタル：^ [0-9] * $
nビット番号：^ D {N} $
以上のビット数N：{N} ^ D $
デジタルMNビット：^ D {M、N} $
ゼロおよび非数字のゼロから始まる：^（0 | [1-9] [0-9] *）$
、小数点以下2桁までにゼロ以外の始まりを：^（[1-9] [0-9] *）+（ 。？[0-9] {1,2}）$
1-2とは、正または負の小数：^（ - ）D +（ ？。？D {1,2}）$
正、負の数、小数、および： - |？（D +。 ^（+）D + $）？
小数点以下の2つの正の実数：^ [0-9] + $（[0-9] {2}）
と1〜3小数点正の実数：^ [0-9] + $（[0-9] {1,3}）？
ゼロでない正の整数：^ [1-9]のD * $または^（[1-9] [0 -9] *）、または{1,3} ^ $ + [1-9] [0-9] * $？
ゼロでない負の整数：^ - [1-9] [] 0-9「* ^ $または- [1-9]のD *の$の
非負整数：^ D + $または^ [1-9] D * | 0 $
非正の整数：^ - [1-9] D * | 0 $ または^（（ - D + ）|（0 +））$
非負の浮動小数点数：^ Dの+（D +）の $ または^ [1-9] D * .D * 。| 0.d * [1-9] D * | 0 .0？ + | 0 $
非正フロート：^（（ - D +（ 。？。？D +））|（0 +（0 +）））$ または^（ - （[1-9] D * .D * | 0 ？.D * [1-9] D * ））| 0 .0+ | 0 $
ポジティブフロート：^ [1-9] D * .D * | 0.d * [1-9]のD *の$ または^（（[0-9] + [ 0-9] * [1-9] [0-9] *）| ...（[0-9] * [1-9] [0-9] * [0 -9] +）|（[0-9 ] * [1-9] [0-9] *））$
負のフロート：^ - （[1-9] D * .D * | 0.d * [1-9] D *）$ または^（ - （（[0-9] + [0-9] *。 [1-9] [0-9] *） |（[0-9] * [1-9] [0-9] * [0-9] +）|（[0-9] * [1- 9] [0-9] *）））$
？。フロート：?? ^（ - D +）から（d +）$ か^ - （[1-9] D * .D * | 0.d * [1- 9] D * | 0 .0+ | ？0）$
朱_ ^ ^ _ ^ _ ^ _ ^ _ _ホイ彪^ _ ^ _ ^