Source: https://cs.uwaterloo.ca/~cbruni/CS245Resources/lectures/2018_Spring/23_Decidability_Introduction_post.pdf