Scanner Generator Backend: DOT This backend outputs a scanner as DOT document. It can be used for visualizing the DFA state machine.