DFA Plot — CL Floating Point Number

foo Q0 0 Q3 3 Q0->Q3 \3 Q8 8 Q3->Q8 . [2 ← p] Q7 7 Q3->Q7 +- [2 ← p] Q6 6 Q3->Q6 0-9 [2 ← p] Q4 4 Q8->Q4 0-9 Q7->Q8 . Q7->Q6 0-9 Q6->Q6 0-9 Q10 10 Q6->Q10 D-FLSd-fls Q11 11 Q6->Q11 . Q4->Q4 0-9 Q4->Q10 D-FLSd-fls Q5 5 Q10->Q5 0-9 Q9 9 Q10->Q9 +- Q5->Q5 0-9 Q11->Q4 0-9 Q11->Q10 D-FLSd-fls Q9->Q5 0-9

Pseudo Code

State 0: NIL
       on #\ETX                 goto 3

State 3: NIL
       on #\.                   goto 8 do 2 ← P
       on (OR #\+ #\-)          goto 7 do 2 ← P
       on (<= #\0 #\9)          goto 6 do 2 ← P

State 4: NIL
       on :EXIT                 goto 2 do $0.E ← P, $0.S ← 2
       on (<= #\0 #\9)          goto 4
       on (OR (<= #\D #\F) #\L #\S (<= #\d #\f) #\l #\s)  goto 10

State 5: NIL
       on :EXIT                 goto 2 do $0.E ← P, $0.S ← 2
       on (<= #\0 #\9)          goto 5

State 6: NIL
       on (OR (<= #\D #\F) #\L #\S (<= #\d #\f) #\l #\s)  goto 10
       on (<= #\0 #\9)          goto 6
       on #\.                   goto 11

State 7: NIL
       on (<= #\0 #\9)          goto 6
       on #\.                   goto 8

State 8: NIL
       on (<= #\0 #\9)          goto 4

State 9: NIL
       on (<= #\0 #\9)          goto 5

State 10: NIL
       on (OR #\+ #\-)          goto 9
       on (<= #\0 #\9)          goto 5

State 11: NIL
       on (<= #\0 #\9)          goto 4
       on (OR (<= #\D #\F) #\L #\S (<= #\d #\f) #\l #\s)  goto 10