https://profilbaru.com/article/Automata_theory