整数以及浮点数的正则定义

定义

$Digit=0|1|2|3|4|5|6|7|8|9\\Digits=DigitDigit^*\\\epsilon=空串\\Signed=\epsilon|+|-$

无符号整数 $(UnsignedInt)$

$UnsignedInt\\\rightarrow Digits\\\rightarrow DigitDigit^*\\\rightarrow (0|1|2|3|4|5|6|7|8|9)(0|1|2|3|4|5|6|7|8|9)^*$

有符号整数 $(SignedInt)$

$SignedInt\\\rightarrow SignedUnsignedInt\\\rightarrow SignedDigits\\\rightarrow SignedDigitDigit^*\\\rightarrow(\epsilon|+|-)(0|1|2|3|4|5|6|7|8|9)(0|1|2|3|4|5|6|7|8|9)^*$

无符号浮点数 $(UnsignedFloat)$

如： $2.5e10,3.333,4.5E-7$等
$Fraction=.Digits|\epsilon$
$Exponent=\epsilon|((e|E)SignedInt)$
$UnsignedFloat\\\rightarrow DigitsFractionExponent\\\rightarrow Digits(.Digits|\epsilon)(\epsilon|((e|E)SignedInt))\\\rightarrow \\(0|1|2|3|4|5|6|7|8|9)(0|1|2|3|4|5|6|7|8|9)^*\\(\epsilon|.(0|1|2|3|4|5|6|7|8|9)(0|1|2|3|4|5|6|7|8|9)^*)\\(\epsilon|((e|E)(\epsilon|+|-)(0|1|2|3|4|5|6|7|8|9)(0|1|2|3|4|5|6|7|8|9)^*))$

有符号浮点数 $(SignedFloat)$

$SignedFloat=(Signed)(UnsignedFloat)\\\rightarrow \\(\epsilon|+|-)\\(0|1|2|3|4|5|6|7|8|9)(0|1|2|3|4|5|6|7|8|9)^*\\(\epsilon|.(0|1|2|3|4|5|6|7|8|9)(0|1|2|3|4|5|6|7|8|9)^*)\\(\epsilon|((e|E)(\epsilon|+|-)(0|1|2|3|4|5|6|7|8|9)(0|1|2|3|4|5|6|7|8|9)^*))$