A state in a DFA
Accelerator
Nonzero for accepting state
Array of arcs
Lowest label index
_
Highest label index
See Implementation
A state in a DFA