Abairt 1: Is iad meaisíní Turing ginearálaithe agus meaisíní Turing ionduchtacha simplí dhá aicme de algartamaí super-réititheacha a thagann an chuid is mó i dteagmháil leis na algartamaí athfhillteacha. Abairt 2: Is iad meaisíní Turing ginearálaithe agus meaisíní Turing super-athbhunaithe dhá aicme de algartamaí ionduchtacha simplí atá is gaire d' algartamaí athbhunaithe. Ceist: An léiríonn abairt 1 agus abairt 2 an bhrí chéanna? An bhfuil nó nach bhfuil?
Níl