[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.