https://profilbaru.com/article/Deterministic_finite_automaton