Ẹ̀kọ́ 1: Àwọn ẹ̀rọ Turing tí a ṣe lápapọ̀ àti àwọn ẹ̀rọ Turing tí a ṣe láìsí ìyípadà jẹ́ ẹ̀ka méjì ti àwọn alugorítìmù tí ó ń yí padà tí ó súnmọ́ àwọn alugorítìmù tí ó ń yí padà. Ẹ̀ka-ọrọ 2: Àwọn ẹrọ Turing tí a ṣe lápapọ̀ àti àwọn ẹrọ Turing tí ó ń ṣe àtúnṣe gíga ni àwọn ẹ̀ka méjì ti àwọn alugorítìmu tí ó rọrùn tí ó súnmọ́ àwọn alugorítìmu tí ó ń ṣe àtúnṣe. Ìbéèrè: Ṣé ohun kan náà ni gbólóhùn 1 àti gbólóhùn 2 túmọ̀ sí? Ṣé Bẹ́ẹ̀ ni àbí Bẹ́ẹ̀ kọ́?
Rárá o