https://profilbaru.com/Nondeterministic_machine