https://profilbaru.com/article/Probabilistic_Turing_machine