תזת צ'רץ'-טיורינג – שפות אחרות