Объясните теоретическую модель выполнения рекурсивной функции с использованием стека вызовов. Что такое «базовый случай» и почему он необходим? Опишите понятие « переполнение стека» и условия, при которых оно возникает.