FSA: An Efficient and Flexible C++ Toolkit for Finite State Automata Using On-Demand Computation