Subramanian, S. S.; Lin, P.; Herkersdorf, A.; Wild, T. Bitmaps & Bitmasks: Efficient Tools to Compress Deterministic Automata. JTDE 2018, 6 (3), 41-75. https://doi.org/10.18080/jtde.v6n3.125.