Объясните математическую концепцию рекурсивного определения функции. В чем разница между рекурсией и итерацией с точки зрения модели вычислений? Опишите механизм сохранения состояния в стеке вызовов при рекурсивном вызове функции. Какие теоретические проблемы (например, переполнение стека) могут возникнуть при отсутствии оптимизации хвостовой рекурсии?