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