diff options
Diffstat (limited to 'boot/states.txt')
| -rw-r--r-- | boot/states.txt | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/boot/states.txt b/boot/states.txt new file mode 100644 index 0000000..20d5966 --- /dev/null +++ b/boot/states.txt @@ -0,0 +1,20 @@ +- start +digit: integer +upper: identifier +lower: identifier +space: start +invalid: error + +- identifier +digit: identifier +upper: identifier +lower: identifier +space: end +invalid: end + +- integer: +digit: integer +upper: end +lower: end +space: end +invalid: end |
