Source: https://eecs.wsu.edu/~ananth/CptS317/Lectures/FiniteAutomata_anim.pdf