https://www.theoryofcomputation.co/definition-of-finite-automata/