https://profilbaru.com/Deterministic_pushdown_automaton