What makes it ill-defined is that it computes infinitely -- that's why you need a totality checker (or a total language).