>>37 が言っているように、
原理的にはすべての再帰は機械語、すなわち「非再帰」に変換できる。
数学的にきちんと証明したければ、次の本に載っている：
　鹿島亮「C言語による計算の理論」
>>38 の言う非再帰に変換できない再帰とは、たとえば
クイックソートのプログラムのような複雑な再帰のことか？
つまり、再帰が何カ所にも登場して、しかも単純に一つ前の値で呼び出すのではないもの。