This module is for deterministic finite automata. DFAs are used in Pegasus to describe the tokenizer state machine.