[jfb]

Tail-call elimination is a feature of the language environment, not of the language itself.

[Turing_Machine]

Not necessarily. The Scheme spec requires tail-call elimination, and I think the same may be true of some other functional-ish languages.