Zustände |
Ereignisse |
\000-* |
+ |
, |
\- |
. |
/ |
0-9 |
:-\0FF |
NOT \d |
NOT \d+\-. |
NOT \d. |
first |
no_int
|
plus_minus
|
no_int
|
plus_minus
|
point
|
no_int
|
digit_before
|
no_int
|
- |
no_int
|
- |
plus_minus |
no_int
|
no_int
|
no_int
|
no_int
|
point
|
no_int
|
digit_before
|
no_int
|
- |
no_int
|
no_int
|
digit_before |
no_int
|
no_int
|
no_int
|
no_int
|
point
|
no_int
|
digit_before
|
no_int
|
- |
no_int
|
no_int
|
no_int |
no_int
|
no_int
|
no_int
|
no_int
|
no_int
|
no_int
|
no_int
|
no_int
|
no_int
|
no_int
|
no_int
|
point |
no_int
|
no_int
|
no_int
|
no_int
|
no_int
|
no_int
|
digit_after
|
no_int
|
no_int
|
no_int
|
no_int
|
digit_after |
no_int
|
no_int
|
no_int
|
no_int
|
no_int
|
no_int
|
digit_after
|
no_int
|
no_int
|
no_int
|
no_int
|