https://profilbaru.com/article/Nondeterministic_Turing_machine