Prefix and Right-Partial Derivative Automata