https://vulms.org/cs402-handouts-theory-of-automata/