https://profilbaru.com/article/Alternating_Turing_machine