Deriva su completitud Turing de esta relación.