Teorie vyčíslitelnosti – Další jazyky