https://www.theoryofcomputation.co/deterministic-finite-automata-dfa/