linux-l: [OT]: tail recursive

[Oliver Bandel]

Hallo,

eine Frage an die Informatiker oder die andeen in
theoretischer Informatik speziell gebildeten
Leutchens: Was bedeutet "tail recursive"?

Des öfteren treffe ich auf die Begriffe
"recursive", "tail recursive" und "proper tail recursive".

Rekursivität ist  mir schon klar.
Aber tail-recursive? Ich habe da zwar eine verschommene
Vorstellung von, aber genau deswegen, weil das noch verschwommen
ist, will ich das Bild gerne klären.

BTW: Aus welchem Grunde soll man "tail-recursive"
Algorithmen gewöhnlichen rekursiven Algorithmen vorziehen?
(Soll schneller sein, zumindest mit FPLs - oder ist es bloß eleganter?)

TIA,
  Oliver