…csak félig van.
Beláttuk, hogy a MIU-nyelv rekurzív felsorolható: ez azt jelenti, hogy számítógéppel (szakszerűbben fogalmazva Turing-géppel) felsorolhatóak a szavai (abban az értelemben, ahogyan a természetes számok felsorolhatóak: véges idő után bármelyiket megkapjuk, miközben a felsorolás soha nem ér véget: soha nem kapjuk meg mindegyiket).
Nyitva maradt a kérdés, hogy a nyelv rekurzív-e: van-e olyan program (van-e olyan Turing-gép), amely tetszőleges karaktersorozatról véges idő alatt eldönti, hogy az a nyelvnek szava-e?
S hogy a nyájas olvasó számára is maradjon (megválaszolható) kérdés: miért nem elegendő a nyelv szavainak felsorolása ahhoz, hogy eldöntsük egy adott jelsorozatról, hogy az szava-e nyelvnek?
Hiszen elegendőnek tűnik csupán
(A szerző szándékosan hagyta félbe az utolsó mondatot.)
(Mely persze így már)
