整數以及浮點數的正則定義

定義

$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)^*))$