## Graphs of the scanner FSAs

`*.svg`: the rendered graphs

Use `draw_fsas.py` to render the graphs with the `.dot` files.