Then for each input to that machine, build a Boolean expression which says that the input is passed to the machine, the machine runs correctly, and the machine halts and answers "yes".
Έπειτα για κάθε εισαγόμενο κομμάτι σε αυτή τη μηχανή, χτίζουμε μια έκφραση Boolean η οποία λέει ότι το εισαγόμενο κομμάτι περνιέται στη μηχανή, η μηχανή τρέχει σωστά, και η μηχανή σταματάει και απαντάει "ναι".