Theory A stuff. Can’t be bothered. See Hopcroft et al. (2007) §4.3, 4.4.


References

Hopcroft, J. E., Motwani, R., & Ullman, J. D. (2007). Introduction to Automata Theory, Languages, and Computation (3. ed). Pearson.