https://profilpelajar.com/en/Alternating_finite_automaton